Éric Grégoire

Publication Activity (10 Years)

Years Active: 1988-2018
Publications (10 Years): 20

Top Venues

ICTAI

IRI

Int. J. Artif. Intell. Tools

AAAI

Publications

Éric Grégoire, Jean-Marie Lagniez, Du Zhang
Consensus-finding that preserves mutually conflicting hypothetical information from a same agent. AI Commun. 31 (3) (2018)
Éric Grégoire, Yacine Izza, Jean-Marie Lagniez
Boosting MCSes Enumeration. IJCAI (2018)
Éric Grégoire, Jean-Marie Lagniez, Du Zhang
Preface. Int. J. Artif. Intell. Tools 27 (1) (2018)
Éric Grégoire, Yacine Izza, Du Zhang
On Admissible Consensuses. Int. J. Artif. Intell. Tools 27 (1) (2018)
Éric Grégoire, Yacine Izza, Jean-Marie Lagniez
On Computing One Max_Subset Inclusion Consensus. ICTAI (2017)
Balasim Al-Saedi, Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs
About some UP-based polynomial fragments of SAT. Ann. Math. Artif. Intell. 79 (1-3) (2017)
Éric Grégoire, Jean-Marie Lagniez
A Computational Approach to Consensus-Finding. ECAI (2016)
Éric Grégoire, Yacine Izza, Jean-Marie Lagniez
On the Extraction of One Maximal Information Subset That Does Not Conflict with Multiple Contexts. AAAI (2016)
Éric Grégoire, Sébastien Konieczny, Jean-Marie Lagniez
On Consensus Extraction. IJCAI (2016)
Éric Grégoire, Jean-Marie Lagniez, Du Zhang
On Computing Non-hypocritical Consensuses in Standard Logic. DEXA Workshops (2016)
Éric Grégoire, Jean-Marie Lagniez
RCL: An A. I. Tool for Computing Maximal Consensuses. Int. J. Artif. Intell. Tools 25 (4) (2016)
Du Zhang, Éric Grégoire
Learning through Overcoming Inconsistencies. DEXA Workshops (2016)
Éric Grégoire, Jean-Marie Lagniez, Du Zhang
Logical consensuses for case-based reasoning and for mathematical engineering of AI. ICCI*CC (2016)
Éric Grégoire, Jean-Marie Lagniez
A Computational Method for Enforcing Knowledge that Cannot be Subsumed. Int. J. Artif. Intell. Tools 25 (4) (2016)
Éric Grégoire, Jean-Marie Lagniez
On Anti-subsumptive Knowledge Enforcement. LPAR (2015)
Éric Grégoire, Bertrand Mazure
Introduction to the special issue on CSP technologies in artificial intelligence. Constraints An Int. J. 20 (4) (2015)
Philippe Besnard, Éric Grégoire, Jean-Marie Lagniez
On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts. AAAI (2015)
Philippe Besnard, Éric Grégoire, Badran Raddaoui
Un système argumentatif pour le raisonnement sur des ressources limitées. Rev. d'Intelligence Artif. 29 (3-4) (2015)
Éric Grégoire
On Extracting Arguments in Favor of One Given Conclusion. IRI (2015)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
On getting rid of the preprocessing minimization step in MUC-finding algorithms. Constraints An Int. J. 20 (4) (2015)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
Enforcing Solutions in Constraint Networks. ECAI (2014)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
An Experimentally Efficient Method for (MSS, CoMSS) Partitioning. AAAI (2014)
Éric Grégoire
Any-time knowledge revision. IRI (2014)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
Multiple Contraction through Partial-Max-SAT. ICTAI (2014)
Mohammad Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs
About Some UP-Based Polynomial Fragments of SAT. ISAIM (2014)
Éric Grégoire
Knowledge Preemption and Defeasible Rules. KSEM (2014)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
Boosting MUC extraction in unsatisfiable constraint networks. Appl. Intell. 41 (4) (2014)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
A General Artificial Intelligence Approach for Skeptical Reasoning. AGI (2014)
Balasim Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT. ICTAI (2014)
Éric Grégoire
About Handling Non-conflicting Additional Information. IRI (best papers) (2013)
Philippe Besnard, Éric Grégoire
Handling Incoming Beliefs. KSEM (2013)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
Preserving Partial Solutions While Relaxing Constraint Networks. IJCAI (2013)
Philippe Besnard, Éric Grégoire, Sébastien Ramon
Overriding subsuming rules. Int. J. Approx. Reason. 54 (4) (2013)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
Improving MUC extraction thanks to local search. CoRR (2013)
Éric Grégoire
About logic-based A.I. systems that must handle incoming symbolic knowledge. IRI (2013)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms. ICTAI (2013)
Philippe Besnard, Éric Grégoire, Badran Raddaoui
A Conditional Logic-Based Argumentation Framework. SUM (2013)
Éric Grégoire, Atef Hasni, Bertrand Mazure, Cédric Piette
Solving E-Squaro through SAT-Coding. ICTAI (2013)
Éric Grégoire
Change Your Belief about Belief Change. ICTAI (2013)
Philippe Besnard, Éric Grégoire, Badran Raddaoui
An Argumentation Framework for Reasoning about Bounded Resources. ICTAI (2012)
Éric Grégoire, Sébastien Ramon
Disabling Subsumptions in a Logic-Based Component. SEKE (2012)
Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui
Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants. Rev. d'Intelligence Artif. 26 (3) (2012)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
Relax! ICTAI (2012)
Philippe Besnard, Éric Grégoire, Sébastien Ramon
Logic-based fusion of legal knowledge. FUSION (2012)
Dominique D'Almeida, Éric Grégoire
Model-based diagnosis with default information implemented through MAX-SAT technology. IRI (2012)
Philippe Besnard, Éric Grégoire, Sébastien Ramon
Preemption Operators. ECAI (2012)
Du Zhang, Éric Grégoire
The Landscape of Inconsistency: a Perspective. Int. J. Semantic Comput. 5 (3) (2011)
Philippe Besnard, Éric Grégoire, Sébastien Ramon
Overriding Subsuming Rules. ECSQARU (2011)
Éric Grégoire, Du Zhang
A Framework for Handling Logical Inconsistencies in the Fusion of Boolean Knowledge Bases. Int. J. Semantic Comput. 5 (3) (2011)
Philippe Besnard, Éric Grégoire, Sébastien Ramon
Enforcing Logically Weaker Knowledge in Classical Logic. KSEM (2011)
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
A CSP Solver Focusing on fac Variables. CP (2011)
Éric Grégoire
Foreword. Int. J. Artif. Intell. Tools 20 (4) (2011)
Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui
MUS-based generation of arguments and counter-arguments. IRI (2010)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Does This Set of Clauses Overlap with at Least One MUS? CADE (2009)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Using local search to find MSSes and MUSes. Eur. J. Oper. Res. 199 (3) (2009)
Philippe Besnard, Éric Grégoire, Sébastien Ramon
A Default Logic Patch for Default Logic. ECSQARU (2009)
Éric Grégoire, Bertrand Mazure, Lakhdar Sais
Local Autarkies Searching for the Dynamic Partition of CNF Formulae. ICTAI (2009)
Philippe Besnard, Éric Grégoire
About Agents that Reason by Case (Preliminary Report). IRI (2009)
Éric Grégoire
Using default logic to enhance default logic: preliminary report. IRI (2008)
Éric Grégoire, Bertrand Mazure, Cédric Piette
On Finding Minimally Unsatisfiable Cores of CSPS. Int. J. Artif. Intell. Tools 17 (4) (2008)
Éric Grégoire, Bertrand Mazure, Cédric Piette
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses. ICTAI (1) (2008)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Extraction d'ensembles minimaux incohérents basée sur la recherche locale. Rev. d'Intelligence Artif. 22 (2) (2008)
Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
Reducing hard SAT instances to polynomial ones. IRI (2007)
Éric Grégoire
Knowledge Refinement Through Revision. IRI (2007)
Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
Eliminating Redundant Clauses in SAT Instances. CPAIOR (2007)
Éric Grégoire, Bertrand Mazure, Cédric Piette
MUST: Provide a Finer-Grained Explanation of Unsatisfiability. CP (2007)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Local-search Extraction of MUSes. Constraints An Int. J. 12 (3) (2007)
É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)
É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)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Tracking MUSes and Strict Inconsistent Covers. FMCAD (2006)
Éric Grégoire
An unbiased approach to iterated fusion by weakening. Inf. Fusion 7 (1) (2006)
Sébastien Konieczny, Éric Grégoire
Logic-based approaches to information fusion. Inf. Fusion 7 (1) (2006)
Éric Grégoire, Bertrand Mazure, Cédric Piette
Extracting MUSes. ECAI (2006)
Éric Grégoire, Du Zhang
A Framework for Fusing Consistent Knowledge Bases Automatically. SEKE (2006)
Éric Grégoire, Sébastien Konieczny
Logic-based approaches to information fusion. Inf. Fusion 7 (1) (2006)
Éric Grégoire
About the dynamics of iterated knowledge fusion by weakening. IRI (2005)
Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais
Automatic Extraction of Functional Dependencies. SAT (Selected Papers (2004)
Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais
Automatic Extraction of Functional Dependencies. SAT (2004)
Éric Grégoire
Fusing Legal Knowledge. IRI (2004)
Éric Grégoire
Fusing Cooperative Technical-Specification Knowledge Components. Int. J. Artif. Intell. Tools 12 (3) (2003)
Éric Grégoire
Semaphores for the neutral handling of conflicting information in an iterated knowledge fusion process. IRI (2003)
Éric Grégoire
About the Fusion of Legal Knowledge with Exceptions. ICAIL (2003)
Éric Grégoire
About the Use of Semaphores to Handle Contradictory Knowledge Sources. ICTAI (2003)
Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, Éric Grégoire
Eliminating Redundancies in SAT Search Trees. ICTAI (2003)
Éric Grégoire
Fusing Cooperative Technical-Specification Knowledge Components. ICTAI (2002)
Abdel-Illah Mouaddib, Éric Grégoire, Jean-François Dauchez
An Intelligent System Combining Different Resource-Bounded Reasoning Techniques. Appl. Intell. 17 (2) (2002)
Éric Grégoire, Bertrand Mazure
About the incremental validation of first-order stratified knowledge-based decision-support systems. Inf. Sci. 142 (1-4) (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)
Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
Recovering and Exploiting Structural Knowledge from CNF Formulas. CP (2002)
Laure Brisoux, Éric Grégoire, Lakhdar Sais
Checking depth-limited consistency and inconsistency in knowledge-based systems. Int. J. Intell. Syst. 16 (3) (2001)
Éric Grégoire, Ahcène Sofiane
Fusing syntax and semantics in knowledge fusion. EUSFLAT Conf. (2001)
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, Jan Vanthienen, Anca I. Vermesan, Nirmalie Wiratunga
Validation and verification of knowledge-based systems: report on EUROVAV99. Knowl. Eng. Rev. 15 (2) (2000)
Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire
A CSP Abstraction Framework. SARA (2000)
Éric Grégoire, David Ansart
Validation of first-order stratified KBs. KES (2000)
Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire
A CSP Abstraction Framework. SARA (2000)
Éric Grégoire, David Ansart
Overcoming the Christmas Tree Syndrome. Int. J. Artif. Intell. Tools 9 (1) (2000)
Éric Grégoire
Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases. ESCQARU (1999)
Éric Grégoire
Progressive Instantiation for the Logical Validation of Nonmonotonic KBs. EUROVAV (1999)
Éric Grégoire
Overcoming the Christmas Tree Syndrome. ICTAI (1999)
Laure Brisoux, Éric Grégoire, Lakhdar Sais
Improving Backtrack Search for SAT by Means of Redundancy. ISMIS (1999)

Éric Grégoire.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Éric Grégoire