Éric Grégoire

Philippe Besnard, Éric Grégoire, Sébastien Ramon: Overriding subsuming rules. Int. J. Approx. Reasoning 54(4): 452-466 (2013)

Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui: Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants. Revue d'Intelligence Artificielle 26(3): 209-224 (2012)

Philippe Besnard, Éric Grégoire, Sébastien Ramon: Preemption Operators. ECAI 2012: 893-894

Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure: Relax! ICTAI 2012: 146-153

Philippe Besnard, Éric Grégoire, Badran Raddaoui: An Argumentation Framework for Reasoning about Bounded Resources. ICTAI 2012: 540-547

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

Éric Grégoire, Sébastien Ramon: Disabling Subsumptions in a Logic-Based Component. SEKE 2012: 243-248

Éric Grégoire: Foreword. International Journal on Artificial Intelligence Tools 20(4) (2011)

Du Zhang, Éric Grégoire: The Landscape of Inconsistency: a Perspective. Int. J. Semantic Computing 5(3): 235-256 (2011)

Éric Grégoire, Du Zhang: A Framework for Handling Logical Inconsistencies in the Fusion of Boolean Knowledge Bases. Int. J. Semantic Computing 5(3): 323-334 (2011)

Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure: A CSP Solver Focusing on fac Variables. CP 2011: 493-507

Philippe Besnard, Éric Grégoire, Sébastien Ramon: Overriding Subsuming Rules. ECSQARU 2011: 532-544

Philippe Besnard, Éric Grégoire, Sébastien Ramon: Enforcing Logically Weaker Knowledge in Classical Logic. KSEM 2011: 44-55

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

Éric Grégoire, Bertrand Mazure, Cédric Piette: Using local search to find MSSes and MUSes. European Journal of Operational Research 199(3): 640-646 (2009)

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

Philippe Besnard, Éric Grégoire, Sébastien Ramon: A Default Logic Patch for Default Logic. ECSQARU 2009: 578-589

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

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

Éric Grégoire, Bertrand Mazure, Cédric Piette: On Finding Minimally Unsatisfiable Cores of CSPS. International Journal on Artificial Intelligence Tools 17(4): 745-763 (2008)

Éric Grégoire, Bertrand Mazure, Cédric Piette: Extraction d'ensembles minimaux incohérents basée sur la recherche locale. Revue d'Intelligence Artificielle 22(2): 161-181 (2008)

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

Éric Grégoire: Using default logic to enhance default logic: preliminary report. IRI 2008: 336-340

Éric Grégoire, Bertrand Mazure, Cédric Piette: Local-search Extraction of MUSes. Constraints 12(3): 325-344 (2007)

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

Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais: Eliminating Redundant Clauses in SAT Instances. CPAIOR 2007: 71-83

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

Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais: Reducing hard SAT instances to polynomial ones. IRI 2007: 18-23

Éric Grégoire: Knowledge Refinement Through Revision. IRI 2007: 285-290

Sébastien Konieczny, Éric Grégoire: Logic-based approaches to information fusion. Information Fusion 7(1): 2-3 (2006)

Éric Grégoire, Sébastien Konieczny: Logic-based approaches to information fusion. Information Fusion 7(1): 4-18 (2006)

Éric Grégoire: An unbiased approach to iterated fusion by weakening. Information Fusion 7(1): 35-40 (2006)

Éric Grégoire, Bertrand Mazure, Cédric Piette: Extracting MUSes. ECAI 2006: 387-391

Éric Grégoire, Bertrand Mazure, Cédric Piette: Tracking MUSes and Strict Inconsistent Covers. FMCAD 2006: 39-46

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

Éric Grégoire, Du Zhang: A Framework for Fusing Consistent Knowledge Bases Automatically. SEKE 2006: 426-431

Éric Grégoire: About the dynamics of iterated knowledge fusion by weakening. IRI 2005: 326-331

Éric Grégoire: Fusing Legal Knowledge. IRI 2004: 522-529

Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais: Automatic Extraction of Functional Dependencies. SAT 2004

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

Du Zhang, Éric Grégoire, Doug DeGroot (Eds.): Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, IRI - 2004, November 8-10, 2004, Las Vegas Hilton, Las Vegas, NV, USA. IEEE Systems, Man, and Cybernetics Society 2004, isbn 0-7803-8819-4

Éric Grégoire: Fusing Cooperative Technical-Specification Knowledge Components. International Journal on Artificial Intelligence Tools 12(3): 265-278 (2003)

Éric Grégoire: About the Fusion of Legal Knowledge with Exceptions. ICAIL 2003: 91-92

Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, Éric Grégoire: Eliminating Redundancies in SAT Search Trees. ICTAI 2003: 100-104

Éric Grégoire: About the Use of Semaphores to Handle Contradictory Knowledge Sources. ICTAI 2003: 213-218

Éric Grégoire: Semaphores for the neutral handling of conflicting information in an iterated knowledge fusion process. IRI 2003: 137-143

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

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

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

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

Éric Grégoire: Fusing Cooperative Technical-Specification Knowledge Components. ICTAI 2002: 535-542

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

Éric Grégoire, Ahcène Sofiane: Fusing syntax and semantics in knowledge fusion. EUSFLAT Conf. 2001: 414-417

Éric Grégoire, David Ansart: Overcoming the Christmas Tree Syndrome. International Journal on Artificial Intelligence Tools 9(1): 97-111 (2000)

Éric Grégoire, David Ansart: Validation of first-order stratified KBs. KES 2000: 145-149

Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire: A CSP Abstraction Framework. SARA 2000: 164-184

Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire: A CSP Abstraction Framework. SARA 2000: 326-327

Éric Grégoire: Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases. ESCQARU 1999: 168-178

Éric Grégoire: Progressive Instantiation for the Logical Validation of Nonmonotonic KBs. EUROVAV 1999: 37-51

Éric Grégoire: Overcoming the Christmas Tree Syndrome. ICTAI 1999: 425-430

Laure Brisoux, Éric Grégoire, Lakhdar Sais: Improving Backtrack Search for SAT by Means of Redundancy. ISMIS 1999: 301-309

Bertrand Mazure, Lakhdar Sais, Éric Grégoire: Boosting Complete Techniques Thanks to Local Search Methods. Ann. Math. Artif. Intell. 22(3-4): 319-331 (1998)

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

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

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

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

Bertrand Mazure, Lakhdar Sais, Éric Grégoire: Tabu Search for SAT. AAAI/IAAI 1997: 281-285

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

Bertrand Mazure, Lakhdar Sais, Éric Grégoire: Local Search for Computing Normal Circumstances Models. Fuzzy Days 1997: 565-566

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

Éric Grégoire, Pierre Marquis: Novelty in Deductive Databases. J. Log. Comput. 6(5): 683-708 (1996)

Philippe Besnard, Éric Grégoire: About Deductive Generalization. JELIA 1992: 212-231

Éric Grégoire: Formalizing Pertinence Links in Inheritance Reasoning: Preliminary Report. ECSQARU 1991: 190-197

Philippe Besnard, Éric Grégoire: Deductive Generalization in a Default Logic Setting. Nonmonotonic and Inductive Logic 1991: 141-152

Éric Grégoire: Logiques non monotones et intelligence artificielle. Langue, raisonnement, calcul, Hermes 1990, isbn 978-2-86601-257-1, pp. I-XIV, 1-224

Éric Grégoire: Skeptical Inheritance Can Be More Expressive. ECAI 1990: 326-332

Éric Grégoire: About the Logical Interpretation of Ambiguous Inheritance Hierarchies. IPMU 1990: 213-222

Éric Grégoire: Reducing Inheritance Theories to Default Logic and Logic Programs. SCAI 1989: 943-958

Éric Grégoire: Evaluation of the expert system tools KEE and ART: a Case Study. Applied Artificial Intelligence 2(1): 1-23 (1988)