Evaluation of the expert system tools KEE and ART: a Case Study. - Éric Grégoire (Appl. Artif. Intell., 1988)

Reducing Inheritance Theories to Default Logic and Logic Programs. - Éric Grégoire (SCAI, 1989)

Logiques non monotones et intelligence artificielle. - Éric Grégoire (Hermes, 1990)

Skeptical Inheritance Can Be More Expressive. - Éric Grégoire (ECAI, 1990)

About the Logical Interpretation of Ambiguous Inheritance Hierarchies. - Éric Grégoire (IPMU, 1990)

Formalizing Pertinence Links in Inheritance Reasoning: Preliminary Report. - Éric Grégoire (ECSQARU, 1991)

Deductive Generalization in a Default Logic Setting. - Philippe Besnard; Éric Grégoire (Nonmonotonic and Inductive Logic, 1991)

About Deductive Generalization. - Philippe Besnard; Éric Grégoire (JELIA, 1992)

Novelty in Deductive Databases. - Éric Grégoire; Pierre Marquis (J. Log. Comput., 1996)

Tabu Search for SAT. - Bertrand Mazure; Lakhdar Sais; Éric Grégoire (AAAI/IAAI, 1997)

Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases. - Bertrand Mazure; Lakhdar Sais; Éric Grégoire (ECSQARU-FAPR, 1997)

Local Search for Computing Normal Circumstances Models. - Bertrand Mazure; Lakhdar Sais; Éric Grégoire (Fuzzy Days, 1997)

Tractable Cover Compilations. - Yacine Boufkhad; Éric Grégoire; Pierre Marquis; Bertrand Mazure; Lakhdar Sais (IJCAI (1), 1997)

An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases. - Bertrand Mazure; Lakhdar Sais; Éric Grégoire (Int. J. Cooperative Inf. Syst., 1997)

Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. - Brigitte Bessant; Éric Grégoire; Pierre Marquis; Lakhdar Sais (AIMSA, 1998)

System Description: CRIL Platform for SAT. - Bertrand Mazure; Lakhdar Sais; Éric Grégoire (CADE, 1998)

Validation of Knowledge-Based Systems by Means of Stochastic Search. - Laure Brisoux; Éric Grégoire; Lakhdar Sais (DEXA Workshop, 1998)

Boosting Complete Techniques Thanks to Local Search Methods. - Bertrand Mazure; Lakhdar Sais; Éric Grégoire (Ann. Math. Artif. Intell., 1998)

Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases. - Éric Grégoire (ESCQARU, 1999)

Progressive Instantiation for the Logical Validation of Nonmonotonic KBs. - Éric Grégoire (EUROVAV, 1999)

Overcoming the Christmas Tree Syndrome. - Éric Grégoire (ICTAI, 1999)

Improving Backtrack Search for SAT by Means of Redundancy. - Laure Brisoux; Éric Grégoire; Lakhdar Sais (ISMIS, 1999)

Validation of first-order stratified KBs. - Éric Grégoire; David Ansart (KES, 2000)

A CSP Abstraction Framework. - Christophe Lecoutre; Sylvain Merchez; Frédéric Boussemart; Éric Grégoire (SARA, 2000)

Overcoming the Christmas Tree Syndrome. - Éric Grégoire; David Ansart (Int. J. Artif. Intell. Tools, 2000)

Validation and verification of knowledge-based systems: report on EUROVAV99. - Frans Coenen; Trevor J. M. Bench-Capon; Robin Boswell; Juliette Dibie-Barthélemy; Barry Eaglestone; Rik Gerrits; Éric Grégoire; Antoni Ligeza; Luis M. Laita; Mieczyslaw L. Owoc; Florence Sellini; Silvie Spreeuwenberg; et al. (Knowl. Eng. Rev., 2000)

Fusing syntax and semantics in knowledge fusion. - Éric Grégoire; Ahcène Sofiane (EUSFLAT Conf., 2001)

Checking depth-limited consistency and inconsistency in knowledge-based systems. - Laure Brisoux; Éric Grégoire; Lakhdar Sais (Int. J. Intell. Syst., 2001)

Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently. - Éric Grégoire; Bertrand Mazure; Lakhdar Sais (AIMSA, 2002)

Recovering and Exploiting Structural Knowledge from CNF Formulas. - Richard Ostrowski; Éric Grégoire; Bertrand Mazure; Lakhdar Sais (CP, 2002)

An Intelligent System Combining Different Resource-Bounded Reasoning Techniques. - Abdel-Illah Mouaddib; Éric Grégoire; Jean-François Dauchez (Appl. Intell., 2002)

About the incremental validation of first-order stratified knowledge-based decision-support systems. - Éric Grégoire; Bertrand Mazure (Inf. Sci., 2002)

About the Fusion of Legal Knowledge with Exceptions. - Éric Grégoire (ICAIL, 2003)

About the Use of Semaphores to Handle Contradictory Knowledge Sources. - Éric Grégoire (ICTAI, 2003)

Eliminating Redundancies in SAT Search Trees. - Richard Ostrowski; Bertrand Mazure; Lakhdar Sais; Éric Grégoire (ICTAI, 2003)

Semaphores for the neutral handling of conflicting information in an iterated knowledge fusion process. - Éric Grégoire (IRI, 2003)

Fusing Cooperative Technical-Specification Knowledge Components. - Éric Grégoire (Int. J. Artif. Intell. Tools, 2003)

Fusing Legal Knowledge. - Éric Grégoire (IRI, 2004)

Automatic Extraction of Functional Dependencies. - Éric Grégoire; Richard Ostrowski; Bertrand Mazure; Lakhdar Sais (SAT (Selected Papers, 2004)

About the dynamics of iterated knowledge fusion by weakening. - Éric Grégoire (IRI, 2005)

Extracting MUSes. - Éric Grégoire; Bertrand Mazure; Cédric Piette (ECAI, 2006)

Tracking MUSes and Strict Inconsistent Covers. - Éric Grégoire; Bertrand Mazure; Cédric Piette (FMCAD, 2006)

A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs. - Éric Grégoire; Bertrand Mazure; Cédric Piette; Lakhdar Sais (IRI, 2006)

A Framework for Fusing Consistent Knowledge Bases Automatically. - Éric Grégoire; Du Zhang (SEKE, 2006)

An unbiased approach to iterated fusion by weakening. - Éric Grégoire (Inf. Fusion, 2006)

Logic-based approaches to information fusion. - Sébastien Konieczny; Éric Grégoire (Inf. Fusion, 2006)

MUST: Provide a Finer-Grained Explanation of Unsatisfiability. - Éric Grégoire; Bertrand Mazure; Cédric Piette (CP, 2007)

Eliminating Redundant Clauses in SAT Instances. - Olivier Fourdrinoy; Éric Grégoire; Bertrand Mazure; Lakhdar Sais (CPAIOR, 2007)

Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle. - Éric Grégoire; Bertrand Mazure; Cédric Piette (IJCAI, 2007)

Reducing hard SAT instances to polynomial ones. - Olivier Fourdrinoy; Éric Grégoire; Bertrand Mazure; Lakhdar Sais (IRI, 2007)

Knowledge Refinement Through Revision. - Éric Grégoire (IRI, 2007)

Local-search Extraction of MUSes. - Éric Grégoire; Bertrand Mazure; Cédric Piette (Constraints An Int. J., 2007)

On Approaches to Explaining Infeasibility of Sets of Boolean Clauses. - Éric Grégoire; Bertrand Mazure; Cédric Piette (ICTAI (1), 2008)

Using default logic to enhance default logic: preliminary report. - Éric Grégoire (IRI, 2008)

On Finding Minimally Unsatisfiable Cores of CSPS. - Éric Grégoire; Bertrand Mazure; Cédric Piette (Int. J. Artif. Intell. Tools, 2008)

Extraction d'ensembles minimaux incohérents basée sur la recherche locale. - Éric Grégoire; Bertrand Mazure; Cédric Piette (Rev. d'Intelligence Artif., 2008)

Does This Set of Clauses Overlap with at Least One MUS? - Éric Grégoire; Bertrand Mazure; Cédric Piette (CADE, 2009)

A Default Logic Patch for Default Logic. - Philippe Besnard; Éric Grégoire; Sébastien Ramon (ECSQARU, 2009)

Local Autarkies Searching for the Dynamic Partition of CNF Formulae. - Éric Grégoire; Bertrand Mazure; Lakhdar Sais (ICTAI, 2009)

About Agents that Reason by Case (Preliminary Report). - Philippe Besnard; Éric Grégoire (IRI, 2009)

Using local search to find MSSes and MUSes. - Éric Grégoire; Bertrand Mazure; Cédric Piette (Eur. J. Oper. Res., 2009)

MUS-based generation of arguments and counter-arguments. - Philippe Besnard; Éric Grégoire; Cédric Piette; Badran Raddaoui (IRI, 2010)

A CSP Solver Focusing on fac Variables. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (CP, 2011)

Enforcing Logically Weaker Knowledge in Classical Logic. - Philippe Besnard; Éric Grégoire; Sébastien Ramon (KSEM, 2011)

Foreword. - Éric Grégoire (Int. J. Artif. Intell. Tools, 2011)

A Framework for Handling Logical Inconsistencies in the Fusion of Boolean Knowledge Bases. - Éric Grégoire; Du Zhang (Int. J. Semantic Comput., 2011)

The Landscape of Inconsistency: a Perspective. - Du Zhang; Éric Grégoire (Int. J. Semantic Comput., 2011)

Preemption Operators. - Philippe Besnard; Éric Grégoire; Sébastien Ramon (ECAI, 2012)

Logic-based fusion of legal knowledge. - Philippe Besnard; Éric Grégoire; Sébastien Ramon (FUSION, 2012)

An Argumentation Framework for Reasoning about Bounded Resources. - Philippe Besnard; Éric Grégoire; Badran Raddaoui (ICTAI, 2012)

Relax! - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (ICTAI, 2012)

Model-based diagnosis with default information implemented through MAX-SAT technology. - Dominique D'Almeida; Éric Grégoire (IRI, 2012)

Disabling Subsumptions in a Logic-Based Component. - Éric Grégoire; Sébastien Ramon (SEKE, 2012)

Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants. - Philippe Besnard; Éric Grégoire; Cédric Piette; Badran Raddaoui (Rev. d'Intelligence Artif., 2012)

Change Your Belief about Belief Change. - Éric Grégoire (ICTAI, 2013)

Solving E-Squaro through SAT-Coding. - Éric Grégoire; Atef Hasni; Bertrand Mazure; Cédric Piette (ICTAI, 2013)

Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (ICTAI, 2013)

Preserving Partial Solutions While Relaxing Constraint Networks. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (IJCAI, 2013)

About logic-based A.I. systems that must handle incoming symbolic knowledge. - Éric Grégoire (IRI, 2013)

About Handling Non-conflicting Additional Information. - Éric Grégoire (IRI (best papers), 2013)

Handling Incoming Beliefs. - Philippe Besnard; Éric Grégoire (KSEM, 2013)

A Conditional Logic-Based Argumentation Framework. - Philippe Besnard; Éric Grégoire; Badran Raddaoui (SUM, 2013)

Improving MUC extraction thanks to local search. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (CoRR, 2013)

Overriding subsuming rules. - Philippe Besnard; Éric Grégoire; Sébastien Ramon (Int. J. Approx. Reason., 2013)

An Experimentally Efficient Method for (MSS, CoMSS) Partitioning. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (AAAI, 2014)

A General Artificial Intelligence Approach for Skeptical Reasoning. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (AGI, 2014)

Enforcing Solutions in Constraint Networks. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (ECAI, 2014)

Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT. - Balasim Al-Saedi; Éric Grégoire; Bertrand Mazure; Lakhdar Sais (ICTAI, 2014)

Multiple Contraction through Partial-Max-SAT. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (ICTAI, 2014)

Any-time knowledge revision. - Éric Grégoire (IRI, 2014)

About Some UP-Based Polynomial Fragments of SAT. - Mohammad Al-Saedi; Éric Grégoire; Bertrand Mazure; Lakhdar Saïs (ISAIM, 2014)

Knowledge Preemption and Defeasible Rules. - Éric Grégoire (KSEM, 2014)

Boosting MUC extraction in unsatisfiable constraint networks. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (Appl. Intell., 2014)

On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts. - Philippe Besnard; Éric Grégoire; Jean-Marie Lagniez (AAAI, 2015)

On Extracting Arguments in Favor of One Given Conclusion. - Éric Grégoire (IRI, 2015)

On Anti-subsumptive Knowledge Enforcement. - Éric Grégoire; Jean-Marie Lagniez (LPAR, 2015)

On getting rid of the preprocessing minimization step in MUC-finding algorithms. - Éric Grégoire; Jean-Marie Lagniez; Bertrand Mazure (Constraints An Int. J., 2015)

Introduction to the special issue on CSP technologies in artificial intelligence. - Éric Grégoire; Bertrand Mazure (Constraints An Int. J., 2015)

Un système argumentatif pour le raisonnement sur des ressources limitées. - Philippe Besnard; Éric Grégoire; Badran Raddaoui (Rev. d'Intelligence Artif., 2015)

Any-Time Knowledge Revision and Inconsistency Handling. - Éric Grégoire (Formalisms for Reuse and Systems Integration, 2015)

Logical consensuses for case-based reasoning and for mathematical engineering of AI. - Éric Grégoire; Jean-Marie Lagniez; Du Zhang (ICCI*CC, 2016)

On the Extraction of One Maximal Information Subset That Does Not Conflict with Multiple Contexts. - Éric Grégoire; Yacine Izza; Jean-Marie Lagniez (AAAI, 2016)

On Computing Non-hypocritical Consensuses in Standard Logic. - Éric Grégoire; Jean-Marie Lagniez; Du Zhang (DEXA Workshops, 2016)

Learning through Overcoming Inconsistencies. - Du Zhang; Éric Grégoire (DEXA Workshops, 2016)

A Computational Approach to Consensus-Finding. - Éric Grégoire; Jean-Marie Lagniez (ECAI, 2016)

On Consensus Extraction. - Éric Grégoire; Sébastien Konieczny; Jean-Marie Lagniez (IJCAI, 2016)

A Computational Method for Enforcing Knowledge that Cannot be Subsumed. - Éric Grégoire; Jean-Marie Lagniez (Int. J. Artif. Intell. Tools, 2016)

RCL: An A. I. Tool for Computing Maximal Consensuses. - Éric Grégoire; Jean-Marie Lagniez (Int. J. Artif. Intell. Tools, 2016)

On Computing One Max_Subset Inclusion Consensus. - Éric Grégoire; Yacine Izza; Jean-Marie Lagniez (ICTAI, 2017)

About some UP-based polynomial fragments of SAT. - Balasim Al-Saedi; Olivier Fourdrinoy; Éric Grégoire; Bertrand Mazure; Lakhdar Saïs (Ann. Math. Artif. Intell., 2017)

Boosting MCSes Enumeration. - Éric Grégoire; Yacine Izza; Jean-Marie Lagniez (IJCAI, 2018)

Consensus-finding that preserves mutually conflicting hypothetical information from a same agent. - Éric Grégoire; Jean-Marie Lagniez; Du Zhang (AI Commun., 2018)

On Admissible Consensuses. - Éric Grégoire; Yacine Izza; Du Zhang (Int. J. Artif. Intell. Tools, 2018)

Preface. - Éric Grégoire; Jean-Marie Lagniez; Du Zhang (Int. J. Artif. Intell. Tools, 2018)