Publications

International journals

2018 Éric Grégoire, Yacine Izza, Du Zhang, On Admissible Consensuses in International Journal on Artificial Intelligence Tools (IJAIT),vol. 27, n° 1, pp. 1-20, 2018.

2018 Éric Grégoire, Jean-Marie Lagniez, Du Zhang, Consensus-finding that preserves mutually conflicting hypothetical information from a same agent in AI Communications,vol. 31, n° 3, pp. 303-317, 2018.

2017 Balasim Al-Saedi, Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, About some UP-based polynomial fragments of SAT in Annals of Mathematics and Artificial Intelligence (AMAI),vol. 79, n° 1, pp. 25-44, 2017.

2016 Éric Grégoire, Jean-Marie Lagniez, RCL: An A. I. Tool for Computing Maximal Consensuses in International Journal on Artificial Intelligence Tools (IJAIT),vol. 25, n° 4, pp. 1-10, 2016.

2016 Éric Grégoire, Jean-Marie Lagniez, A Computational Method for Enforcing Knowledge that Cannot be Subsumed in International Journal on Artificial Intelligence Tools (IJAIT),vol. 25, n° 4, pp. 1-19, 2016.

2015 Éric Grégoire, Bertrand Mazure, Introduction to the special issue on CSP technologies in artificial intelligence in Constraints,vol. 20, pp. 381-382, 2015.

2015 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, On getting rid of the preprocessing minimization step in MUC-finding algorithms in Constraints,vol. 20, pp. 414-432, 2015.

2014 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Boosting MUC extraction in unsatisfiable constraint networks in Applied Intelligence,vol. 41, n° 4, pp. 1012-1023, 2014.

2011 Éric Grégoire, Du Zhang, A Framework for handling logical inconsistencies in the fusion of boolean knowledge bases in International Journal of Semantic Computing (IJSC),vol. 5, n° 3, pp. 323-334, 2011.

2011 Du Zhang, Éric Grégoire, The landscape of inconsistency: a perspective in International Journal of Semantic Computing (IJSC),vol. 5, n° 3, pp. 235-256, 2011.

2009 Éric Grégoire, Bertrand Mazure, Cédric Piette, Using Local Search to Find \MSSes and MUSes in European Journal of Operational Research,vol. 199, n° 3, pp. 640-648, 2009.

2003 Éric Grégoire, Fusing Cooperative Technical-Specification Knowledge Components in Int. Journ. on Artificial Intelligence Tools ( IJAIT),vol. 12, n° 3, pp. 265-278, 2003.

2002 Éric Grégoire, Bertrand Mazure, About the incremental validation of first-order stratified knowledge-based decision-support systems in Information Sciences,vol. 142, pp. 117-129, 2002.

2002 Abdel-Illah Mouaddib, Éric Grégoire, J.-F. Dauchez, An Intelligent System Combining Different Resource-Bounded Reasoning Techniques in Journ. of Applied Intelligence,vol. 17, n° 2, pp. 127-140, 2002.

2001 Éric Grégoire, David Ansart, Overcoming the Christmas Tree Syndrome in Intl. Journ. for Artificial Intelligence Tools (IJAIT),vol. 9, n° 2, pp. 97-111, 2001.

2001 Laure Brisoux, Éric Grégoire, Lakhdar Saïs, Checking depth-limited consistency and inconsistency in knowledge-based systems in International Journal of Information Systems (IJIS),vol. 16, n° 3, pp. 333-360, 2001.

2000 Éric Grégoire, Lakhdar Saïs, Practical inconsistency management for critical-tasks decision-support systems in International Journal of General Systems,vol. 29, n° 1, pp. 123-140, 2000.

2000 F. Coenen, A. Vermesan, Éric Grégoire, Validation and Verification of Knowledge-Base Systems in The Knowledge Engineering Review,vol. 15, n° 2, pp. 187-196, 2000.

1998 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Boosting complete techniques thanks to local search in Annals of Mathematics and Artificial Intelligence,vol. 22, pp. 309-322, 1998.

1997 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, An efficient technique to ensure the logical consistency of cooperative agents in International Journal of Cooperative Information Systems,vol. 6, n° 1, pp. 27-36, 1997.

1996 Éric Grégoire, Pierre Marquis, Novelty in Deductive Databases in Journal of logic and computation,vol. 6, n° 5, pp. 683-708, 1996.

1993 Éric Grégoire, About the semantical role of non-monotonic logics in La Nuova Critica,vol. 22, n° 3, pp. 27-39, 1993.

1991 G. Brewka, Éric Grégoire, Issues on nonmonotonicity in J. of Applied Non-Classical Logics, Special Issue on Uncertainty, Conditionals and Nonmonotonicity,vol. 3, n° 1, pp. 267-310, 1991.

1991 M.R.B. Clarke, Éric Grégoire, J. of Applied Non-Classical Logics in Special Issue on Uncertainty, Conditionals and Nonmonotonicity,vol. 3, n° 1, 1991.

1988 Éric Grégoire, Evaluation of the expert system tools KEE and ART : a case study in Applied Artificial Intelligence-An International Journal,vol. 2, n° 1, pp. 1-23, 1988.

International conferences

2018 Éric Grégoire, Yacine Izza, Jean-Marie Lagniez, Boosting MCSes enumeration in 27th International Joint Conference on Artificial Intelligence (IJCAI’18),pp. 1309-1315, 2018.

2017 Éric Grégoire, Yacine Izza, Jean-Marie Lagniez, On Computing One Max_Subset Inclusion Consensus in 29th International Conference on Tools with Artificial Intelligence (ICTAI’17),IEEE, pp. 838 - 845, 2017.

2016 Éric Grégoire, Jean-Marie Lagniez, A Computational Approach to Consensus-Finding in 22nd European Conference on Artificial Intelligence (ECAI’16),IOS Press, pp. 795-801, 2016.

2016 Éric Grégoire, Jean-Marie Lagniez, Du Zhang, Logical consensuses for case-based reasoning and for mathematical engineering of AI in 15th IEEE International Conference on Cognitive Informatics & Cognitive Computing (ICCICC’16)*,IEEE, pp. 29-33, 2016.

2016 Éric Grégoire, Sébastien Konieczny, Jean-Marie Lagniez, On Consensus Extraction in 25th International Joint Conference on Artificial Intelligence (IJCAI’16),pp. 1095-1101, 2016.

2016 Éric Grégoire, Yacine Izza, Jean-Marie Lagniez, On the Extraction of One Maximal Information Subset That Does Not Conflict with Multiple Contexts in 30th AAAI Conference on Artificial Intelligence (AAAI’16),pp. 3404-3410, 2016.

2016 Du Zhang, Éric Grégoire, Learning through Overcoming Inconsistencies in 27th International Workshop on Database and Expert Systems Applications (DEXA’16),IEEE, pp. 121-128, 2016.

2016 Éric Grégoire, Jean-Marie Lagniez, Du Zhang, On Computing Non-hypocritical Consensuses in Standard Logic in 27th International Workshop on Database and Expert Systems Applications (DEXA’16),IEEE, pp. 97-101, 2016.

2015 Éric Grégoire, Jean-Marie Lagniez, On Anti-subsumptive Knowledge Enforcement in 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR’15),Springer Berlin Heidelberg, pp. 48-62, 2015.

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 in 29th AAAI Conference on Artificial Intelligence (AAAI’15),pp. 3710-3716, 2015.

2015 Éric Grégoire, On Extracting Arguments in Favor of One Given Conclusion in 16th International Conference on Information Reuse and Integration (IRI’15),IEEE, pp. 266 - 272, 2015.

2014 Mohammad Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Extensions and Variants of Dalal’s Quad Polynomial Fragments of SAT in 26th International Conference on Tools with Artificial Intelligence (ICTAI’14),pp. 446-452, 2014.

2014 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Multiple Contraction through Partial-Max-SAT in 26th International Conference on Tools with Artificial Intelligence (ICTAI’14),pp. 321-327, 2014.

2014 Éric Grégoire, Knowledge Preemption and Defeasible Rules in 7th International Conference on Knowledge Science, Engineering and Management (KSEM’14),Springer, pp. 13-24, 2014.

2014 Éric Grégoire, Any-time knowledge revision in 15th International Conference on Information Reuse and Information (IRI’14),IEEE, pp. 330 - 337, 2014.

2014 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Enforcing Solutions in Constraint Networks in 21st European Conference on Artificial Intelligence (ECAI’14),pp. 1017-1018, 2014.

2014 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, An Experimentally Efficient Method for (MSS, CoMSS) Partitioning in 28th Conference on Artificial Intelligence (AAAI’14),pp. 2666-2673, 2014.

2014 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, A General Artificial Intelligence Approach for Skeptical Reasoning in 7th Conference on Artificial General Intelligence (AGI’14),pp. 33-42, 2014.

2013 Éric Grégoire, Change Your Belief about Belief Change in 25th International Conference on Tools with Artificial Intelligence (ICTAI’13),IEEE, pp. 880, 2013.

2013 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Preserving Partial Solutions while Relaxing Constraint Networks in 23th International Joint Conference on Artificial Intelligence (IJCAI’13),pp. 552-558, 2013.

2013 Éric Grégoire, Atef Hasni, Cédric Piette, Bertrand Mazure, Solving E-SquarO through SAT-coding in 15th International Conference on Tools with Artificial Intelligence (ICTAI’13),IEEE Press, pp. 955-962, 2013.

2013 Éric Grégoire, About Handling Non-conflicting Additional Information in 14th IEEE International Conference on Information Reuse and Integration (IRI’13),Springer International Publishing, pp. 285-297, 2013.

2013 Éric Grégoire, About logic-based {A.I.} systems that must handle incoming symbolic knowledge in The 14th International IEEE Conference on Information Reuse and Integration (IEEE IRI’13),IEEE Computer Press, pp. 278-284, 2013.

2013 Philippe Besnard, Éric Grégoire, Badran Raddaoui, A Conditional Logic-Based Argumentation Framework in The 7th International Conference on Scalable Uncertainty Management (SUM’13),Springer, vol. 8078, pp. 55-56, 2013.

2013 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Questioning the Importance of WCORE-like Minimization Steps in MUC-finding Algorithms in 15th International Conference on Tools with Artificial Intelligence (ICTAI’13),IEEE Press, pp. 923-930, 2013.

2012 Philippe Besnard, Éric Grégoire, Badran Raddaoui, An Argumentation Framework for Reasoning about Bounded Resources in 24th International Conference on Tools with Artificial Intelligence (ICTAI’12),IEEE Computer Society, pp. 540-547, 2012.

2012 Philippe Besnard, Éric Grégoire, Sébastien Ramon, Logic-based Fusion of Legal Knowledge in 15th International Conference on Information Fusion (FUSION’12),IEEE Press, pp. 587-592, 2012.

2012 Éric Grégoire, Knowledge Engineering, Operational Research and AI: the Time to Meet in 24th International Conference on Software Engineering and Knowledge Engineering (SEKE’12),2012.

2012 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, A Data Structure Boosting The Performance of Local Search For CSP Solving in International Conference on Metaheuristics and Nature Inspired Computing (META’12),2012.

2012 Philippe Besnard, Éric Grégoire, Sébastien Ramon, Preemption Operators (ECAI 2012) in 20th European Conference on Artificial Intelligence (ECAI 2012),vol. 242 : ECAI 2012, pp. 893-894, 2012.

2012 Philippe Besnard, Éric Grégoire, Sébastien Ramon, Revising Subsuming Knowledge and Beliefs in International Workshop on Belief Revision and Argumentation,2012.

2012 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Relax! in 24th International Conference on Tools with Artificial Intelligence (ICTAI’12),pp. 146-153, 2012.

2012 Éric Grégoire, Sébastien Ramon, Disabling Subsumptions in a Logic-Based Component in 24th International Conference on Software Engineering and Knowledge Engineering (SEKE’12),pp. 243-248, 2012.

2012 Dominique Dalmeida, Éric Grégoire, Model-based Diagnosis with Default Information Implemented through Max-SAT Technology in 13th International Conference on Information Reuse and Integration (IRI’12),IEEE Computer Press, pp. 33-36, 2012.

2012 Philippe Besnard, Éric Grégoire, Sébastien Ramon, Preemption Operators (NMR 2012) in 14th International Workshop on Non-Monotonic Reasoning (NMR 2012),AAAI : Association for the Advancement of Artificial Intelligence, pp. 893-894, 2012.

2012 Dominique D’Almeida, Éric Grégoire, Model-based Diagnosis with Default Information Implemented through MAX-SAT Technology in 13th International Conference on Information Reuse and Integration (IRI’12),IEEE Computer Press, pp. 33-36, 2012.

2011 Philippe Besnard, Éric Grégoire, Sébastien Ramon, Enforcing Logically Weaker Knowledge in Classical Logic in 5th International Conference on Knowledge Science Engineering and Management (KSEM’11),Springer, vol. 7091, pp. 44-55, 2011.

2011 Philippe Besnard, Éric Grégoire, Sébastien Ramon, Overriding Subsuming Rules in 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’11),Springer, vol. 6717, pp. 532-544, 2011.

2011 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, A CSP solver focusing on FAC variables in 17th International Conference on Principles and Practice of Constraint Programming (CP’11),Springer, vol. 6876, pp. 493-507, 2011.

2010 Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui, MUS-Based Generation of Arguments and Counter-arguments in 11th IEEE International Conference on Information Reuse and Integration (IEEE IRI’10),pp. 239-244, 2010.

2009 Éric Grégoire, Bertrand Mazure, Cédric Piette, Does this set of clauses overlap with at least one MUS ? in 22nd International Conference on Automated Deduction (CADE 22),Springer, pp. 100-115, 2009.

2009 Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Local autarkies searching for the dynamic partition of CNF formulae in 21st International Conference on Tools with Artificial Intelligence (ICTAI’09),IEEE Computer Society, pp. 107-114, 2009.

2009 Philippe Besnard, Éric Grégoire, About agents that reason by case (preliminary report) in 10th International IEEE Conference on Information Reuse and Integration (IEEE IRI’09),pp. 405-410, 2009.

2009 Philippe Besnard, Éric Grégoire, Sébastien Ramon, A Default Logic Patch for Default Logic in 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’09),Springer, vol. 5590, pp. 578-589, 2009.

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, On Approaches to Explaining Infeasibility of Sets of Boolean Clauses in 20th International Conference on Tools with Artificial Intelligence (ICTAI’08),pp. 74-83, 2008.

2008 Éric Grégoire, Using default logic to enhance default logic: preliminary report in the IEEE IRI’08 conference(IEEE IRI’08),IEEE Press, pp. 336-340, 2008.

2005 Éric Grégoire, Logical traps in high-level knowledge and information fusion in NATO RTO IST-55 Specialist Meeting Conference on Information Fusion for Command Support,2005.

2004 Éric Grégoire, Fusing Legal Knowledge in Proceedings of the 2004 IEEE INt. Conf. on Information Reuse and Integration (IEEE-IRI’2004),pp. 522-529, 2004.

2004 Éric Grégoire, Extension of a distance-based fusion framework in Proceedings of the 8th International Conference on Sensor Fusion : Architectures, Algorithms and Applications,pp. 282-286, 2004.

2003 Éric Grégoire, About the fusion of legal knowledge with exceptions in Proc. of the 9th Int. ACM Conf. on Artificial Intelligence and Law,pp. 91-92, 2003.

2003 Éric Grégoire, Semaphores for the neutral handling of conflicting information in an iterated knowledge fusion process in Proc. of the 2003 IEEE Int. Conf. on Information Reuse and Integration (IRI’2003),IEEE Computer Press, pp. 137-143, 2003.

2003 Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Eliminating redundancies in SAT search trees in Proc. of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI’2003),pp. 100-104, 2003.

2003 Éric Grégoire, About the use of semaphores to handle contradictory knowledge sources in Proc. of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI’2003),pp. 213-218, 2003.

2003 Stéphane Cardon, Éric Grégoire, Designing and Computing Factored Markov Decision Processes in Proc. of Computational Engineering in Systems Applications (CESA’2003),IEEE Computer Press, 2003.

2002 Éric Grégoire, Fusing diagnosis knowledge components in Proc. of the 6th Int. Conf. on Sensor Fusion : Architecture, Algorithms and Applications,pp. 32-39, 2002.

2002 Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Using failed local search for SAT as an oracle for tackling harder A.I. problems more efficiently in Proc. of the Tenth International Conference on Artificial Intelligence : Methodology, Systems, Applications (AIMSA’2002),LNCS 2443, Springer Verlag, pp. 51-60, 2002.

2002 Éric Grégoire, About the fusion of technical specification knowledge components in Computational Intelligent Systems for Applied Research (Proc. of the 5th Int. FLINS Conference) FLINS’2002,World Scientific Publ., pp. 179-188, 2002.

2002 Éric Grégoire, Syntax and semantics in knowledge fusion : a mixed approach in Proc. of the 6th Int. Conf. on Sensor Fusion : Architectures, Algorithms and Applications,pp. 60-64, 2002.

2002 Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Recovering and exploiting structural knowledge from CNF formulas in Proc. of the Eighth International Conference on Principles and Practice of Constraint Programming (CP’2002),LNCS 2470, Springer Verlag, pp. 185-199, 2002.

2001 Éric Grégoire, Generalization v. (Induction v. Abduction) in Proc. of the Int. Conf. on Artificial Intelligence (IC-CAI’2001),vol. 2, pp. 868-873, 2001.

2001 Éric Grégoire, Fusing nonmonotonic knowledge: preliminary results in Proc. of the Atlantic Symp. on Computational Biology and Genome Information Systems & Technology (CBGIST-2001),pp. 143-148, 2001.

2001 Éric Grégoire, Fusion and the closed-world assumption in Proc. of the Fifth Intl. Conf. on Sensor Fusion: Architectures, Algorithms and Applications,pp. 197-204, 2001.

2001 Éric Grégoire, Ahcène Sofiane, Fusing syntax and semantics in knowledge fusion in Proc. of the Eusflat Conference (Eusflat’2001),pp. 414-147, 2001.

2000 Éric Grégoire, Lakhdar Saïs, Modelling and checking complex discrete critical systems in Proceedings of the International Conference on Modelling and Simulation - MS’00,pp. 233-240, 2000.

2000 Éric Grégoire, David Ansart, The detection of the main failure in complex critical systems in Discrete Event Systems : Analysis and Control (Proc. of the Fifth Workshop on Discrete Event Systems (WODES-2000)),Kluwer Academic Publishers, pp. 363-370, 2000.

2000 Éric Grégoire, Checking Nonmonotonic Knowledge-Bases in Proc. of the 10th Intl. Conf. on Computing and Information (ICCI-2000),pp. 18-21, 2000.

2000 Éric Grégoire, Using local search to validate knowledge-based systems in Knowledge-Based Software Engineering (Proc. of the Fourth Joint Conf. on Knowledge-Based Software Engineering (JCKBSE-00)),IOS Press, pp. 163-168, 2000.

2000 Éric Grégoire, David Ansart, Validation of First-Order Stratified KBs in Proc. of the Fourth Intl. Conf. on Knowledge-Based Intelligent Engineering Systems & Allied Technologies (KES-2000),IEEE Computer Press, pp. 145-149, 2000.

1999 Éric Grégoire, Handling inconsistency efficiently in the incremental construction of stratified belief bases in Proc. of the Fifth European Conf. on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU-99),LNCS 1638, Springer Verlag, pp. 168-178, 1999.

1999 Frédéric Boussemart, Christophe Lecoutre, Sylvain Merchez, Éric Grégoire, Fuzzy Hierarchies in International Workshop on Modelling and Solving Soft Constraint Problems, held with CP’09 (Soft’99),1999.

1999 Éric Grégoire, Progressive instantiation for the logical validation of nonmonotonic KBs in Proc. of the Fifht European Symp. on Verification and Validation of Knowledge Based Systems and Components,1999.

1999 Laure Brisoux, Éric Grégoire, Lakhdar Saïs, Improving backtrack search for SAT by means of redundancy in Proceedings of the 11th International Symposium on Methodologies for Intelligent Systems - ISMIS’99,LNCS 1609, Springer Verlag, pp. 301-309, 1999.

1998 Laure Brisoux, Lakhdar Saïs, Éric Grégoire, Validation of knowledge-based systems by means of stochastic search in Proceedings of the DEXA Workshop on Verification, Validation and Integrity Issues in Expert and Database Systems,IEEE Computer Press, pp. 41-46, 1998.

1998 Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Saïs, Combining nonmonotonic reasoning and belief revision: a practical approach in Proc. 8th Intl. Conf. on Artificial Intelligence Methodology, Systems, Applications (AIMSA-98),LNCS 1480, Springer Verlag, pp. 115-128, 1998.

1998 Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Logically-complete local search for propositional nonmonotonic knowledge bases in Proc. of the 7th Intl. Workshop on Nonmonotonic Reasoning (NMR-98),pp. 37-45, 1998.

1998 Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Saïs, Syntax-based belief revision through local search in Proceedings of the International Workshop on Belief Revision,1998.

1998 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, System Description: CRIL Platform for SAT in Proc. of the 15th Intl. Conf. on Automated Deduction (CADE-15),LNCS 1421, Springer Verlag, pp. 124-128, 1998.

1997 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases in Proceedings International Joint Conference on Qualitative and Quantitative Practical Reasoning,LNAI 1244, Springer Verlag, pp. 122-130, 1997.

1997 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Tabu Search for SAT in Proc. of the 14th Nat. Conf. on Artificial Intelligence (AAAI-97),pp. 281-285, 1997.

1997 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, A comparison of two approaches to inconsistency detecting in Proceedigns of the European Symposium on Intelligent Techniques (ESIT’97),1997.

1997 J.-F. Dauchez, Abdel-Illah Mouaddib, Éric Grégoire, Primes: progressive reasoning and intelligent multiple methods systems in Proc. of the AAAI-97 Workshop on Building Resource-Bounded Reasoning Systems,AAAI Press, pp. 29-36, 1997.

1997 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Local search for computing normal circumstances models in Proceedings oh the International Conference on Computational Intelligence (ICCI’97),LNCS 1226, Springer Verlag, pp. 55-56, 1997.

1997 Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Saïs, Tractable cover compilations in Proc. of the 15th Intl. Joint Conf. on Artificial Intelligence (IJCAI-97),pp. 122-127, 1997.

1996 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Detecting Logical Inconsistencies in Proc. AI and Maths Symposium,pp. 116-121, 1996.

1996 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, A Powerful Heuristic to Locate Inconsistent Kernels in Knowledge-Based Systems in Proc. Int. Conf. on Inform. Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-96),pp. 1265-1269, 1996.

1996 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, SUN : a Multistrategy Platform for SAT in Proc. First Int. Competition and Symposium on Satisfiability Testing,1996.

1996 Éric Grégoire, Lakhdar Saïs, Inductive Reasoning is Sometimes Deductive in Proceedings of the ECAI-96 Workshop on Abductive and Inductive Reasoning,pp. 36-39, 1996.

1995 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, TWSAT : a new local search algorithm for SAT : performance and analysis in Proc. CP-Workshop on Solving Really Hard Problems,pp. 127-130, 1995.

1993 Philippe Besnard, Éric Grégoire, Deductive generalization in a default logic setting in Proc. of the Second Int. workshop on Nonmonotonic and Inductive Logics,LNCS 659, Springer Verlag, pp. 141-152, 1993.

1992 Philippe Besnard, Éric Grégoire, About deductive generalization in Logic in AI (Proc. of the European Workshop JELIA-92),LNCS 633, Springer Verlag, pp. 212-231, 1992.

1991 Philippe Besnard, Éric Grégoire, From extended proof-systems to preferential models : a two cases study in non-monotonic logics in From the Complexity to the Emergence of Meaning (Int. Congress),1991.

1991 Éric Grégoire, Formalizing pertinence links in inheritance reasoning : prelimary report in Symbolic and Quantitative Approaches to Uncertainty (Proc. of the European Conf. ECSQAU),LNCS 548, Spirnger Verlag, pp. 190-197, 1991.

1990 Éric Grégoire, Skeptical inheritance can be more expressive in Proc. of the 9th European Conference on Artifical Intelligence (ECAI-90),pp. 326-332, 1990.

1990 Éric Grégoire, About the logical interpretation of inheritance hierarchies in Proc. of the 3rd Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-90),pp. 281-283, 1990.

1989 Éric Grégoire, Reducing inheritance theories to default logic and logic programs in Proc. of the Sec. Scandinavian Conference on Artificial Intelligence (SCAI-89),IOS Press, pp. 1064-1079, 1989.

1989 Éric Grégoire, About the relationship between a skeptical theory of inheritance in semantic networks and general nonmonotonic logics in American Association for Artifical Intelligence (AAAI) Workshop on Formal Aspects for Semantic Networks,pp. 15-17, 1989.

1989 Éric Grégoire, Skeptical theories of inheritance and nonmonotonic logics in Méthodologies for Intelligent Systems 4, Proc. on the Int. Symp. (ISMIS-89),pp. 430-438, 1989.

1989 Éric Grégoire, About the semantics of inheritance networks in Workshop on defeasible resoning with specify and multiple inheritance,1989.

1988 D. Dziergowski, Éric Grégoire, Formalizing software development methods in Proc. IEEE CompEuro-88,pp. 230-239, 1988.

1988 Éric Grégoire, Current issues on nonmonotonicity in Second Int. Workshop on Non-Standard Logics,1988.

1987 Éric Grégoire, Raisonnement structuré et système expert in Proc. Conf. L’accès Intelligent à l’Information,pp. 55-66, 1987.

1986 Éric Grégoire, Raisonnement plausible : inférence non monotone et logiques autoépistémiques in Proc. of the first Int. Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU),pp. 376-379, 1986.

National journals

2012 Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui, Calcul d’arguments et de contre-arguments fondé sur les noyaux inconsistants in Revue des Sciences et Technologies de l’Information - Série RIA : Revue d’Intelligence Artificielle,vol. 26, n° 3, pp. 209-224, 2012.

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, MUST et couvertures de MUST pour l’explication et la réparation de CSP in Revue I3 - Information Interaction Intelligence,vol. 8, n° 2, pp. 181-202, 2008.

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, MUST et couvertures de MUST pour l’explication et la réparation de CSP incohérents au niveau tuple in Revue I3 - Information Interaction Intelligence,vol. 8, n° 2, pp. 181-202, 2008.

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, Extraction d’ensembles minimaux conflictuels basée sur la recherche locale in Revue des Sciences et Technologies de l’Information - Série RIA : Revue d’Intelligence Artificielle,vol. 22, n° 2, pp. 161-181, 2008.

National conferences

2014 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Une méthode expérimentalement efficace de partition d’une CNF en un MSS et un CoMSS in 10ièmes Journées Francophones de Programmation par Contraintes (JFPC’14),pp. 183-192, 2014.

2013 Philippe Besnard, Éric Grégoire, Badran Raddaoui, Système d’argumentation basé sur les logiques conditionnelles in 7ièmes Journées de l’Intelligence Artificielle Fondamentale (IAF’13),2013.

2013 Philippe Besnard, Éric Grégoire, Badran Raddaoui, Un cadre argumentatif pour le raisonnement sur des ressources limitées in 11èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA’13),2013.

2012 Philippe Besnard, Éric Grégoire, Sébastien Ramon, Prédominance de Connaissances Subsumées en Logique Classique in 6ièmes Journées de l’Intelligence Artificielle Fondamentale (IAF’12),pp. 21-29, 2012.

2011 Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui, Génération d’arguments et contre-arguments par calcul de MUS in 10ièmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA’11),pp. 827-840, 2011.

2009 Philippe Besnard, Éric Grégoire, Sébastien Ramon, Corriger la Logique des Défauts par la Logique des Défauts in Journées Nationales de l’Intelligence Artificielle Fondamentale (IAF’09),2009.

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, Explication et réparation de l’incohérence dans les CSP : de la contrainte au tuple in 16ième congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA’08),pp. 258-267, 2008.

2008 Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Réduction d’instances de SAT vers des instances polynomiales in 16ième congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA’08),pp. 388-396, 2008.

2007 Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Suppression des clauses redondantes dans des instances SAT in 3èmes Journées Francophones de Programmation par Contraintes (JFPC’07),pp. 28-37, 2007.

2006 Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Heuristique d’ordonnancement des variables pour SAT in Congrès de la Société Française de Recherche Opérationelle et d’Aide à la Décision (ROADEF’06),2006.

2004 Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, Déduction Automatique de Dépendances fonctionnelles in Dixièmes Journées Nationales sur la résolution Pratique de Problèmes NP-Complets (JNPC 2004),pp. 171-180, 2004.

2004 Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, Elimination des redondances dans les algorithmes de résolution de SAT in Actes du Quatorzième Congrès Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l’Intelligence Artificielle (RFIA-2004),vol. 3, pp. 1343-1350, 2004.

2002 Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Techniques de simplification de CNF in Actes des 8èmes Journées Nationales sur la Résolution Pratique des Problèmes NP-complets (JNPC-02),pp. 181-194, 2002.

2000 Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire, Un cadre d’abstraction appliqué aux problèmes de satisfaction de contraintes in Actes du Douzième Congrès Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l’Intelligence Artificielle (RFIA-2000),vol. 3, pp. 429-438, 2000.

2000 Laure Brisoux, Lakhdar Saïs, Éric Grégoire, Recherche locale : vers une exploitation des propriétés structurelles in Actes des Sixièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-complets (JNPC-00),pp. 243-244, 2000.

1999 Éric Grégoire, Gestion efficace de l’inconsistance dans les bases de connaissances stratifiées in Actes des Cinquièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-complets (JNPC-99),pp. 121-127, 1999.

1998 Éric Grégoire, Bertrand Mazure, Une méthode complète de recherche locale pour des bases de connaissance propositionnelles non monotones in Actes des Quatrièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-complets (JNPC-98),pp. 91-99, 1998.

1998 Brigitte Bessant, Éric Grégoire, Pierre Marquis, Techniques de recherche locale au secours de la révision de croyances in Actes des Quatrièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-complets (JNPC-98),pp. 81-89, 1998.

1998 Laure Brisoux, Lakhdar Saïs, Éric Grégoire, Mieux exploiter les échecs au sein des arbres de recherche à la Davis et Putnam in Actes des Quatrièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-complets (JNPC-98),pp. 31-39, 1998.

1998 Frédéric Boussemart, Éric Grégoire, Christophe Lecoutre, Sylvain Merchez, Une approche souple pour résoudre des problèmes réels. Application au calcul du profil de réseaux d’assainissement in 4èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC’98),pp. 121-127, 1998.

1996 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Deux approches pour la résolution du problème SAT in Actes de la deuxième Conférence Nationale sur la Résolution Pratique des Problèmes NP-complets (CNCP-96),Teknéa Editions, pp. 103-114, 1996.

Proceedings editions

2017 Éric Grégoire, Dejan Gjorgjevikj, Ah Chung Tsoi, Yong Ye, Conference on Control Engineering and Artificial Intelligence (CCEAI’17) 2017.

2011 Éric Grégoire, International Journal on Artificial Intelligence Tools (IJAIT) World scientific, 2011.

2010 Éric Grégoire, Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI’10) IEEE Computer Press, 2010.

2006 Éric Grégoire, Sébastien Konieczny, Special Issue on Logic-Based Information Fusion in Artificial Intelligence volume 7 (1). Elsevier, 2006.

1996 Éric Grégoire, Workshop on Advances in Propositional Deduction (ECAI’96) 1996.

Book editions

1993 Éric Grégoire, Approche Logique de l’Intelligence Artificielle vol. 2, Editions MIR, 1993.

1991 Éric Grégoire, Approche Logique de l’Intelligence Artificielle vol. 1, Editions MIR, 1991.

1989 Éric Grégoire, Approche Logique de l’Intelligence Artificielle vol. 2, Dunod, 1989.

1989 Éric Grégoire, From Modal Logic to Deductive Databases vol. 2, Wiley, 1989.

1988 Éric Grégoire, From Standard Logic to Logic Programming vol. 1, Wiley, 1988.

1988 Éric Grégoire, Approche Logique de l’Intelligence Artificielle vol. 1, Dunod, 1988.

1988 Éric Grégoire, A note on Moore’s autoepistemic logic, (Comments following Moore’s chapter on autoepistemic logic) Academic Press, 1988.

Book chapters

2015 Éric Grégoire, Any-Time Knowledge Revision and Inconsistency Handling in Advances in Intelligent Systems and Computing - Series Title : Advances in Intelligent Systems and Computing,vol. 346, pp. 279-294, Springer International Publishing, 2015.

2013 Philippe Besnard, Éric Grégoire, Sébastien Ramon, A Glance at Preemption Operators in Frontiers in Belief Revision,vol. 40, pp. 183-194, College Publications, 2013.

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, Sous-formules minimales insatisfaisables in Problème SAT : progrès et défis,pp. 221-242, Hermès, 2008.

2001 Éric Grégoire, A fast logically-complete preferential reasoner for the assessment of critical situations in Soft Computing for Risk Evaluation and Management,pp. 155-169, Springer Verlag, 2001.

2001 Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Saïs, Iterated Syntax-Based Revision in a Nonmonotonic Setting in Frontiers in Belief Revision,vol. 22, pp. 369-391, Kluwer Academic Publishers, 2001.

1990 Éric Grégoire, Logiques non monotones et intelligence artificielle in Modèles, techniques et architectures,Hermès, 1990.