| 2018 | IJCAI | Boosting MCSes Enumeration. | ric Grgoire, Yacine Izza, Jean-Marie Lagniez |
| 2017 | ICTAI | On Computing One Max_Subset Inclusion Consensus. | ric Grgoire, Yacine Izza, Jean-Marie Lagniez |
| 2016 | AAAI | On the Extraction of One Maximal Information Subset That Does Not Conflict with Multiple Contexts. | ric Grgoire, Yacine Izza, Jean-Marie Lagniez |
| 2016 | ECAI | A Computational Approach to Consensus-Finding. | ric Grgoire, Jean-Marie Lagniez |
| 2016 | IJCAI | On Consensus Extraction. | ric Grgoire, Sbastien Konieczny, Jean-Marie Lagniez |
| 2015 | AAAI | On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts. | Philippe Besnard, ric Grgoire, Jean-Marie Lagniez |
| 2015 | IRI | On Extracting Arguments in Favor of One Given Conclusion. | ric Grgoire |
| 2015 | LPAR | On Anti-subsumptive Knowledge Enforcement. | ric Grgoire, Jean-Marie Lagniez |
| 2014 | AAAI | An Experimentally Efficient Method for (MSS, CoMSS) Partitioning. | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2014 | ECAI | Enforcing Solutions in Constraint Networks. | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2014 | IRI | Any-time knowledge revision. | ric Grgoire |
| 2014 | ISAIM | About Some UP-Based Polynomial Fragments of SAT. | Mohammad Al-Saedi, ric Grgoire, Bertrand Mazure, Lakhdar Sas |
| 2014 | ICTAI | Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT. | Balasim Al-Saedi, ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 2014 | ICTAI | Multiple Contraction through Partial-Max-SAT. | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2014 | KSEM | Knowledge Preemption and Defeasible Rules. | ric Grgoire |
| 2013 | IJCAI | Preserving Partial Solutions While Relaxing Constraint Networks. | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2013 | IRI | About logic-based A.I. systems that must handle incoming symbolic knowledge. | ric Grgoire |
| 2013 | IRI | About Handling Non-conflicting Additional Information. | ric Grgoire |
| 2013 | ICTAI | Change Your Belief about Belief Change. | ric Grgoire |
| 2013 | ICTAI | Solving E-Squaro through SAT-Coding. | ric Grgoire, Atef Hasni, Bertrand Mazure, Cdric Piette |
| 2013 | ICTAI | Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms. | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2013 | KSEM | Handling Incoming Beliefs. | Philippe Besnard, ric Grgoire |
| 2012 | ECAI | Preemption Operators. | Philippe Besnard, ric Grgoire, Sbastien Ramon |
| 2012 | FUSION | Logic-based fusion of legal knowledge. | Philippe Besnard, ric Grgoire, Sbastien Ramon |
| 2012 | IRI | Model-based diagnosis with default information implemented through MAX-SAT technology. | Dominique D'Almeida, ric Grgoire |
| 2012 | ICTAI | An Argumentation Framework for Reasoning about Bounded Resources. | Philippe Besnard, ric Grgoire, Badran Raddaoui |
| 2012 | ICTAI | Relax! | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2012 | SEKE | Disabling Subsumptions in a Logic-Based Component. | ric Grgoire, Sbastien Ramon |
| 2011 | CP | A CSP Solver Focusing on fac Variables. | ric Grgoire, Jean-Marie Lagniez, Bertrand Mazure |
| 2011 | ECSQARU | Overriding Subsuming Rules. | Philippe Besnard, ric Grgoire, Sbastien Ramon |
| 2011 | KSEM | Enforcing Logically Weaker Knowledge in Classical Logic. | Philippe Besnard, ric Grgoire, Sbastien Ramon |
| 2010 | IRI | MUS-based generation of arguments and counter-arguments. | Philippe Besnard, ric Grgoire, Cdric Piette, Badran Raddaoui |
| 2009 | CADE | Does This Set of Clauses Overlap with at Least One MUS? | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2009 | ECSQARU | A Default Logic Patch for Default Logic. | Philippe Besnard, ric Grgoire, Sbastien Ramon |
| 2009 | IRI | About Agents that Reason by Case (Preliminary Report). | Philippe Besnard, ric Grgoire |
| 2009 | ICTAI | Local Autarkies Searching for the Dynamic Partition of CNF Formulae. | ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 2008 | IRI | Using default logic to enhance default logic: preliminary report. | ric Grgoire |
| 2008 | ICTAI | On Approaches to Explaining Infeasibility of Sets of Boolean Clauses. | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2007 | CP | MUST: Provide a Finer-Grained Explanation of Unsatisfiability. | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2007 | CPAIOR | Eliminating Redundant Clauses in SAT Instances. | Olivier Fourdrinoy, ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 2007 | IJCAI | Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle. | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2007 | IRI | Reducing hard SAT instances to polynomial ones. | Olivier Fourdrinoy, ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 2007 | IRI | Knowledge Refinement Through Revision. | ric Grgoire |
| 2006 | ECAI | Extracting MUSes. | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2006 | FMCAD | Tracking MUSes and Strict Inconsistent Covers. | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2006 | IRI | A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs. | ric Grgoire, Bertrand Mazure, Cdric Piette, Lakhdar Sais |
| 2006 | SEKE | A Framework for Fusing Consistent Knowledge Bases Automatically. | ric Grgoire, Du Zhang |
| 2005 | IRI | About the dynamics of iterated knowledge fusion by weakening. | ric Grgoire |
| 2004 | IRI | Fusing Legal Knowledge. | ric Grgoire |
| 2004 | SAT | Automatic Extraction of Functional Dependencies. | ric Grgoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais |
| 2004 | SAT | Automatic Extraction of Functional Dependencies. | ric Grgoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais |
| 2003 | ICAIL | About the Fusion of Legal Knowledge with Exceptions. | ric Grgoire |
| 2003 | IRI | Semaphores for the neutral handling of conflicting information in an iterated knowledge fusion process. | ric Grgoire |
| 2003 | ICTAI | About the Use of Semaphores to Handle Contradictory Knowledge Sources. | ric Grgoire |
| 2003 | ICTAI | Eliminating Redundancies in SAT Search Trees. | Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, ric Grgoire |
| 2002 | AIMSA | Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently. | ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 2002 | CP | Recovering and Exploiting Structural Knowledge from CNF Formulas. | Richard Ostrowski, ric Grgoire, Bertrand Mazure, Lakhdar Sais |
| 2002 | ICTAI | Fusing Cooperative Technical-Specification Knowledge Components. | ric Grgoire |
| 2001 | EUSFLAT | Fusing syntax and semantics in knowledge fusion. | ric Grgoire, Ahcne Sofiane |
| 2000 | KES | Validation of first-order stratified KBs. | ric Grgoire, David Ansart |
| 1999 | ECSQARU | Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases. | ric Grgoire |
| 1999 | ICTAI | Overcoming the Christmas Tree Syndrome. | ric Grgoire |
| 1999 | ISMIS | Improving Backtrack Search for SAT by Means of Redundancy. | Laure Brisoux, ric Grgoire, Lakhdar Sais |
| 1998 | AIMSA | Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. | Brigitte Bessant, ric Grgoire, Pierre Marquis, Lakhdar Sais |
| 1998 | CADE | System Description: CRIL Platform for SAT. | Bertrand Mazure, Lakhdar Sais, ric Grgoire |
| 1997 | AAAI | Tabu Search for SAT. | Bertrand Mazure, Lakhdar Sais, ric Grgoire |
| 1997 | ECSQARU | Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases. | Bertrand Mazure, Lakhdar Sais, ric Grgoire |
| 1997 | IJCAI | Tractable Cover Compilations. | Yacine Boufkhad, ric Grgoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais |
| 1992 | JELIA | About Deductive Generalization. | Philippe Besnard, ric Grgoire |
| 1991 | ECSQARU | Formalizing Pertinence Links in Inheritance Reasoning: Preliminary Report. | ric Grgoire |
| 1990 | ECAI | Skeptical Inheritance Can Be More Expressive. | ric Grgoire |
| 1990 | IPMU | About the Logical Interpretation of Ambiguous Inheritance Hierarchies. | ric Grgoire |