| 2026 | AAAI | Explaining Tournament Solutions with Minimal Supports. | Clment Contet, Umberto Grandi, Jrme Mengin |
| 2024 | ECAI | Abductive and Contrastive Explanations for Scoring Rules in Voting. | Clment Contet, Umberto Grandi, Jrme Mengin |
| 2024 | IJCAI | Learning Conditional Preference Networks: An Approach Based on the Minimum Description Length Principle. | Pierre-Franois Gimenez, Jrme Mengin |
| 2023 | ECAI | Conditionally Acyclic CO-Networks for Efficient Preferential Optimization. | Pierre-Franois Gimenez, Jrme Mengin |
| 2022 | CP | Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms. | Hlne Fargier, Jrme Mengin, Nicolas Schmidt |
| 2018 | AAAI | Learning Lexicographic Preference Trees From Positive Examples. | Hlne Fargier, Pierre-Franois Gimenez, Jrme Mengin |
| 2013 | UAI | Probabilistic Conditional Preference Networks. | Damien Bigot, Bruno Zanuttini, Hlne Fargier, Jrme Mengin |
| 2012 | CP | Aggregating Conditionally Lexicographic Preferences on Multi-issue Domains. | Jrme Lang, Jrme Mengin, Lirong Xia |
| 2010 | ECAI | Learning conditionally lexicographic preference relations. | Richard Booth, Yann Chevaleyre, Jrme Lang, Jrme Mengin, Chattrakul Sombattheera |
| 2009 | IJCAI | The Complexity of Learning Separable ceteris paribus Preferences. | Jrme Lang, Jrme Mengin |
| 2008 | JELIA | Uniform Interpolation by Resolution in Modal Logic. | Andreas Herzig, Jrme Mengin |
| 2004 | JELIA | On Sceptical Versus Credulous Acceptance for Abstract Argument Systems. | Sylvie Doutre, Jrme Mengin |
| 2004 | JELIA | Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach. | Jrme Mengin |
| 2001 | CADE | Preferred Extensions of Argumentation Frameworks: Query Answering and Computation. | Sylvie Doutre, Jrme Mengin |
| 2001 | ECSQARU | Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks. | Claudette Cayrol, Sylvie Doutre, Jrme Mengin |
| 1999 | ECSQARU | Logical Deduction Using the Local Computation Framework. | Nic Wilson, Jrme Mengin |
| 1998 | ECAI | On the Logic of Exceptions. | Jrme Mengin |
| 1995 | ECSQARU | A Theorem Prover for Default Logic Based on Prioritized Conflict Resolution and an Extended Resolution Principle. | Jrme Mengin |
| 1994 | ECAI | Prioritized Conflict Resolution for Default Reasoning. | Jrme Mengin |
| 1992 | JELIA | A Framework for Default Logics. | Christine Froidevaux, Jrme Mengin |
| 1991 | ECSQARU | Graded Default Logics. | Christine Froidevaux, Philippe Chatalic, Jrme Mengin |