Publications

Article(s) de revue(s) internationale(s)

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

2016 Éric Grégoire, Jean-Marie Lagniez, RCL: An A. I. Tool for Computing Maximal Consensuses in International Journal on Artificial Intelligence Tools,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,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, Springer US, pp. 381-382, octobre 2015. (Issue 4)

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, Springer US, pp. 414-432, 2015. (Issue 4)

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.

2013 Philippe Besnard, Éric Grégoire, Sébastien Ramon, Overriding Subsuming Rules in International Journal of Approximate Reasoning (IJAR),vol. 53, Elsevier, pp. 452-466, avril 2013.

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

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.

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

2008 Éric Grégoire, Bertrand Mazure, Cédric Piette, On Finding Minimally Unsatisfiable Cores of CSPs in International Journal on Artificial Intelligence Tools (IJAIT),vol. 17, n° 4, pp. 745 - 763, août 2008.

2007 Éric Grégoire, Bertrand Mazure, Cédric Piette, Local-Search Extraction of MUSes in Constraints,vol. 12, n° 3, pp. 325-344, septembre 2007.

2006 Éric Grégoire, An unbiased approach to iterated fusion by weakening in Information Fusion,vol. 7, n° 1, pp. 35–40, 2006.

2006 Sébastien Konieczny, Éric Grégoire, Logic-based information fusion in artificial intelligence in Information Fusion,vol. 7, n° 1, pp. 4-18, 2006.

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, septembre 2003.

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, Kluwer Academic Publishers, pp. 127-140, 2002.

2002 Éric Grégoire, Bertrand Mazure, About the incremental validation of first-order stratified knowledge-based decision-support systems in Information Sciences,vol. 142, Elsevier, pp. 117-129, 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, Oxford Univ. Press, 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 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, Hermès, 1991. (éditeurs invités)

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, Hermès, pp. 267-310, 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, Hemisphere, pp. 1-23, 1988.

Article(s) de conférence(s) internationale(s)

2016 Éric Grégoire, Jean-Marie Lagniez, A Computational Approach to Consensus-Finding in 22th European Conference on Artificial Intelligence (ECAI’16),IOS Press, pp. 795-801, août 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, juillet 2016.

2016 Du Zhang, Éric Grégoire, Learning through Overcoming Inconsistencies in 27th International Workshop on Database and Expert Systems Applications (DEXA’16 Workshops),IEEE, pp. 121-128, septembre 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, août 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 Workshops’16),IEEE, pp. 97-101, 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, février 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, novembre 2015. (Lecture Notes in Computer Science, volume 9450)

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, août 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, janvier 2015.

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.

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 Mohammad Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, About Some UP-Based Polynomial Fragments of SAT in International Symposium on Artificial Intelligence and Mathematics (ISAIM’14),janvier 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, octobre 2014. (Lecture Notes in Computer Science, volume 8793)

2014 Éric Grégoire, Any-time knowledge revision in 15th International Conference on Information Reuse and Information (IRI’14),IEEE, pp. 330 - 337, août 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, 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, Jean-Marie Lagniez, Bertrand Mazure, Enforcing Solutions in Constraint Networks in 21st European Conference on Artificial Intelligence (ECAI’14),pp. 1017-1018, 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, novembre 2013.

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

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

2013 Philippe Besnard, Éric Grégoire, Badran Raddaoui, A Conditional Logic-Based Argumentation Framework in 7th International Conference on Scalable Uncertainty Management (SUM’13),Springer, Lecture Notes in Computer Science (LNCS), vol. 8078, pp. 44-56, 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, août 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, août 2013. (Advances in Intelligent Systems and Computing, Volume 263)

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

2013 Philippe Besnard, Éric Grégoire, Handling Incoming Beliefs in 6th International Conference on Knowledge Science, Engineering and Management (KSEM?2013),Springer, pp. 206-217, août 2013. (Lecture Notes in Computer Science (LNCS), volume 8041)

2012 Jean-Marie Lagniez, Éric Grégoire, 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),octobre 2012.

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

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),pp. 540-547, novembre 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, août 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),juillet 2012. (Invited Keynote Panelist)

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

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, juillet 2012. (Redwood City, San Francisco Bay, CA, USA)

2012 Philippe Besnard, Éric Grégoire, Sébastien Ramon, Preemption Operators in 14th International Workshop on Non-Monotonic Reasoning (NMR’12),pp. 893-894, juin 2012. (Rome)

2012 Philippe Besnard, Éric Grégoire, Sébastien Ramon, Preemption Operators in 20th European Conference on Artificial Intelligence (ECAI’12),IOS Press, pp. 893-894, août 2012. (Roma, Italy)

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, juillet 2012. (Singapour)

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, Lecture Notes in Computer Science (LNCS), vol. 6876, pp. 493-507, septembre 2011.

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),LNAI 7091, Springer, pp. 44-55, decembre 2011. (Irvine (CA), USA)

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),LNAI 6717, Springer, pp. 532–544, juin 2011. (Belfast, Northen Ireland)

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, août 2010.

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

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, novembre 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),LNAI 5590, Springer, pp. 578–589, juillet 2009. (Verona, Italy)

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, Lecture Notes in Computer Science (LNCS), vol. 5663, pp. 100-115, août 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),IEEE Computer Society, pp. 74-83, novembre 2008.

2008 Éric Grégoire, Using default logic to enhance default logic: preliminary report in 9th International IEEE Conference on Information Reuse and Integration (IEEE IRI’08),IEEE Press, pp. 336-340, juillet 2008.

2007 Éric Grégoire, Bertrand Mazure, Cédric Piette, Boosting a Complete Technique to Find MSS and MUS thanks to a Local Search Oracle in Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI’07),pp. 2300-2305, janvier 2007.

2007 Éric Grégoire, Bertrand Mazure, Cédric Piette, MUST: Provide a Finer-Grained Explanation of Unsatisfiability in 13th International Conference on Principles and Practice of Constraint Programming (CP’07),LNCS 4741, pp. 317-331, septembre 2007. [Download]

2007 Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Reducing hard SAT instances to polynomial ones in the 2007 IEEE international conference on Information Reuse and Integration (IEEE-IRI’07),pp. 18-23, août 2007.

2007 Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Eliminating Redundant Clauses in Sat Instances in The Fourth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR’07),Lecture Notes in Computer Science (LNCS 4510), Springer, pp. 71-83, mai 2007. (lncs 4510)

2007 Éric Grégoire, Knowledge refinement through revision in IEEE International Conference on Information Reuse and Integration (IEEE-IRI’07),pp. 285-290, août 2007.

2006 Éric Grégoire, Minimizing both dropped formulas and concepts in knowledge fusion in Multisensor, multisource information fusion: architectures, algorithms and applications 2006,pp. 191-196, avril 2006.

2006 Éric Grégoire, D Zhang, A Framework for Fusing Consistent Knowledge Bases Automatically in 18th International Conference on Software Engineering and Knowledge Engineering (SEKE’2006),pp. 426-431, juillet 2006.

2006 Éric Grégoire, Bertrand Mazure, Cédric Piette, Extracting MUSes in Proceedings of the 17th European Conference on Artificial Intelligence (ECAI’2006),pp. 387-391, août 2006. [Download]

2006 Éric Grégoire, Bertrand Mazure, Cédric Piette, Lakhdar Saïs, A New Heuristic-based albeit Complete Method to Extract MUCs from Unsatisfiable CSPs in Proceedings of the IEEE International Conference on Information Reuse and Integration (IEEE-IRI’2006),pp. 325-329, septembre 2006.

2006 Éric Grégoire, Bertrand Mazure, Cédric Piette, Tracking MUSes and Strict Inconsistent Covers in Sixth ACM/IEEE International Conference on Formal Methods in Computer Aided Design (FMCAD’06),pp. 39-46, novembre 2006.

2006 Éric Grégoire, Bertrand Mazure, Cédric Piette, Une méta-heuristique basée sur le comptage de contraintes falsifiées in First workshop on Metaheuristics (META’06),Actes électroniques, novembre 2006.

2005 Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Exploring Hybrid Algorithms for SAT in Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR?2005) (short papers),pp. 33-37, decembre 2005. (short paper)

2005 Éric Grégoire, About the dynamics of iterated knowledge fusion by weakening in Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration (IEEE-IRI’05),pp. 326-331, août 2005.

2005 Éric Grégoire, Bertrand Mazure, Cédric Piette, A new local search algorithm to compute inconsistent kernels in Proceedings of the 6th International Meta-heuristics International Conference (MIC’05),Actes électroniques, août 2005.

2005 Éric Grégoire, About the limitations of logic-based approaches to the formalisation of belief fusion in Proceedings of the International Conference on Adapative Knowledge Representation and Reasoning (AKRR’05),pp. 78-81, juin 2005.

2005 Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, Automatic extraction of functional dependencies in Theory and Applications of Satisfiability Testing: 7th International Conference (SAT 2004), Revised Selected Papers,LNCS 3542, pp. 122-132, 2005.

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,novembre 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, novembre 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, avril 2004.

2003 Éric Grégoire, Fusion by weakening in Proc.of 7th Int.Conf. on Multisensor, Multisource Information Fusion : Architectures, Algorithms, and Applications, Belur V. Dasarathy (ed),pp. 251-255, 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.

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, novembre 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, novembre 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, novembre 2003.

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, juin 2003.

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, avril 2002.

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, avril 2002.

2002 Éric Grégoire, Fusing Cooperative Technical-Specification Knowledge Components in Proceedings of the Fourteenth Int. Conf. on Tools with Artificial Intelligence (ICTAI’02),IEEE Computer Society Press, pp. 535-542, novembre 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, septembre 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, septembre 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, septembre 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, juin 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, avril 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, septembre 2001. (papier invité)

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, mars 2001.

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, août 2000.

2000 Éric Grégoire, David Ansart, About the incremental validation of first-order stratified knowledge-based decision-support systems in Intelligent Techniques and Soft Computing in Nuclear Science and Engineering (Proc. of the Fourth Intl. Conf. on Intelligent Techniques and Softcomputing in Nuclear Sciences a,World Scientific, pp. 206-213, août 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, août 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, septembre 2000.

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, septembre 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, novembre 2000.

2000 Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire, A CSP abstraction framework in 4th International Symposium on Abstraction, Reformulation and Approximation (SARA’00),LNCS 1864, Springer, pp. 164-184, juillet 2000. [Download]

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, juin 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),octobre 1999.

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, juin 1999.

1999 Éric Grégoire, Overcoming the Christmas Tree Syndrome in Proc. of the Eleventh IEEE Intl. Conf. on Tools with Artificial Intelligence (ICTAI-99),IEEE Computer Science Press, pp. 425-430, novembre 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,juin 1999.

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, juin 1998.

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, septembre 1998.

1998 Frédéric Boussemart, Christophe Lecoutre, Sylvain Merchez, Éric Grégoire, A flexible approach to determine the profile of urban drainage networks in 6th European Congress on Intelligent Techniques and Soft Computing (EUFIT’98),pp. 550-554, septembre 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, juillet 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, septembre 1998. (Best Paper Award)

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,juin 1998.

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, août 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),mars 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, juillet 1997.

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, juin 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, juillet 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, avril 1997.

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,mars 1996. (SAT solvers description)

1996 Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, Detecting Logical Inconsistencies in Proc. AI and Maths Symposium,pp. 116-121, janvier 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, août 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, juillet 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, septembre 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.

1993 Éric Grégoire, Pierre Marquis, Novelty in Deductive Databases in Workshop on Non-Standard Logics in Computer Science,septembre 1993. (exposé invité)

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),mai 1991. (conférence invitée)

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, 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, juillet 1990. (version étendue dans Uncertainty Knowledge Bases, LNCS 521,Springer Verlag, pp. 213-222,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, août 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, juin 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, octobre 1989. (exposé au Drums EEC Workshop on non-monotonic reasoning, Marseille, Février 1990)

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, février 1989.

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

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

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

1987 Éric Grégoire, Raisonnement structuré et système expert in Proc. Conf. L’accès Intelligent à l’Information,pp. 55-66, janvier 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, juillet 1986.

Article(s) de revue(s) nationale(s)

2015 Philippe Besnard, Éric Grégoire, Badran Raddaoui, Un système argumentatif pour le raisonnement sur des ressources limitées in Revue d’Intelligence Artificielle,vol. 29(3-4), pp. 349-368, 2015.

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 d’Intelligence Artificielle (RIA),vol. 26, n° 3, pp. 209-224, mai 2012.

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 Information-Interaction-Intelligence (Revue I3),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 d’Intelligence Artificielle (RIA),vol. 22, n° 2, pp. 161-181, avril 2008.

Article(s) de conférence(s) nationale(s)

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, Un cadre argumentatif pour le raisonnement sur des ressources limitées in 11èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA’13),2013.

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),pp. 723-755, 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, mai 2012. (Toulouse, France)

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, mai 2011. (prix du meilleur papier)

2009 Éric Grégoire, Bertrand Mazure, Cédric Piette, Localiser des sources d’incohérence spécifiques sans les calculer toutes in 5ièmes Journées Francophones de la Programmation par Contraintes (JFPC’09),pp. 95-104, juin 2009.

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),octobre 2009. (Marseille)

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, janvier 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, janvier 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, juin 2007.

2007 Éric Grégoire, Bertrand Mazure, Cédric Piette, Une nouvelle méthode hybride pour calculer tous les MSS et tous les MUS in 3èmes Journées Francophones de Programmation par Contraintes (JFPC’07),pp. 143-150, juin 2007.

2006 Éric Grégoire, Bertrand Mazure, Cédric Piette, Extraction de sous-formules minimales inconsistantes in Actes des secondes Journées Francophones de Programmation par Contraintes (JFPC’2006),pp. 201-208, juin 2006.

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),janvier 2006.

2005 Éric Grégoire, Bertrand Mazure, Richard Ostrowski, Lakhdar Saïs, Dépendances Fonctionnelles Booléennes : Détection et Exploitation in Colloque sur l’Optimisation et les Systèmes d’Information (COSI’05),pp. 263-274, 2005.

2004 Richard Ostrowski, Bertrand Mazure, Lakhdar Saïs, Éric Grégoire, 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, janvier 2004.

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, juin 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, mai 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, février 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, juin 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, juin 1999.

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, mai 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, mai 1998.

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 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, mai 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, mars 1996.

Actes de conférence(s)

2011 Éric Grégoire, International Journal on Artificial Intelligence Tools (IJAIT) août 2011. (Special Issue on Selected Papers from ICTAI 2010)

2010 Éric Grégoire, 22nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI’10) IEEE Computer Press, novembre 2010. (2 Volumes, 900 pages)

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) août 1996. (editeurs)

Ouvrage(s)

1991 Éric Grégoire, Approche Logique de l’Intelligence Artificielle vol. 1, Editions MIR, Moscou, 1991. (version russe de l’ouvrage : Approche Logique de l’Intelligence Artificielle)

Chapitre(s) d'ouvrage(s)

2015 Éric Grégoire, Any-Time Knowledge Revision and Inconsistency Handling vol. 346, pp. 279-294, Thouraya Bouabana-Tebibel, Stuart H. Rubin (Eds.), Springer International Publishing, 2015. (Book Title: Advances in Intelligent Systems and Computing - Series Title : Advances in Intelligent Systems and Computing)

2013 Philippe Besnard, Éric Grégoire, Sébastien Ramon, A Glance at Preemption Operators in Frontiers in Belief Revision,vol. 40, pp. 183-194, Fermé Eduardo L. and Gabbay Dov. M. and Simari Guillermo R. (Eds.), 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,chapitre 8, pp. 221-242, Lakhdar Saïs (Eds.), Hermes, 2008.

2006 Éric Grégoire, Minimizing the number of affected concepts in handling inconsistent knowledge in Applied Artificial Intelligence, World Scientific,pp. 67-74, D. Ruan et al. (eds) (Eds.), 2006.

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, Kasprzyck J., Fedrizzi F. et Ruan D. (Eds.), 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, Williams M.-A. et Rott H. (Eds.), Kluwer Academic Publishers, 2001.

1999 Éric Grégoire, Progressive instantiation for the logical validation of nonmonotonic KBs in Verification and Validation of Knowledge Based Systems: Theory, Tools and Practice,pp. 37-52, Vermesan A. et Coenen F. (Eds.), Kluwer Academic Publishers, 1999. (version étendue de [1999026])

1998 Éric Grégoire, Lakhdar Saïs, Practical Inconsistency Management for Critical-Tasks Decision Support Systems in Fuzzy Logic and Intelligent Technologies for Nuclear Science and Industry,pp. 384-391, Ruan D. (ed.) (Eds.), World Scientific, Singapour, 1998.

1993 Éric Grégoire, Approche Logique de l’Intelligence Artificielle vol. 2, Editions MIR, Moscou, 1993. (version russe de l’ouvrage : Approche Logique de l’Intelligence Artificielle)

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

1989 Éric Grégoire, Approche Logique de l’Intelligence Artificielle vol. 2, Dunod, Paris, France, 1989. (dirigé par A. Thayse)

1989 Éric Grégoire, From Modal Logic to Deductive Databases vol. 2, Wiley, Londres, 1989. (version anglaise de l’ouvrage : Approche Logique de l’Intelligence Artificielle)

1988 Éric Grégoire, A note on Moore’s autoepistemic logic, (Comments following Moore’s chapter on autoepistemic logic) in Non-Standard Logics for Automated Reasoning, Smets P. et al. (eds.) (Eds.), Academic Press, Londres, 1988.

1988 Éric Grégoire, From Standard Logic to Logic Programming vol. 1, Wiley, Londres, 1988. (version anglaise de l’ouvrage : Approche Logique de l’Intelligence Artificielle)

1988 Éric Grégoire, Approche Logique de l’Intelligence Artificielle vol. 1, Dunod, Paris, France, 1988. (dirigé par A. Thayse)

Thèse(s) de doctorat

1989 Éric Grégoire, Logiques non monotones, programmes logiques stratifiés et théories sceptiques de l’héritage Louvain-la-Neuve, Belgique, juin 1989.

Rapport(s) technique(s)

2002 Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs, Recovering and exploiting structural knowledge from CNF formulas Lens, France, avril 2002.