| 2025 | UAI | Probabilistic Explanations for Regression Models. | Frdric Koriche, Jean-Marie Lagniez, Chi Tran |
| 2023 | UAI | Approximating probabilistic explanations via supermodular minimization. | Louenas Bounia, Frdric Koriche |
| 2022 | AAAI | Trading Complexity for Sparsity in Random Forest Explanations. | Gilles Audemard, Steve Bellart, Louenas Bounia, Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis |
| 2022 | IJCAI | On Preferred Abductive Explanations for Decision Trees and Random Forests. | Gilles Audemard, Steve Bellart, Louenas Bounia, Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis |
| 2022 | IJCAI | Best Heuristic Identification for Constraint Satisfaction. | Frdric Koriche, Christophe Lecoutre, Anastasia Paparrizou, Hugues Wattez |
| 2021 | KR | On the Computational Intelligibility of Boolean Classifiers. | Gilles Audemard, Steve Bellart, Louenas Bounia, Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis |
| 2020 | ECAI | Learning Variable Ordering Heuristics with Multi-Armed Bandits and Restarts. | Hugues Wattez, Frdric Koriche, Christophe Lecoutre, Anastasia Paparrizou, Sbastien Tabary |
| 2020 | KR | On Tractable XAI Queries based on Compiled Representations. | Gilles Audemard, Frdric Koriche, Pierre Marquis |
| 2018 | ICML | Compiling Combinatorial Prediction Games. | Frdric Koriche |
| 2017 | IJCAI | Constraint-Based Symmetry Detection in General Game Playing. | Frdric Koriche, Sylvain Lagrue, ric Piette, Sbastien Tabary |
| 2016 | ECAI | An Improved CNF Encoding Scheme for Probabilistic Inference. | Anicet Bart, Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis |
| 2016 | ECAI | Fixed-Parameter Tractable Optimization Under DNNF Constraints. | Frdric Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis |
| 2016 | UAI | Online Forest Density Estimation. | Frdric Koriche |
| 2015 | IJCAI | Compiling Constraint Networks into Multivalued Decomposable Decision Graphs. | Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas |
| 2014 | ECAI | Symmetry-Driven Decision Diagrams for Knowledge Compilation. | Anicet Bart, Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis |
| 2013 | ICML | Rounding Methods for Discrete Linear Classification. | Yann Chevaleyre, Frdric Koriche, Jean-Daniel Zucker |
| 2013 | IJCAI | Knowledge Compilation for Model Counting: Affine Decision Trees. | Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas |
| 2011 | ILP | Relational Networks of Conditional Preferences - (Extended Abstract). | Frdric Koriche |
| 2009 | IJCAI | Learning Conditional Preference Networks with Queries. | Frdric Koriche, Bruno Zanuttini |
| 2008 | ECAI | Online Rule Learning via Weighted Model Counting. | Frdric Koriche |
| 2007 | ILP | Learning to Assign Degrees of Belief in Relational Domains. | Frdric Koriche |
| 2006 | AAAI | Acquiring Constraint Networks Using a SAT-based Version Space Algorithm. | Christian Bessiere, Remi Coletta, Frdric Koriche, Barry O'Sullivan |
| 2005 | ILP | Online Closure-Based Learning of Relational Theories. | Frdric Koriche |
| 2004 | ECAI | Bias Windowing for Relational Learning. | Frdric Koriche |
| 2002 | ITS | A Roadmap of Epistemic Logics for Learning Agents. | Frdric Koriche |
| 2001 | CSL | A Logic for Approximate First-Order Reasoning. | Frdric Koriche |
| 2001 | ECSQARU | On Anytime Coherence-Based Reasoning. | Frdric Koriche |
| 1998 | JELIA | A Logic for Anytime Deduction and Anytime Compilation. | Frdric Koriche |
| 1997 | CoopIS | Fault-Tolerant and Approximate Reasoning in Multi-Source Environments. | Frdric Koriche |