| 2026 | KR | Beyond Consistency: A Closer Look at Free Formulas. | Ofer Arieli, Badran Raddaoui, Christian Straer |
| 2025 | IJCAI | Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques. | Christian Straer, Badran Raddaoui, Sad Jabbour |
| 2024 | ECAI | On the Discovery of Conceptual Clustering Models Through Pattern Mining. | Motaz Ben Hassine, Sad Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet |
| 2024 | IJCAI | Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases. | Badran Raddaoui, Christian Straer, Sad Jabbour |
| 2024 | ICTAI | On the Learning of Explainable Classification Rules through Disjunctive Patterns. | Amel Hidouri, Sad Jabbour, Badran Raddaoui, Ahmed Samet |
| 2024 | KR | Deontic Reasoning Based on Inconsistency Measures. | Ofer Arieli, Kees van Berkel, Badran Raddaoui, Christian Straer |
| 2024 | MEDES | Boosting the Discovery of Interval Patterns Using SAT. | Imen Ouled Dlala, Sad Jabbour, Badran Raddaoui |
| 2023 | DATA | Extracting Frequent Gradual Patterns Based on SAT. | Jerry Lonlac, Imen Ouled Dlala, Sad Jabbour, Engelbert Mephu Nguifo, Badran Raddaoui, Lakhdar Sais |
| 2023 | DaWaK | A Non-overlapping Community Detection Approach Based on α-Structural Similarity. | Motaz Ben Hassine, Sad Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet |
| 2023 | IIWAS | Towards a Unified Symbolic AI Framework for Mining High Utility Itemsets. | Amel Hidouri, Badran Raddaoui, Sad Jabbour |
| 2023 | IJCAI | Ranking-based Argumentation Semantics Applied to Logical Argumentation. | Jesse Heyninck, Badran Raddaoui, Christian Straer |
| 2023 | IJCAI | Targeting Minimal Rare Itemsets from Transaction Databases. | Amel Hidouri, Badran Raddaoui, Sad Jabbour |
| 2023 | IJCAI | A Symbolic Approach to Computing Disjunctive Association Rules from Data. | Sad Jabbour, Badran Raddaoui, Lakhdar Sais |
| 2023 | IJCAI | A Comparative Study of Ranking Formulas Based on Consistency. | Badran Raddaoui, Christian Straer, Sad Jabbour |
| 2022 | CP | On the Enumeration of Frequent High Utility Itemsets: A Symbolic AI Approach. | Amel Hidouri, Sad Jabbour, Badran Raddaoui |
| 2022 | DaWaK | Discovering Overlapping Communities Based on Cohesive Subgraph Models over Graph Data. | Sad Jabbour, Mourad Kmimech, Badran Raddaoui |
| 2022 | IPMU | A Parallel Declarative Framework for Mining High Utility Itemsets. | Amel Hidouri, Sad Jabbour, Badran Raddaoui, Mouna Chebbah, Boutheina Ben Yaghlane |
| 2021 | DaWaK | A Declarative Framework for Mining Top-k High Utility Itemsets. | Amel Hidouri, Sad Jabbour, Badran Raddaoui, Mouna Chebbah, Boutheina Ben Yaghlane |
| 2021 | ICTAI | A Constraint-based Approach for Enumerating Gradual Itemsets. | Amel Hidouri, Sad Jabbour, Jerry Lonlac, Badran Raddaoui |
| 2020 | DaWaK | A SAT-Based Approach for Mining High Utility Itemsets from Transaction Databases. | Amel Hidouri, Sad Jabbour, Badran Raddaoui, Boutheina Ben Yaghlane |
| 2020 | IJCAI | On the Enumeration of Association Rules: A Decomposition-based Approach. | Yacine Izza, Sad Jabbour, Badran Raddaoui, Abdelhamid Boudane |
| 2020 | IPMU | Maximal Clique Based Influence Maximization in Networks. | Nizar Mhadhbi, Badran Raddaoui |
| 2020 | SoMeT | Cohesive Subgraph Models for Overlapping Community Search over Networks. | Khaled Adeyl, Mourad Kmimech, Nizar Mhadhbi, Badran Raddaoui |
| 2019 | WISE | Handling Disagreement in Ontologies-Based Reasoning via Argumentation. | Sad Jabbour, Yue Ma, Badran Raddaoui |
| 2018 | AINA | Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability. | Sad Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais |
| 2018 | CP | A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining. | Imen Ouled Dlala, Sad Jabbour, Badran Raddaoui, Lakhdar Sais |
| 2018 | CP | On Maximal Frequent Itemsets Mining with Constraints. | Sad Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais |
| 2018 | IDA | Pushing the Envelope in Overlapping Communities Detection. | Sad Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais |
| 2018 | LPAR | Efficient SAT-Based Encodings of Conditional Cardinality Constraints. | Abdelhamid Boudane, Sad Jabbour, Badran Raddaoui, Lakhdar Sais |
| 2017 | ICONIP | Reasoning Under Conflicts in Smart Environment. | Hela Sfar, Badran Raddaoui, Amel Bouzeghoub |
| 2017 | PAKDD | A SAT-Based Framework for Overlapping Community Detection in Networks. | Sad Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais |
| 2017 | WETICE | Behavioral Verification of Service Component Architecture. | Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui |
| 2017 | SoMeT | Towards a Formal Verification Approach for Cloud Software Architecture. | Amal Ayach, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui |
| 2017 | SoMeT | Towards a Formal Verification Approach for Service Component Architecture. | Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui |
| 2016 | ECAI | On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. | Sad Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi |
| 2016 | ICAART | Knowledge Base Compilation for Inconsistency Measures. | Sad Jabbour, Badran Raddaoui, Lakhdar Sais |
| 2016 | ICAART | Mining Frequent Patterns from Correlated Incomplete Databases. | Badran Raddaoui, Ahmed Samet |
| 2016 | IPMU | Argumentation Framework Based on Evidence Theory. | Ahmed Samet, Badran Raddaoui, Tien-Tuan Dao, Allel Hadjali |
| 2016 | ICTAI | A SAT-Based Approach for Enumerating Interesting Patterns from Uncertain Data. | Imen Ouled Dlala, Sad Jabbour, Badran Raddaoui, Lakhdar Sais, Boutheina Ben Yaghlane |
| 2016 | KR | Quantifying Conflicts for Spatial and Temporal Information. | Jean-Franois Condotta, Badran Raddaoui, Yakoub Salhi |
| 2016 | KR | A MIS Partition Based Framework for Measuring Inconsistency. | Sad Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi |
| 2015 | ECSQARU | On Measuring Inconsistency Using Maximal Consistent Sets. | Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha |
| 2015 | ICAART | Inconsistency-based Ranking of Knowledge Bases. | Sad Jabbour, Badran Raddaoui, Lakhdar Sais |
| 2015 | ICAART | Computing Inconsistency Using Logical Argumentation. | Badran Raddaoui |
| 2014 | ECAI | Prime Implicates Based Inconsistency Characterization. | Sad Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais |
| 2014 | ICTAI | On the Characterization of Inconsistency: A Prime Implicates Based Framework. | Sad Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais |
| 2013 | ECSQARU | Measuring Inconsistency through Minimal Proofs. | Sad Jabbour, Badran Raddaoui |
| 2012 | ICTAI | An Argumentation Framework for Reasoning about Bounded Resources. | Philippe Besnard, ric Grgoire, Badran Raddaoui |
| 2010 | IRI | MUS-based generation of arguments and counter-arguments. | Philippe Besnard, ric Grgoire, Cdric Piette, Badran Raddaoui |