| 2026 | ICAART | Not All Countermodels Are Equal. | Daniel Crowley, Daniel Le Berre, Yakoub Salhi |
| 2026 | SAC | Proof Systems Supporting Qualitative Reasoning. | Daniel Crowley, Yakoub Salhi |
| 2025 | AAAI | A Variable Occurrence-Centric Framework for Inconsistency Handling. | Yakoub Salhi |
| 2025 | IJCAI | A Game-Theoretic Perspective on Inconsistency Handling. | Yakoub Salhi |
| 2025 | ICTAI | A Framework for Hybrid Set-Theoretic and Numerical Problem Solving. | Daniel Crowley, Daniel Le Berre, Olivier Roussel, Yakoub Salhi |
| 2025 | JELIA | On Extracting Legal Arguments. | Noah Collinet, Yakoub Salhi, Souhila Kaci |
| 2024 | FlAIRS | On Clustering in Qualitative Spatial and Temporal Reasoning. | Abderrahmane Boukontar, Jean-Franois Condotta, Yakoub Salhi |
| 2024 | TIME | A Framework for Assessing Inconsistency in Disjunctive Temporal Problems. | Jean-Franois Condotta, Yakoub Salhi |
| 2023 | ECAI | A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning. | Yakoub Salhi, Michael Sioutis |
| 2023 | KR | A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning. | Yakoub Salhi, Michael Sioutis |
| 2023 | TIME | Prime Scenarios in Qualitative Spatial and Temporal Reasoning. | Yakoub Salhi, Michael Sioutis |
| 2023 | TIME | A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract). | Yakoub Salhi, Michael Sioutis |
| 2022 | ICTAI | Knowledge Discovery from Qualitative Spatial and Temporal Data. | Abderrahmane Boukontar, Jean-Franois Condotta, Yakoub Salhi |
| 2022 | SAC | Belief selection through argumentation. | Souhila Kaci, Yakoub Salhi |
| 2021 | AAAI | Quantification of Resource Production Incompleteness. | Yakoub Salhi |
| 2021 | IJCAI | Inconsistency Measurement for Paraconsistent Inference. | Yakoub Salhi |
| 2020 | AAAI | A Framework for Measuring Information Asymmetry. | Yakoub Salhi |
| 2020 | IJCAI | Inconsistency Measurement for Improving Logical Formula Clustering. | Yakoub Salhi |
| 2020 | LPAR | On Reasoning about Access to Knowledge. | Yakoub Salhi |
| 2020 | SAC | On satisfiability problem in modal logic S5. | Yakoub Salhi |
| 2019 | ICAART | On Enumerating All the Minimal Models for Particular CNF Formula Classes. | Yakoub Salhi |
| 2019 | ICTAI | On Solving Exactly-One-SAT. | Yazid Boumarafi, Yakoub Salhi |
| 2019 | TIME | Qualitative Reasoning and Data Mining. | Yakoub Salhi |
| 2018 | AIMSA | Tractable Classes in Exactly-One-SAT. | Yazid Boumarafi, Yakoub Salhi |
| 2018 | AIMSA | Approaches for Enumerating All the Essential Prime Implicants. | Yakoub Salhi |
| 2018 | ISAIM | A Method for Generating all the Prime Implicants of Binary CNF Formulas. | Yakoub Salhi |
| 2017 | ICAART | Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints. | Soukaina Hattad, Sad Jabbour, Lakhdar Sais, Yakoub Salhi |
| 2017 | LPAR | From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes. | Yazid Boumarafi, Lakhdar Sais, Yakoub Salhi |
| 2017 | PAKDD | Enumerating Non-redundant Association Rules Using Satisfiability. | Abdelhamid Boudane, Sad Jabbour, Lakhdar Sais, Yakoub Salhi |
| 2017 | PAKDD | Clustering Complex Data Represented as Propositional Formulas. | Abdelhamid Boudane, Sad Jabbour, Lakhdar Sais, Yakoub Salhi |
| 2016 | ECAI | On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. | Sad Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi |
| 2016 | IJCAI | A SAT-Based Approach for Mining Association Rules. | Abdelhamid Boudane, Sad Jabbour, Lakhdar Sais, Yakoub Salhi |
| 2016 | ICTAI | Itemset Mining with Penalties. | Sad Jabbour, Souhila Kaci, Lakhdar Sais, Yakoub Salhi |
| 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 | AICCSA | Parallel SAT based closed frequent itemsets enumeration. | Imen Ouled Dlala, Sad Jabbour, Lakhdar Sais, Yakoub Salhi, Boutheina Ben Yaghlane |
| 2015 | ECSQARU | On Measuring Inconsistency Using Maximal Consistent Sets. | Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha |
| 2015 | FlAIRS | A Simple Decomposition Scheme for Large Real World Qualitative Constraint Networks. | Michael Sioutis, Yakoub Salhi, Jean-Franois Condotta |
| 2015 | ICTAI | Mining to Compress Table Constraints. | Sad Jabbour, Stphanie Roussel, Lakhdar Sais, Yakoub Salhi |
| 2015 | PAKDD | Decomposition Based SAT Encodings for Itemset Mining Problems. | Sad Jabbour, Lakhdar Sais, Yakoub Salhi |
| 2015 | SAC | On the use and effect of graph decomposition in qualitative spatial and temporal reasoning. | Michael Sioutis, Yakoub Salhi, Jean-Franois Condotta |
| 2015 | TABLEAUX | Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method. | Michael Sioutis, Jean-Franois Condotta, Yakoub Salhi, Bertrand Mazure |
| 2014 | AAAI | A Constructive Argumentation Framework. | Souhila Kaci, Yakoub Salhi |
| 2014 | AIMSA | A Qualitative Spatio-Temporal Framework Based on Point Algebra. | Michael Sioutis, Jean-Franois Condotta, Yakoub Salhi, Bertrand Mazure |
| 2014 | IC3K | Symmetry Breaking in Itemset Mining. | Belad Benhamou, Sad Jabbour, Lakhdar Sais, Yakoub Salhi |
| 2014 | IC3K | A Generic and Declarative Method for Symmetry Breaking in Itemset Mining. | Belad Benhamou, Sad Jabbour, Lakhdar Sais, Yakoub Salhi |
| 2014 | IRI | Extending modern SAT solvers for models enumeration. | Sad Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi |
| 2014 | ISAIM | A Pigeon-Hole Based Encoding of Cardinality Constraints. | Sad Jabbour, Lakhdar Sas, Yakoub Salhi |
| 2014 | JELIA | Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. | Sad Jabbour, Joo Marques-Silva, Lakhdar Sais, Yakoub Salhi |
| 2013 | CIKM | Boolean satisfiability for sequence mining. | Sad Jabbour, Lakhdar Sais, Yakoub Salhi |
| 2013 | CIKM | Mining-based compression approach of propositional formulae. | Sad Jabbour, Lakhdar Sais, Yakoub Salhi, Takeaki Uno |
| 2013 | ICTAI | Symmetry-Based Pruning in Itemset Mining. | Sad Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia |
| 2012 | ECAI | A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence. | Emmanuel Coquery, Sad Jabbour, Lakhdar Sas, Yakoub Salhi |
| 2012 | ECAI | Symmetries in Itemset Mining. | Sad Jabbour, Lakhdar Sais, Yakoub Salhi, Karim Tabia |
| 2010 | LPAR | Label-Free Proof Systems for Intuitionistic Modal Logic IS5. | Didier Galmiche, Yakoub Salhi |
| 2008 | WoLLIC | Labelled Calculi for Lukasiewicz Logics. | Didier Galmiche, Yakoub Salhi |