Background

I have a MSc (2009) and a PhD (2013) from the University of Artois, Lens which was supervised by Eric Grégoire and Philippe Besnard. I was a research associate at the University of Poitiers from 2014 to 2016, and a research fellow at Telecom SudParis, Paris, from 2016 to 2017. Currently, I am associate professor at the Departement of Computer Science at Telecom SudParis, and I am affiliated with SAMOVAR laboratory, CNRS UMR 5157.

 

Research interests

  • Knoweldge Representation and Reasoning
  • Logic approaches for Artificial Intelligence
  • Data Mining
  • Graphs
  • Big Data

 

Publications (For a complete list of publications check my entries at DBLP or Google Scholar.)

1. Detecting Highly Overlapping Community Structure by Model-based Maximal Clique Expansion. IEEE International Conference on Big Data (Big Data 2018)
S. Jabbour, N. Mhadhbi, B. Raddaoui, L. Sais

2. Efficient SAT-based Encodings of Conditional Cardinality Constraints. 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2018)
A. Boudane, S. Jabbour, B. Raddaoui, L. Sais

3. On Maximal Frequent Itemsets Mining with Constraints. 24th International Conference on Principles and Practice of   Constraint Programming (CP 2018)
S. Jabbour, F. Mana, I. Dlala, B. Raddaoui, L. Sais

4. A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining. 24th International Conference on Principles and Practice of Constraint Programming (CP 2018)
I. Dlala, S. Jabbour, B. Raddaoui, L. Sais

5. Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability. 32nd IEEE International Conference on Advanced Information Networking and Applications (AINA 2018)
S. Jabbour, N. Mhadhbi, B. Raddaoui, L. Sais

6. Early Anomaly Detection in Smart Home: a Causal Association Rule-based Approach. Artificial Intelligence in Medecine journal (AIM 2018)
H. Sfar, A. Bouzeghoub, B. Raddaoui

7. On the Measure of Conflicts: an Argumentation based Framework. Journal of Applied Non-Classical Logics (JANCL 2018)
B. Raddaoui

8. Pushing the Envelope in Overlapping Communities Detection. 17th International Symposium on Intelligent Data Analysis (IDA 2018)
S. Jabbour, N. Mhadhbi, B. Raddaoui, L. Sais

9. Handling Conflicts in Uncertain Ontologies using Deductive Argumentation. International Conference on Web Intelligence (WI 2017)
A. Bouzeghoub, Y. Ma, S. Jabbour, B. Raddaoui

10. Reasoning Under Conflicts in Smart Environment. 24th International Conference on Neural Information Processing (ICONIP 2017)
H. Sfar, B. Raddaoui, A. Bouzeghoub

11. Towards a Formal Verification Approach for Cloud Software Architecture. 16th International Conference on Intelligent Software Methodologies, Tools, and Techniques (SoMeT 2017)
A. Ayach, L. Sliman, M. Kmimech, M. Bhiri, B. Raddaoui

12. A SAT-based framework for overlapping community detection in networks. 22nd Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2017)
S. Jabbour, N. Mhadhbi, B. Raddaoui, L. Sais

13. Finding overlapping communities in networks using propositional satisfiability. Business Intelligence & Big Data (EDA 2017)
S. Jabbour, N. Mhadhbi, B. Raddaoui, L. Sais

14. Quantifying Conflicts in Propositional Logic through Prime Implicates. International Journal of Approximate Reasoning (IJAR 2017)
S. Jabbour, Y. Ma, B. Raddaoui, L. Sais

15. Behavioral Verification of Service Component Architecture. 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018)
W. Chargui, T. Rouis, M. Kmimech, M. Bhiri, L. Sliman, B. Raddaoui

16. On an MCS-based Inconsistency Measure. International Journal of Approximate Reasoning (IJAR 2017)
M. Ammoura, Y. Salhi, O. Brahim, B. Raddaoui

17. Towards a Formal Verification Approach for Service Component Architecture. 16th International Conference on Intelligent Software Methodologies, Tools, and Techniques (SoMeT 2017)
W. Chargui, T. Rouis, M. Kmimech, M. Bhiri, L. Sliman, B. Raddaoui

18. Summarizing Big Graphs by means of Pseudo-boolean Constraints. IEEE International Conference on Big Data (Big Data 2016)
S. Jabbour, N. Mhadhbi, A. Mhadhbi, B. Raddaoui, L. Sais

19. On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. 22nd European Conference on Artificial Intelligence (ECAI 2016)
S. Jabbour, B. Raddaoui, L. Sais

20.  A MIS Partition based Framework for Measuring Inconsistency. 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)
S. Jabbour, Y. Ma, B. Raddaoui, L.  Sais, Y. Salhi

21. Quantifying Conflicts for Spatial and Temporal Information. 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)
J. Condotta, B. Raddaoui, Y. Salhi

22. Argumentation Framework based on Evidence Theory. 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2016)
A. Samet, B. Raddaoui, T. Dao, A. Hadjali

23. A SAT-Based Approach for Enumerating Interesting Patterns from Uncertain Data. 28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2016)
I. Dlala, S. Jabbour, B. Raddaoui, L. Sais, B. Yaghlane

24. Mining Frequent Patterns from Correlated Incomplete Databases. 8th International Conference on Agents and Artificial Intelligence (ICAART 2016)
B. Raddaoui, A. Samet

25. Knowledge Base Compilation for Inconsistency Measures. 8th International Conference on Agents and Artificial Intelligence (ICAART 2016)
S. Jabbour, B. Raddaoui, L. Sais

26. Un système argumentatif pour le raisonnement sur des ressources limitées. Revue d'Intelligence Artificielle (RIA 2015)
P. Besnard, E. Grégoire, B. Raddaoui

27. On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing. 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015)
S. Jabbour, Y. Ma, B. Raddaoui, L. Sais, Y. Salhi 

28. On Measuring Inconsistency Using Maximal Consistent Sets. 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2015)
M. Ammoura, B. Raddaoui, Y. Salhi, O. Brahim

29. Computing Inconsistency Using Logical Argumentation. 7th International Conference on Agents and Artificial Intelligence (ICAART 2015)
Badran Raddaoui

30. Inconsistency-based Ranking of Knowledge Bases. 7th International Conference on Agents and Artificial Intelligence (ICAART 2015)
S. Jabbour, B. Raddaoui, L. Sais

31. Inconsistency measurement thanks to MUS Decomposition. 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014)
S. Jabbour, Y. Ma, B. Raddaoui

32. Prime Implicates Based Inconsistency Characterization. 21th European Conference on Artificial Intelligence (ECAI 2014)
S. Jabbour, Y. Ma, B. Raddaoui, L. Sais

33. On the Characterization of Inconsistency: A Prime Implicates based Framework. 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2014)
S. Jabbour, Y. Ma, B. Raddaoui, L. Sais

34. Measuring Inconsistency through Minimal Proofs. 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2013)
S. Jabbour, B. Raddaoui

35. A Conditional Logic-based Argumentation Framework. 7th International Conference on Scalable Uncertainty Management (SUM 2013)
P. Besnard, E. Grégoire, B. Raddaoui

36. Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants. Revue d'Intelligence Artificielle (RIA 2012)
P. Besnard, E. Grégoire, B. Raddaoui

37. An Argumentation Framework for Reasoning about Bounded Resources. 24th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2012)
P. Besnard, E. Grégoire, B. Raddaoui

38. MUS-based Generation of Arguments and Counter-arguments. 11th IEEE International Conference on Information Reuse and Integration (IEEE IRI 2010)
P. Besnard, E. Grégoire, C. Piette, B. Raddaoui

 

 

Last modify 16 October 2018