Partenaires

CNRS
Université d'Artois IUT de Lens



retour à l'accueil

Accueil du site > Annuaire > Annuaire des personnels > Annuaire

Annuaire

Éric Grégoire

Professeur des Universités

Axe(s) de recherche

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

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

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

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

Grégoire Éric, Mazure Bertrand, Piette Cédric,
Using local search to find MSSes and MUSes,
dans European Journal of Operational Research (EJOR), vol. 199, n° 3, pp. 640-646, décembre 2009. [Télécharger] [BibTeX...]

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

Grégoire Éric, Mazure Bertrand, Piette Cédric,
Local-Search Extraction of MUSes,
dans Constraints , vol. 12, n° 3, pp. 325-344, septembre 2007. [Télécharger] [BibTeX...]

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

Grégoire Éric,
An unbiased approach to iterated fusion by weakening,
dans Information Fusion, vol. 7, n° 1, pp. 35--40, 2006. [BibTeX...]

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

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

Grégoire Éric, Mazure Bertrand,
About the incremental validation of first-order stratified knowledge-based decision-support systems,
dans Information Sciences (IS), vol. 142, Elsevier, pp. 117-129, 2002. [Télécharger] [BibTeX...]

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

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

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

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

Mazure Bertrand, Saïs Lakhdar, Grégoire Éric,
Boosting complete techniques thanks to local search,
dans International Journal of Annals of Mathematics and Artificial Intelligence (AMAI), vol. 22, pp. 309-322, 1998. [Télécharger] [BibTeX...]

Mazure Bertrand, Saïs Lakhdar, Grégoire Éric,
An efficient technique to ensure the logical consistency of cooperative agents,
dans International Journal of Cooperative Information Systems (IJCIS), vol. 6, n° 1, pp. 27-36, 1997. [Télécharger] [BibTeX...]

Grégoire Éric, Marquis Pierre,
Novelty in Deductive Databases,
dans Journal of Logic and Computation (JLC), vol. 6, n° 5, Oxford Univ. Press, pp. 683-708, 1996. [BibTeX...]

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

Clarke M.R.B., Grégoire Éric,
J. of Applied Non-Classical Logics,
dans Special Issue on Uncertainty, Conditionals and Nonmonotonicity, vol. 3, n° 1, Hermès, 1991. (éditeurs invités) [BibTeX...]

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

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

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

Besnard Philippe, Grégoire Éric, Piette Cédric, Raddaoui Badran,
Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants,
dans Revue d'Intelligence Artificielle (RIA), vol. 26, n° 3, pp. 209-224, mai 2012. [BibTeX...]

Grégoire Éric, Mazure Bertrand, Piette Cédric,
Extraction d'ensembles minimaux conflictuels basée sur la recherche locale,
dans Revue d'Intelligence Artificielle (RIA), vol. 22, n° 2, pp. 161-181, avril 2008. [BibTeX...]

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

Communication(s) dans des conférences d'audience internationale avec publication des actes

Grégoire Éric, Lagniez Jean-Marie, Mazure Bertrand,
Preserving Partial Solutions while Relaxing Constraint Networks,
dans 23th International Joint Conference on Artificial Intelligence (IJCAI'13), pp. 552--558, août 2013. [Télécharger] [BibTeX...]

Besnard Philippe, Grégoire Éric,
Handling Incoming Beliefs,
dans 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) [BibTeX...]

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

Besnard Philippe, Grégoire Éric, Raddaoui Badran,
A Conditional Logic-Based Argumentation Framework,
dans 7th International Conference on Scalable Uncertainty Management (SUM'13), Springer, Lecture Notes in Computer Science (LNCS) n° 8078, pp. 44-56, 2013. [BibTeX...]

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

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

Besnard Philippe, Grégoire Éric, Raddaoui Badran,
An Argumentation Framework for Reasoning about Bounded Resources,
dans 24th International Conference on Tools with Artificial Intelligence (ICTAI'12), pp. 540-547, novembre 2012. [BibTeX...]

Grégoire Éric, Lagniez Jean-Marie, Mazure Bertrand,
Relax!,
dans 24th International Conference on Tools with Artificial Intelligence (ICTAI'12), IEEE Computer Press, pp. 146--153, novembre 2012. [Télécharger] [BibTeX...]

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

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Preemption Operators,
dans 20th European Conference on Artificial Intelligence (ECAI'12), IOS Press, pp. 893-894, août 2012. (Roma, Italy) [Résumé] [Télécharger] [BibTeX...]

Grégoire Éric,
Knowledge Engineering, Operational Research and AI: the Time to Meet,
dans 24th International Conference on Software Engineering and Knowledge Engineering (SEKE'12), juillet 2012. (Invited Keynote Panelist) [BibTeX...]

Grégoire Éric, Ramon Sébastien,
Disabling Subsumptions in a Logic-Based Component,
dans 24th International Conference on Software Engineering and Knowledge Engineering (SEKE'12), pp. 243-248, juillet 2012. (Redwood City, San Francisco Bay, CA, USA) [Télécharger] [BibTeX...]

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Logic-based Fusion of Legal Knowledge,
dans 15th International Conference on Information Fusion (FUSION'12), IEEE Press, pp. 587-592, juillet 2012. (Singapour) [Télécharger] [BibTeX...]

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Enforcing Logically Weaker Knowledge in Classical Logic,
dans 5th International Conference on Knowledge Science Engineering and Management (KSEM'11), LNAI 7091, Springer, pp. 44-55, décembre 2011. (Irvine (CA), USA) [Télécharger] [BibTeX...]

Grégoire Éric, Lagniez Jean-Marie, Mazure Bertrand,
A CSP solver focusing on FAC variables,
dans 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Springer, Lecture Notes in Computer Science (LNCS) n° 6876, pp. 493-507, septembre 2011. [Télécharger] [BibTeX...]

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Overriding Subsuming Rules,
dans 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) [Télécharger] [BibTeX...]

Besnard Philippe, Grégoire Éric, Piette Cédric, Raddaoui Badran,
MUS-Based Generation of Arguments and Counter-arguments,
dans 11th IEEE International Conference on Information Reuse and Integration (IEEE IRI'10), pp. 239-244, août 2010. [Télécharger] [BibTeX...]

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

Grégoire Éric, Mazure Bertrand, Piette Cédric,
Does this set of clauses overlap with at least one MUS?,
dans 22nd International Conference on Automated Deduction (CADE 22), Springer, Lecture Notes in Computer Science (LNCS) n° 5663, pp. 100-115, août 2009. [Télécharger] [BibTeX...]

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

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
A Default Logic Patch for Default Logic,
dans 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'09), LNAI 5590, Springer, pp. 578--589, juillet 2009. (Verona, Italy) [Télécharger] [BibTeX...]

Grégoire Éric, Mazure Bertrand, Piette Cédric,
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses,
dans 20th International Conference on Tools with Artificial Intelligence (ICTAI'08), IEEE Computer Society, pp. 74-83, novembre 2008. [Télécharger] [BibTeX...]

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

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

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

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

Fourdrinoy Olivier, Grégoire Éric, Mazure Bertrand, Saïs Lakhdar,
Eliminating Redundant Clauses in Sat Instances,
dans 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) [Télécharger] [BibTeX...]

Grégoire Éric, Mazure Bertrand, Piette Cédric,
Boosting a Complete Technique to Find MSS and MUS thanks to a Local Search Oracle,
dans International Joint Conference on Artificial Intelligence (IJCAI'07), pp. 2300-2305, janvier 2007. [Télécharger] [BibTeX...]

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

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

Grégoire Éric, Mazure Bertrand, Piette Cédric,
Extracting MUSes,
dans 17th European Conference on Artificial Intelligence (ECAI'06), pp. 387-391, août 2006. [Télécharger] [BibTeX...]

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

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

Fourdrinoy Olivier, Grégoire Éric, Mazure Bertrand, Saïs Lakhdar,
Exploring Hybrid Algorithms for SAT,
dans 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'05), pp. 33-37, décembre 2005. (short paper) [Télécharger] [BibTeX...]

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

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

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

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

Grégoire Éric,
Fusing Legal Knowledge,
dans Proceedings of the 2004 IEEE INt. Conf. on Information Reuse and Integration (IEEE-IRI'2004), pp. 522-529, novembre 2004. [BibTeX...]

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

Grégoire Éric, Ostrowski Richard, Mazure Bertrand, Saïs Lakhdar,
Automatic extraction of functional dependencies,
dans Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT'04), 2004. [BibTeX...]

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

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

Ostrowski Richard, Mazure Bertrand, Saïs Lakhdar, Grégoire Éric,
Eliminating redundancies in SAT search trees,
dans 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'03), pp. 100-104, novembre 2003. [Télécharger] [BibTeX...]

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

Cardon Stéphane, Grégoire Éric,
Designing and Computing Factored Markov Decision Processes,
dans Computational Engineering in Systems Applications (CESA'2003), IEEE Computer Press, 2003. [BibTeX...]

Grégoire Éric,
Fusion by weakening,
dans Proc.of 7th Int.Conf. on Multisensor, Multisource Information Fusion : Architectures, Algorithms, and Applications, Belur V. Dasarathy (ed), pp. 251-255, 2003. [BibTeX...]

Grégoire Éric,
Fusing Cooperative Technical-Specification Knowledge Components,
dans Proceedings of the Fourteenth Int. Conf. on Tools with Artificial Intelligence (ICTAI'02), IEEE Computer Society Press, pp. 535-542, novembre 2002. [BibTeX...]

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

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

Ostrowski Richard, Grégoire Éric, Mazure Bertrand, Saïs Lakhdar,
Recovering and exploiting structural knowledge from CNF formulas,
dans Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming (CP'02), LNCS 2470, Springer Verlag, pp. 185-199, septembre 2002. [Télécharger] [BibTeX...]

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

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

Grégoire Éric, Sofiane Ahcène,
Fusing syntax and semantics in knowledge fusion,
dans Proc. of the Eusflat Conference (Eusflat'2001), pp. 414-147, septembre 2001. (papier invité) [BibTeX...]

Grégoire Éric,
Generalization v. (Induction v. Abduction),
dans Proc. of the Int. Conf. on Artificial Intelligence (IC-CAI'2001), pp. 868-873, juin 2001. [BibTeX...]

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

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

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

Grégoire Éric, Saïs Lakhdar,
Modelling and checking complex discrete critical systems,
dans Proceedings of the International Conference on Modelling and Simulation - MS'00 (MS'00), pp. 233-240, septembre 2000. [BibTeX...]

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

Grégoire Éric, Ansart David,
The detection of the main failure in complex critical systems,
dans 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. [BibTeX...]

Grégoire Éric, Ansart David,
About the incremental validation of first-order stratified knowledge-based decision-support systems,
dans 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. [BibTeX...]

Grégoire Éric, Ansart David,
Validation of First-Order Stratified KBs,
dans Fourth International Conference on Knowledge-Based Intelligent Engineering Systems & Allied Technologies (KES'00), IEEE Computer Press, pp. 145-149, août 2000. [BibTeX...]

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

Grégoire Éric,
Overcoming the Christmas Tree Syndrome,
dans Proc. of the Eleventh IEEE Intl. Conf. on Tools with Artificial Intelligence (ICTAI-99), IEEE Computer Science Press, pp. 425-430, novembre 1999. [BibTeX...]

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

Grégoire Éric,
Handling inconsistency efficiently in the incremental construction of stratified belief bases,
dans 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. [BibTeX...]

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

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

Bessant Brigitte, Grégoire Éric, Marquis Pierre, Saïs Lakhdar,
Combining nonmonotonic reasoning and belief revision: a practical approach,
dans 8th International Conference on Artificial Intelligence Methodology, Systems, Applications (AIMSA'98), LNCS 1480, Springer Verlag, pp. 115-128, septembre 1998. (Best Paper Award) [BibTeX...]

Mazure Bertrand, Saïs Lakhdar, Grégoire Éric,
System Description: CRIL Platform for SAT,
dans Proceedigns of the 15th Intl. Conf. on Automated Deduction (CADE-15), LNCS 1421, Springer Verlag, pp. 124-128, juillet 1998. [Télécharger] [BibTeX...]

Grégoire Éric, Mazure Bertrand, Saïs Lakhdar,
Logically-complete local search for propositional nonmonotonic knowledge bases,
dans Proceedings of the 7th Intl. Workshop on Nonmonotonic Reasoning (NMR'98), pp. 37-45, juin 1998. [Télécharger] [BibTeX...]

Boufkhad Yacine, Grégoire Éric, Marquis Pierre, Mazure Bertrand, Saïs Lakhdar,
Tractable cover compilations,
dans 15th International Joint Conference on Artificial Intelligence (IJCAI'97), pp. 122-127, août 1997. [Télécharger] [BibTeX...]

Mazure Bertrand, Saïs Lakhdar, Grégoire Éric,
Tabu Search for SAT,
dans Proceedings of the 14th American National Conference on Artificial Intelligence (AAAI'97), pp. 281-285, juillet 1997. [Télécharger] [BibTeX...]

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

Mazure Bertrand, Saïs Lakhdar, Grégoire Éric,
Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases,
dans 9th European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'07), LNAI 1244, Springer Verlag, pp. 122-130, juin 1997. [Télécharger] [BibTeX...]

Mazure Bertrand, Saïs Lakhdar, Grégoire Éric,
Local search for computing normal circumstances models,
dans Proceedings oh the International Conference on Computational Intelligence (ICCI'97), LNCS 1226, Springer Verlag, pp. 55-56, avril 1997. [Télécharger] [BibTeX...]

Mazure Bertrand, Saïs Lakhdar, Grégoire Éric,
A comparison of two approaches to inconsistency detecting,
dans Proceedigns of the European Symposium on Intelligent Techniques (ESIT'97), mars 1997. [Télécharger] [BibTeX...]

Grégoire Éric, Saïs Lakhdar,
Inductive Reasoning is Sometimes Deductive,
dans Proceedings of the ECAI-96 Workshop on Abductive and Inductive Reasoning (Wks-AIR-ECAI'96), pp. 36-39, août 1996. [BibTeX...]

Mazure Bertrand, Saïs Lakhdar, Grégoire Éric,
A Powerful Heuristic to Locate Inconsistent Kernels in Knowledge-Based Systems,
dans International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'96), pp. 1265-1269, juillet 1996. [Télécharger] [BibTeX...]

Mazure Bertrand, Saïs Lakhdar, Grégoire Éric,
Detecting Logical Inconsistencies,
dans Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics (AI/Math'96), pp. 116-121, janvier 1996. [Télécharger] [BibTeX...]

Mazure Bertrand, Saïs Lakhdar, Grégoire Éric,
TWSAT : a new local search algorithm for SAT : performance and analysis,
dans Proceedngs of the Workshop CP95 on Solving Really Hard Problems (Wks-SRHP-CP95), pp. 127-130, septembre 1995. [Télécharger] [BibTeX...]

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

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

Besnard P, Grégoire Éric,
From extended proof-systems to preferential models : a two cases study in non-monotonic logics,
dans From the Complexity to the Emergence of Meaning (Int. Congress), mai 1991. (conférence invitée) [BibTeX...]

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

Grégoire Éric,
Skeptical inheritance can be more expressive,
dans 9th European Conference on Artifical Intelligence (ECAI'90), pp. 326-332, août 1990. [BibTeX...]

Grégoire Éric,
About the logical interpretation of inheritance hierarchies,
dans 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) [BibTeX...]

Grégoire Éric,
Skeptical theories of inheritance and nonmonotonic logics,
dans 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) [BibTeX...]

Grégoire Éric,
Reducing inheritance theories to default logic and logic programs,
dans Second Scandinavian Conference on Artificial Intelligence (SCAI'89), IOS Press, pp. 1064-1079, juin 1989. [BibTeX...]

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

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

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

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

Grégoire Éric,
Raisonnement structuré et système expert,
dans Proc. Conf. L'accès Intelligent à l'Information, pp. 55-66, janvier 1987. [BibTeX...]

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

Communication(s) dans des conférences d'audience internationale sans publication des actes

Al-Saedi Mohammad, Grégoire Éric, Mazure Bertrand, Saïs Lakhdar,
About Some UP-Based Polynomial Fragments of SAT,
dans International Symposium on Artificial Intelligence and Mathematics (ISAIM'14), janvier 2014. [Résumé] [Télécharger] [BibTeX...]

Lagniez Jean-Marie, Grégoire Éric, Mazure Bertrand,
A Data Structure Boosting The Performance Of Local Search For Csp Solving,
dans International Conference on Metaheuristics and Nature Inspired Computing (META'12), octobre 2012. [Télécharger] [BibTeX...]

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Preemption Operators,
dans 14th International Workshop on Non-Monotonic Reasoning (NMR'12), pp. 893-894, juin 2012. (Rome) [Télécharger] [BibTeX...]

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

Grégoire Éric, Mazure Bertrand, Piette Cédric,
Une méta-heuristique basée sur le comptage de contraintes falsifiées,
dans First workshop on Metaheuristics (META'06), Actes électroniques, novembre 2006. [Télécharger] [BibTeX...]

Grégoire Éric, Mazure Bertrand, Piette Cédric,
A new local search algorithm to compute inconsistent kernels,
dans 6th International Meta-heuristics International Conference (MIC'05), Actes électroniques, août 2005. [Télécharger] [BibTeX...]

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

Boussemart Frédéric, Lecoutre Christophe, Merchez Sylvain, Grégoire Éric,
A flexible approach to determine the profile of urban drainage networks,
dans 6th European Congress on Intelligent Techniques and Soft Computing (EUFIT'98), pp. 550-554, septembre 1998. [BibTeX...]

Bessant Brigitte, Grégoire Éric, Marquis Pierre, Saïs Lakhdar,
Syntax-based belief revision through local search,
dans Proceedings of the International Workshop on Belief Revision (Wks-BR'98), juin 1998. [BibTeX...]

Mazure Bertrand, Saïs Lakhdar, Grégoire Éric,
SUN : a Multistrategy Platform for SAT,
dans First International Competition and Symposium on Satisfiability Testing (SAT'96), mars 1996. (SAT solvers description) [Télécharger] [BibTeX...]

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

Communication(s) dans des conférences d'audience nationale

Besnard Philippe, Grégoire Éric, Raddaoui Badran,
Système d'argumentation basé sur les logiques conditionnelles,
dans 7ièmes Journées de l'Intelligence Artificielle Fondamentale (IAF'13), pp. 723-755, 2013. [BibTeX...]

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

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Prédominance de Connaissances Subsumées en Logique Classique,
dans 6ièmes Journées de l'Intelligence Artificielle Fondamentale (IAF'12), pp. 21-29, mai 2012. (Toulouse, France) [Télécharger] [BibTeX...]

Besnard Philippe, Grégoire Éric, Piette Cédric, Raddaoui Badran,
Génération d'arguments et contre-arguments par calcul de MUS,
dans 10ièmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA'11), pp. 827-840, mai 2011. (prix du meilleur papier) [BibTeX...]

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Corriger la Logique des Défauts par la Logique des Défauts,
dans Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'09), octobre 2009. (Marseille) [Télécharger] [BibTeX...]

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

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

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

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

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

Grégoire Éric, Mazure Bertrand, Piette Cédric,
Extraction de sous-formules minimales inconsistantes,
dans 2ndes Journées Francophones de Programmation par Contraintes (JFPC'06), pp. 201-208, juin 2006. [Télécharger] [BibTeX...]

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

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

Grégoire Éric, Ostrowski Richard, Mazure Bertrand, Saïs Lakhdar,
Déduction Automatique de Dépendances fonctionnelles,
dans 10èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC'04), pp. 171-180, juin 2004. [Télécharger] [BibTeX...]

Ostrowski Richard, Mazure Bertrand, Saïs Lakhdar, Grégoire Éric,
Elimination des redondances dans les algorithmes de résolution de SAT,
dans 14ème congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'04), pp. 1343-1350, janvier 2004. [Télécharger] [BibTeX...]

Ostrowski Richard, Grégoire Éric, Mazure Bertrand, Saïs Lakhdar,
Techniques de simplification de CNF,
dans 8èmes Journées Nationales sur la Résolution Pratique des Problèmes NP-complets (JNPC'02), pp. 181-194, mai 2002. [Télécharger] [BibTeX...]

Brisoux Laure, Saïs Lakhdar, Grégoire Éric,
Recherche locale : vers une exploitation des propriétés structurelles,
dans 6èmes Journées Nationales sur la Résolution Pratique des Problèmes NP-complets (JNPC'00), pp. 243-244, juin 2000. [BibTeX...]

Lecoutre Christophe, Merchez Sylvain, Boussemart Frédéric, Grégoire Éric,
Un cadre d'abstraction appliqué aux problèmes de satisfaction de contraintes,
dans 12ème congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'00), pp. 429-438, février 2000. [BibTeX...]

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

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

Brisoux Laure, Saïs Lakhdar, Grégoire Éric,
Mieux exploiter les échecs au sein des arbres de recherche à la Davis et Putnam,
dans 4èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC'98), pp. 31-39, mai 1998. [BibTeX...]

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

Grégoire Éric, Mazure Bertrand,
Une méthode complète de recherche locale pour des bases de connaissance propositionnelles non monotones,
dans 4èmes Journées Nationales sur la résolution pratique des problèmes NP-complets (JNPC'98), pp. 91-99, 1998. [Télécharger] [BibTeX...]

Mazure Bertrand, Saïs Lakhdar, Grégoire Éric,
Deux approches pour la résolution du problème SAT,
dans 2ème Conférence Nationale sur la Résolution Pratique des Problèmes NP-Complets (CNPC'96), Teknéa Editions, pp. 103-114, mars 1996. [Télécharger] [BibTeX...]

Actes de conférence(s)

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

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

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

Grégoire Éric,
Workshop on Advances in Propositional Deduction (ECAI'96),
août 1996. (editeurs) [BibTeX...]

Ouvrage(s)

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

Chapitre(s) d'ouvrage(s)

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
A Glance at Preemption Operators,
dans Frontiers in Belief Revision, vol. 40, pp. 183-194, Fermé Eduardo L. and Gabbay Dov. M. and Simari Guillermo R.(Eds.), College Publications, 2013. [BibTeX...]

Grégoire Éric, Mazure Bertrand, Piette Cédric,
Sous-formules minimales insatisfaisables ,
dans Problème SAT : progrès et défis, chapitre 8, pp. 221-242, Lakhdar Saïs(Eds.), Hermes, 2008. [BibTeX...]

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

Bessant Brigitte, Grégoire Éric, Marquis Pierre, Saïs Lakhdar,
Iterated Syntax-Based Revision in a Nonmonotonic Setting,
dans Frontiers in Belief Revision, vol. 22, pp. 369-391, Williams M.-A. et Rott H.(Eds.), Kluwer Academic Publishers, 2001. [BibTeX...]

Grégoire Éric,
A fast logically-complete preferential reasoner for the assessment of critical situations,
dans Soft Computing for Risk Evaluation and Management, pp. 155-169, Kasprzyck J., Fedrizzi F. et Ruan D.(Eds.), Springer Verlag, 2001. [BibTeX...]

Grégoire Éric,
Progressive instantiation for the logical validation of nonmonotonic KBs,
dans 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]) [BibTeX...]

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

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

Grégoire Éric,
Logiques non monotones et intelligence artificielle,
dans Modèles, techniques et architectures, Hermès, Paris, décembre 1990. [BibTeX...]

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

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

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

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

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

Thèse de doctorat

Grégoire Éric,
Logiques non monotones, programmes logiques stratifiés et théories sceptiques de l'héritage,
thèse de doctorat, Louvain-la-Neuve, Belgique, juin 1989. [BibTeX...]

Rapport(s) technique(s)

Ostrowski Richard, Grégoire Éric, Mazure Bertrand, Saïs Lakhdar,
Recovering and exploiting structural knowledge from CNF formulas,
rapport technique, Lens, France, avril 2002. [Télécharger] [BibTeX...]