Éric Grégoire

122 papers A* 7A 11B 19C 12Misc 17Journal 33Unranked 21

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Explainable Artificial Intelligence Approach Using Low-Dimensional Visualization and Ensembling Uncertainty Quantification for Rare Chromosomal Aberration Detection in Cytogenetic Imaging. IPTA Antonin Deschemps, Éric Grégoire, Juan S. Martinez, Aurélie Vaurijoux, Pascale Fernandez, Delphine Dugue, Emmanuel Moebel, Gaëtan Gruel, Mohamed Amine Benadjaoud, Charles Kervrann
2018	A*	`conf`	Boosting MCSes Enumeration. IJCAI Éric Grégoire, Yacine Izza, Jean-Marie Lagniez
2018	J	`jnl`	Consensus-finding that preserves mutually conflicting hypothetical information from a same agent. AI Commun. Éric Grégoire, Jean-Marie Lagniez, Du Zhang
2018	B	`ed.`	IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI 2018, 5-7 November 2018, Volos, Greece. ICTAI Lefteri H. Tsoukalas, Éric Grégoire, Miltiadis Alamaniotis
2018	J	`jnl`	On Admissible Consensuses. Int. J. Artif. Intell. Tools Éric Grégoire, Yacine Izza, Du Zhang
2018	J	`jnl`	Preface. Int. J. Artif. Intell. Tools Éric Grégoire, Jean-Marie Lagniez, Du Zhang
2017	J	`jnl`	About some UP-based polynomial fragments of SAT. Ann. Math. Artif. Intell. Balasim Al-Saedi, Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs
2017	B	`conf`	On Computing One Max_Subset Inclusion Consensus. ICTAI Éric Grégoire, Yacine Izza, Jean-Marie Lagniez
2016	A	`conf`	A Computational Approach to Consensus-Finding. ECAI Éric Grégoire, Jean-Marie Lagniez
2016	J	`jnl`	A Computational Method for Enforcing Knowledge that Cannot be Subsumed. Int. J. Artif. Intell. Tools Éric Grégoire, Jean-Marie Lagniez
2016	—	`conf`	Learning through Overcoming Inconsistencies. DEXA Workshops Du Zhang, Éric Grégoire
2016	—	`conf`	Logical consensuses for case-based reasoning and for mathematical engineering of AI. ICCI*CC Éric Grégoire, Jean-Marie Lagniez, Du Zhang
2016	—	`conf`	On Computing Non-hypocritical Consensuses in Standard Logic. DEXA Workshops Éric Grégoire, Jean-Marie Lagniez, Du Zhang
2016	A*	`conf`	On Consensus Extraction. IJCAI Éric Grégoire, Sébastien Konieczny, Jean-Marie Lagniez
2016	A*	`conf`	On the Extraction of One Maximal Information Subset That Does Not Conflict with Multiple Contexts. AAAI Éric Grégoire, Yacine Izza, Jean-Marie Lagniez
2016	J	`jnl`	RCL: An A. I. Tool for Computing Maximal Consensuses. Int. J. Artif. Intell. Tools Éric Grégoire, Jean-Marie Lagniez
2015	—	`ch.`	Any-Time Knowledge Revision and Inconsistency Handling. Formalisms for Reuse and Systems Integration Éric Grégoire
2015	J	`jnl`	Introduction to the special issue on CSP technologies in artificial intelligence. Constraints An Int. J. Éric Grégoire, Bertrand Mazure
2015	B	`conf`	On Anti-subsumptive Knowledge Enforcement. LPAR Éric Grégoire, Jean-Marie Lagniez
2015	A*	`conf`	On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts. AAAI Philippe Besnard, Éric Grégoire, Jean-Marie Lagniez
2015	Misc	`conf`	On Extracting Arguments in Favor of One Given Conclusion. IRI Éric Grégoire
2015	J	`jnl`	On getting rid of the preprocessing minimization step in MUC-finding algorithms. Constraints An Int. J. Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2015	J	`jnl`	Un système argumentatif pour le raisonnement sur des ressources limitées. Rev. d'Intelligence Artif. Philippe Besnard, Éric Grégoire, Badran Raddaoui
2014	—	`conf`	A General Artificial Intelligence Approach for Skeptical Reasoning. AGI Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2014	Misc	`conf`	About Some UP-Based Polynomial Fragments of SAT. ISAIM Mohammad Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs
2014	A*	`conf`	An Experimentally Efficient Method for (MSS, CoMSS) Partitioning. AAAI Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2014	Misc	`conf`	Any-time knowledge revision. IRI Éric Grégoire
2014	J	`jnl`	Boosting MUC extraction in unsatisfiable constraint networks. Appl. Intell. Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2014	A	`conf`	Enforcing Solutions in Constraint Networks. ECAI Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2014	B	`conf`	Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT. ICTAI Balasim Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
2014	C	`conf`	Knowledge Preemption and Defeasible Rules. KSEM Éric Grégoire
2014	B	`conf`	Multiple Contraction through Partial-Max-SAT. ICTAI Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2013	—	`conf`	A Conditional Logic-Based Argumentation Framework. SUM Philippe Besnard, Éric Grégoire, Badran Raddaoui
2013	—	`conf`	About Handling Non-conflicting Additional Information. IRI (best papers) Éric Grégoire
2013	Misc	`conf`	About logic-based A.I. systems that must handle incoming symbolic knowledge. IRI Éric Grégoire
2013	B	`conf`	Change Your Belief about Belief Change. ICTAI Éric Grégoire
2013	C	`conf`	Handling Incoming Beliefs. KSEM Philippe Besnard, Éric Grégoire
2013	J	`jnl`	Improving MUC extraction thanks to local search. CoRR Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2013	J	`jnl`	Overriding subsuming rules. Int. J. Approx. Reason. Philippe Besnard, Éric Grégoire, Sébastien Ramon
2013	A*	`conf`	Preserving Partial Solutions While Relaxing Constraint Networks. IJCAI Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2013	B	`conf`	Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms. ICTAI Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2013	B	`conf`	Solving E-Squaro through SAT-Coding. ICTAI Éric Grégoire, Atef Hasni, Bertrand Mazure, Cédric Piette
2012	B	`conf`	An Argumentation Framework for Reasoning about Bounded Resources. ICTAI Philippe Besnard, Éric Grégoire, Badran Raddaoui
2012	J	`jnl`	Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants. Rev. d'Intelligence Artif. Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui
2012	C	`conf`	Disabling Subsumptions in a Logic-Based Component. SEKE Éric Grégoire, Sébastien Ramon
2012	C	`conf`	Logic-based fusion of legal knowledge. FUSION Philippe Besnard, Éric Grégoire, Sébastien Ramon
2012	Misc	`conf`	Model-based diagnosis with default information implemented through MAX-SAT technology. IRI Dominique D'Almeida, Éric Grégoire
2012	A	`conf`	Preemption Operators. ECAI Philippe Besnard, Éric Grégoire, Sébastien Ramon
2012	B	`conf`	Relax! ICTAI Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2011	A	`conf`	A CSP Solver Focusing on fac Variables. CP Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2011	J	`jnl`	A Framework for Handling Logical Inconsistencies in the Fusion of Boolean Knowledge Bases. Int. J. Semantic Comput. Éric Grégoire, Du Zhang
2011	C	`conf`	Enforcing Logically Weaker Knowledge in Classical Logic. KSEM Philippe Besnard, Éric Grégoire, Sébastien Ramon
2011	J	`jnl`	Foreword. Int. J. Artif. Intell. Tools Éric Grégoire
2011	C	`conf`	Overriding Subsuming Rules. ECSQARU Philippe Besnard, Éric Grégoire, Sébastien Ramon
2011	J	`jnl`	The Landscape of Inconsistency: a Perspective. Int. J. Semantic Comput. Du Zhang, Éric Grégoire
2010	Misc	`conf`	MUS-based generation of arguments and counter-arguments. IRI Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui
2009	C	`conf`	A Default Logic Patch for Default Logic. ECSQARU Philippe Besnard, Éric Grégoire, Sébastien Ramon
2009	Misc	`conf`	About Agents that Reason by Case (Preliminary Report). IRI Philippe Besnard, Éric Grégoire
2009	A	`conf`	Does This Set of Clauses Overlap with at Least One MUS? CADE Éric Grégoire, Bertrand Mazure, Cédric Piette
2009	B	`conf`	Local Autarkies Searching for the Dynamic Partition of CNF Formulae. ICTAI Éric Grégoire, Bertrand Mazure, Lakhdar Sais
2009	J	`jnl`	Using local search to find MSSes and MUSes. Eur. J. Oper. Res. Éric Grégoire, Bertrand Mazure, Cédric Piette
2008	J	`jnl`	Extraction d'ensembles minimaux incohérents basée sur la recherche locale. Rev. d'Intelligence Artif. Éric Grégoire, Bertrand Mazure, Cédric Piette
2008	—	`conf`	On Approaches to Explaining Infeasibility of Sets of Boolean Clauses. ICTAI (1) Éric Grégoire, Bertrand Mazure, Cédric Piette
2008	J	`jnl`	On Finding Minimally Unsatisfiable Cores of CSPS. Int. J. Artif. Intell. Tools Éric Grégoire, Bertrand Mazure, Cédric Piette
2008	Misc	`conf`	Using default logic to enhance default logic: preliminary report. IRI Éric Grégoire
2007	A*	`conf`	Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle. IJCAI Éric Grégoire, Bertrand Mazure, Cédric Piette
2007	B	`conf`	Eliminating Redundant Clauses in SAT Instances. CPAIOR Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
2007	Misc	`conf`	Knowledge Refinement Through Revision. IRI Éric Grégoire
2007	J	`jnl`	Local-search Extraction of MUSes. Constraints An Int. J. Éric Grégoire, Bertrand Mazure, Cédric Piette
2007	A	`conf`	MUST: Provide a Finer-Grained Explanation of Unsatisfiability. CP Éric Grégoire, Bertrand Mazure, Cédric Piette
2007	Misc	`conf`	Reducing hard SAT instances to polynomial ones. IRI Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
2006	C	`conf`	A Framework for Fusing Consistent Knowledge Bases Automatically. SEKE Éric Grégoire, Du Zhang
2006	Misc	`conf`	A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs. IRI Éric Grégoire, Bertrand Mazure, Cédric Piette, Lakhdar Sais
2006	J	`jnl`	An unbiased approach to iterated fusion by weakening. Inf. Fusion Éric Grégoire
2006	A	`conf`	Extracting MUSes. ECAI Éric Grégoire, Bertrand Mazure, Cédric Piette
2006	J	`jnl`	Logic-based approaches to information fusion. Inf. Fusion Éric Grégoire, Sébastien Konieczny
2006	J	`jnl`	Logic-based approaches to information fusion. Inf. Fusion Sébastien Konieczny, Éric Grégoire
2006	B	`conf`	Tracking MUSes and Strict Inconsistent Covers. FMCAD Éric Grégoire, Bertrand Mazure, Cédric Piette
2005	Misc	`conf`	About the dynamics of iterated knowledge fusion by weakening. IRI Éric Grégoire
2004	A	`conf`	Automatic Extraction of Functional Dependencies. SAT Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais
2004	—	`conf`	Automatic Extraction of Functional Dependencies. SAT (Selected Papers Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais
2004	Misc	`conf`	Fusing Legal Knowledge. IRI Éric Grégoire
2004	Misc	`ed.`	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 IRI Du Zhang, Éric Grégoire, Doug DeGroot
2003	C	`conf`	About the Fusion of Legal Knowledge with Exceptions. ICAIL Éric Grégoire
2003	B	`conf`	About the Use of Semaphores to Handle Contradictory Knowledge Sources. ICTAI Éric Grégoire
2003	B	`conf`	Eliminating Redundancies in SAT Search Trees. ICTAI Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, Éric Grégoire
2003	J	`jnl`	Fusing Cooperative Technical-Specification Knowledge Components. Int. J. Artif. Intell. Tools Éric Grégoire
2003	Misc	`conf`	Semaphores for the neutral handling of conflicting information in an iterated knowledge fusion process. IRI Éric Grégoire
2002	J	`jnl`	About the incremental validation of first-order stratified knowledge-based decision-support systems. Inf. Sci. Éric Grégoire, Bertrand Mazure
2002	J	`jnl`	An Intelligent System Combining Different Resource-Bounded Reasoning Techniques. Appl. Intell. Abdel-Illah Mouaddib, Éric Grégoire, Jean-François Dauchez
2002	B	`conf`	Fusing Cooperative Technical-Specification Knowledge Components. ICTAI Éric Grégoire
2002	A	`conf`	Recovering and Exploiting Structural Knowledge from CNF Formulas. CP Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
2002	Misc	`conf`	Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently. AIMSA Éric Grégoire, Bertrand Mazure, Lakhdar Sais
2001	J	`jnl`	Checking depth-limited consistency and inconsistency in knowledge-based systems. Int. J. Intell. Syst. Laure Brisoux, Éric Grégoire, Lakhdar Sais
2001	—	`conf`	Fusing syntax and semantics in knowledge fusion. EUSFLAT Conf. Éric Grégoire, Ahcène Sofiane
2000	—	`conf`	A CSP Abstraction Framework. SARA Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire
2000	—	`conf`	A CSP Abstraction Framework. SARA Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire
2000	J	`jnl`	Overcoming the Christmas Tree Syndrome. Int. J. Artif. Intell. Tools Éric Grégoire, David Ansart
2000	J	`jnl`	Validation and verification of knowledge-based systems: report on EUROVAV99. Knowl. Eng. Rev. 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
2000	B	`conf`	Validation of first-order stratified KBs. KES Éric Grégoire, David Ansart
1999	—	`conf`	Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases. ESCQARU Éric Grégoire
1999	C	`conf`	Improving Backtrack Search for SAT by Means of Redundancy. ISMIS Laure Brisoux, Éric Grégoire, Lakhdar Sais
1999	B	`conf`	Overcoming the Christmas Tree Syndrome. ICTAI Éric Grégoire
1999	—	`conf`	Progressive Instantiation for the Logical Validation of Nonmonotonic KBs. EUROVAV Éric Grégoire
1998	J	`jnl`	Boosting Complete Techniques Thanks to Local Search Methods. Ann. Math. Artif. Intell. Bertrand Mazure, Lakhdar Sais, Éric Grégoire
1998	Misc	`conf`	Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. AIMSA Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais
1998	A	`conf`	System Description: CRIL Platform for SAT. CADE Bertrand Mazure, Lakhdar Sais, Éric Grégoire
1998	—	`conf`	Validation of Knowledge-Based Systems by Means of Stochastic Search. DEXA Workshop Laure Brisoux, Éric Grégoire, Lakhdar Sais
1997	J	`jnl`	An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases. Int. J. Cooperative Inf. Syst. Bertrand Mazure, Lakhdar Sais, Éric Grégoire
1997	—	`conf`	Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases. ECSQARU-FAPR Bertrand Mazure, Lakhdar Sais, Éric Grégoire
1997	—	`conf`	Local Search for Computing Normal Circumstances Models. Fuzzy Days Bertrand Mazure, Lakhdar Sais, Éric Grégoire
1997	—	`conf`	Tabu Search for SAT. AAAI/IAAI Bertrand Mazure, Lakhdar Sais, Éric Grégoire
1997	—	`conf`	Tractable Cover Compilations. IJCAI (1) Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais
1996	J	`jnl`	Novelty in Deductive Databases. J. Log. Comput. Éric Grégoire, Pierre Marquis
1992	B	`conf`	About Deductive Generalization. JELIA Philippe Besnard, Éric Grégoire
1991	—	`conf`	Deductive Generalization in a Default Logic Setting. Nonmonotonic and Inductive Logic Philippe Besnard, Éric Grégoire
1991	C	`conf`	Formalizing Pertinence Links in Inheritance Reasoning: Preliminary Report. ECSQARU Éric Grégoire
1990	C	`conf`	About the Logical Interpretation of Ambiguous Inheritance Hierarchies. IPMU Éric Grégoire
1990	—	`book`	Logiques non monotones et intelligence artificielle. Éric Grégoire
1990	A	`conf`	Skeptical Inheritance Can Be More Expressive. ECAI Éric Grégoire
1989	—	`conf`	Reducing Inheritance Theories to Default Logic and Logic Programs. SCAI Éric Grégoire
1988	J	`jnl`	Evaluation of the expert system tools KEE and ART: a Case Study. Appl. Artif. Intell. Éric Grégoire