Welcome to my homepage

 

Badran Raddaoui is an Assistant Professor of Computer Science in the Institut Universitaire de Technologie (IUT) at the University of Artois . Previously, he was a graduate student at The University of Artois, where he defended his Ph.D. dissertation in November 2013 under the supervision of Eric Grégoire and Philippe Besnard (A pdf version of the thesis is available here). He received his MS Computer Science from the same University.

Back to top

Research Area

My main research interests are in Artificial Intelligence. More specifically, these interests include:

  • Knowledge representation and reasoning
  • Classical, non classical, resource Logics
  • Argumentation Theory
  • Handling Inconsistency
  • Graph Theory

Back to top

Publications


  1. Un système argumentatif pour le raisonnement sur des ressources limitées, in Revue d'Intelligence Artificielle (RSTI - RIA), (to appear), 2015
  2. On Measuring Inconsistency: an Approach based on Maximal Consistent Sets, in 12th Colloque sur l'Optimisation et les Systèmes d'Information ( COSI'15) (to appear), Oran, june 2015
  3. On Measuring Inconsistency using Maximal Consistent Sets, in 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'15) (to appear), Compiègne, july 2015
  4. On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing, in 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'15) (to appear), Istanbul, may 2015
  5. Inconsistency-Based Ranking of Knowledge Bases, in 7th International Conference on Agents and Artificial Intelligence (ICAART'15) , Portugal, january 2015
  6. Computing Inconsistency Using Deductive Argumentation, in 7th International Conference on Agents and Artificial Intelligence (ICAART'15) , Portugal, january 2015
  7. On the Characterization of Inconsistency Measures: A Prime Implicates Based Framework, in 26st International Conference on Tools with Artificial Intelligence (ICTAI'14) , Cyprus, november 2014
  8. Logical Characterization of Inconsistency Measures, in 23st Rencontres Francophones sur la Logique Floue et ses Applications (LFA'14). Corse, october 2014
  9. Prime Implicates Based Inconsistency Characterization, in 21st European Conference on Artificial Intelligence (ECAI'14), Prague, august 2014
  10. MUS-Based Partitioning for Inconsistency Measures, in 19th Congrès Francophone de Reconnaissance des Formes et d'Intelligence Artificielle (RFIA'14), Rouen, july 2014
  11. Inconsistency Measurement Thanks to MUS-Decomposition, in 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'14), Paris, may 2014
  12. Un cadre argumentatif pour le raisonnement sur des ressources limitées, in 11e Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA'13), Lille, july 2013
  13. Measuring Inconsistency Through Minimal Proofs, in 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'13), Utrecht, july 2013 Best Student Paper Award Nominee
  14. Système d'argumentation basé sur les logiques conditionnelles, in 7e Journées de l'Intelligence Artificielle Fondamentale (IAF'13), Aix-en-Provence, june 2013
  15. Mesure de l'incohérence en logique propositionnelle, in 7e Journées de l'Intelligence Artificielle Fondamentale (IAF'13), Aix-en-Provence, june 2013
  16. A Conditional Logic-Based Argumentation Framework, in 7th International Conference on Scalable Uncertainty Management (SUM'13), Washington, september 2013
  17. Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants, in Revue d'Intelligence Artificielle (RSTI - RIA), vol. 26, n° 3, pp. 209-224, may 2012
  18. An Argumentation Framework for Reasoning about Bounded Resources, in 24st International Conference on Tools with Artificial Intelligence (ICTAI'12) , Greece, november 2012
  19. Génération d'arguments et contre-arguments par calcul de MUS, in 10e Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA'11), Chambéry, may 2011 Best Paper Award
  20. MUS-Based Generation of Arguments and Counter-arguments, in 11th IEEE International Conference on Information Reuse and Integration (IRI'10), Las Vigas, august 2010

Read More

Back to top

Teaching


  • Computers Architecture
  • Networks
  • IT and Internet Certificate (C2I)
  • Computer Maintenance and Repair
  • Databases (Base, MySQL, PostgreSQL)
  • Algorithmic and Programming (Sheme, C++, Java, Assembly Language)
  • Web Programming
  • Database Design and Modeling
  • Operating Systems
  • Information and Communications Tools
  • Introduction to Computer Science

    • Back to top