| 2016 | IJCAI | Packing Graphs with ASP for Landscape Simulation. | Thomas Guyet, Yves Moinard, Jacques Nicolas, Ren Quiniou |
| 2010 | KSEM | A Formalism for Causal Explanations with an Answer Set Programming Translation. | Yves Moinard |
| 2008 | ECAI | Deriving explanations from causal information. | Philippe Besnard, Marie-Odile Cordier, Yves Moinard |
| 2007 | KSEM | Ontology-Based Inference for Causal Explanation. | Philippe Besnard, Marie-Odile Cordier, Yves Moinard |
| 2006 | KSEM | Configurations for Inference Between Causal Statements. | Philippe Besnard, Marie-Odile Cordier, Yves Moinard |
| 2004 | ECAI | Plausibility Structures for Default Reasoning. | Yves Moinard |
| 2002 | ECAI | Linking Makinson and Kraus-Lehmann-Magidor preferential entailments. | Yves Moinard |
| 2001 | ECSQARU | General Preferential Entailments as Circumscriptions. | Yves Moinard |
| 2000 | ECAI | Characterizing General Preferential Entailments. | Yves Moinard |
| 2000 | ECAI | Equivalent Sets of Formulas for Circumscriptions. | Yves Moinard, Raymond Rolland |
| 1994 | ECAI | Reasoning by Cases without Contraposition in Default Logic. | Yves Moinard |
| 1994 | IPMU | Implication Connectives for Logics with Right Weakening. | Philippe Besnard, Yves Moinard |
| 1994 | JELIA | Around a Powerful Property of Circumscriptions. | Yves Moinard, Raymond Rolland |
| 1994 | KR | Preferential Entailments for Circumscriptions. | Yves Moinard, Raymond Rolland |
| 1992 | ECAI | Circumscriptions as Preferential Entailment. | Yves Moinard |
| 1992 | IPMU | Unifying Various Approaches to Default Logic. | Yves Moinard |
| 1991 | IJCAI | Circumscription and Definability. | Yves Moinard, Raymond Rolland |
| 1990 | AIMSA | Unexpected and Unwanted Results of Circumscription. | Yves Moinard, Raymond Rolland |
| 1990 | ECAI | Circumscription and Horn Theories. | Yves Moinard |
| 1988 | ECAI | Computing Circumscription of Horn Theories. | Yves Moinard |
| 1988 | ICLP | Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes). | Yves Moinard |