Centre de Recherche en Informatique de Lens

Éric Grégoire

Professor

• Tel. : 03 21 79 17 95
• Fax : 03 21 79 17 70
• Mail : gregoire@cril.univ-artois.fr
• Personal webpage : http://www.cril.univ-artois.fr/~gregoire

Research axes

• Représentation des connaissances et raisonnements
• Algorithmes pour l'inférence et contraintes

International journal paper(s)

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

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Overriding Subsuming Rules,
in , Elsevier, 2013. [Abstract] [BibTeX...]

Zhang Du, Grégoire Éric,
The landscape of inconsistency: a perspective,
in 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,
in 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,
in European Journal of Operational Research , vol. 199, n° 3, pp. 640-646, december 2009. [Download] [BibTeX...]

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

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

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

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

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

Mouaddib Abdel-Illah, Grégoire Éric, Dauchez J.-F.,
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. [BibTeX...]

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

Brisoux Laure, Grégoire Éric, Saïs Lakhdar,
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. [BibTeX...]

Grégoire Éric, Ansart David,
Overcoming the Christmas Tree Syndrome,
in 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,
in 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,
in 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,
in Annals of Mathematics and Artificial Intelligence (AMAI), vol. 22, pp. 309-322, 1998. [Download] [BibTeX...]

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

Grégoire Éric, Marquis Pierre,
Novelty in Deductive Databases,
in 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,
in 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,
in 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,
in 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,
in Applied Artificial Intelligence-An International Journal, vol. 2, n° 1, Hemisphere, pp. 1-23, 1988. [BibTeX...]

National journal paper(s)

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

Grégoire Éric, Mazure Bertrand, Piette Cédric,
Extraction d'ensembles minimaux conflictuels basée sur la recherche locale,
in Revue d'Intelligence Artificielle (RSTI- RIA), vol. 22, n° 2, pp. 161-181, april 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,
in Information-Interaction-Intelligence (Revue I3), vol. 8, n° 2, pp. 181-202, 2008. [BibTeX...]

International conference paper(s) with proceedings

Grégoire Éric, Lagniez Jean-Marie, Mazure Bertrand,
Preserving Partial Solutions while Relaxing Constraint Networks,
in 23 International Joint Conference On Artificial Intelligence (IJCAI'13), pp. to appear, august 2013. [Download] [BibTeX...]

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

Grégoire Éric, Lagniez Jean-Marie, Mazure Bertrand,
Relax!,
in Proceedings of the 24th IEEEE International Conference on Tools with Artificial Intelligence (ICTAI'12), pp. 146--153, november 2012. [Download] [BibTeX...]

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

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

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Preemption Operators,
in 20th European Conference on Artificial Intelligence (ECAI'12), FAIA 0242, IOS Press , pp. 893-894, august 2012. (Roma, Italy) [Abstract] [Download] [BibTeX...]

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

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

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

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
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, december 2011. (Irvine (CA), USA) [Download] [BibTeX...]

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

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Overriding Subsuming Rules,
in 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11), LNAI 6717, Springer, pp. 532--544, june 2011. (Belfast, Northen Ireland) [Download] [BibTeX...]

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

Grégoire Éric, Mazure Bertrand, Saïs Lakhdar,
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, november 2009. [Download] [BibTeX...]

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

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

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
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, july 2009. (Verona, Italy) [Download] [BibTeX...]

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

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

Grégoire Éric, Mazure Bertrand, Piette Cédric,
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, september 2007. [Download] [BibTeX...]

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

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

Fourdrinoy Olivier, Grégoire Éric, Mazure Bertrand, Saïs Lakhdar,
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, may 2007. (lncs 4510) [Download] [BibTeX...]

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

Grégoire Éric, Mazure Bertrand, Piette Cédric,
Tracking MUSes and Strict Inconsistent Covers,
in Sixth ACM/IEEE International Conference on Formal Methods in Computer Aided Design (FMCAD'06), pp. 39-46, november 2006. [Download] [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,
in Proceedings of the IEEE International Conference on Information Reuse and Integration (IEEE-IRI'2006), pp. 325-329, september 2006. [Download] [BibTeX...]

Grégoire Éric, Mazure Bertrand, Piette Cédric,
Extracting MUSes,
in 17th European Conference on Artificial Intelligence (ECAI'06), pp. 387-391, august 2006. [Download] [BibTeX...]

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

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

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

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

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

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

Grégoire Éric, Mazure Bertrand, Ostrowski Richard, Saïs Lakhdar,
Automatic extraction of functional dependencies,
in 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. [Download] [BibTeX...]

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

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

Grégoire Éric, Ostrowski Richard, Mazure Bertrand, Saïs Lakhdar,
Automatic extraction of functional dependencies,
in 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,
in Proc. of the 2003 IEEE Int. Conf. on Information Reuse and Integration (IRI'2003), IEEE Computer Press, pp. 137-143, november 2003. [BibTeX...]

Grégoire Éric,
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, november 2003. [BibTeX...]

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

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

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

Grégoire Éric,
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. [BibTeX...]

Grégoire Éric,
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, november 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,
in Proc. of the Tenth International Conference on Artificial Intelligence : Methodology, Systems, Applications (AIMSA'2002), LNCS 2443, Springer Verlag, pp. 51-60, september 2002. [Download] [BibTeX...]

Grégoire Éric,
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, september 2002. [BibTeX...]

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

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

Grégoire Éric,
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, april 2002. [BibTeX...]

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

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

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

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

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

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

Grégoire Éric,
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, september 2000. [BibTeX...]

Grégoire Éric, Ansart David,
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, august 2000. [BibTeX...]

Grégoire Éric, Ansart David,
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, august 2000. [BibTeX...]

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

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

Grégoire Éric,
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, november 1999. [BibTeX...]

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

Grégoire Éric,
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, june 1999. [BibTeX...]

Grégoire Éric,
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, june 1999. [BibTeX...]

Brisoux Laure, Saïs Lakhdar, Grégoire Éric,
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 (DEXA'98), IEEE Computer Press, pp. 41-46, september 1998. [BibTeX...]

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

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

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

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

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

Dauchez J.-F., Mouaddib Abdel-Illah, Grégoire Éric,
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, july 1997. [BibTeX...]

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

Mazure Bertrand, Saïs Lakhdar, Grégoire Éric,
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, april 1997. [Download] [BibTeX...]

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

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

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

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

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

Besnard P, Grégoire Éric,
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. [BibTeX...]

Besnard P, Grégoire Éric,
About deductive generalization,
in 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,
in From the Complexity to the Emergence of Meaning (Int. Congress), may 1991. (conférence invitée) [BibTeX...]

Grégoire Éric,
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. [BibTeX...]

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

Grégoire Éric,
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, july 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,
in Méthodologies for Intelligent Systems 4, Proc. on the Int. Symp. (ISMIS-89), pp. 430-438, october 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,
in Second Scandinavian Conference on Artificial Intelligence (SCAI'89), IOS Press, pp. 1064-1079, june 1989. [BibTeX...]

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

Grégoire Éric,
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, february 1989. [BibTeX...]

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

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

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

Grégoire Éric,
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, july 1986. [BibTeX...]

International conference paper(s) without proceedings

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

Besnard Philippe, Grégoire Éric, Ramon Sébastien,
Preemption Operators,
in 14th International Workshop on Non-Monotonic Reasoning (NMR'12), pp. 893-894, june 2012. (Roma, Italy) [Download] [BibTeX...]

Besnard P, Grégoire Éric, Ramon Sébastien,
Revising Subsuming Knowledge and Beliefs,
in International Workshop on Belief Revision and Argumentation , january 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,
in First workshop on Metaheuristics (META'06), Actes électroniques, november 2006. [Download] [BibTeX...]

Grégoire Éric, Mazure Bertrand, Piette Cédric,
A new local search algorithm to compute inconsistent kernels,
in 6th International Meta-heuristics International Conference (MIC'05), Actes électroniques, august 2005. [Download] [BibTeX...]

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

Boussemart Frédéric, Lecoutre Christophe, Merchez Sylvain, Grégoire Éric,
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, september 1998. [BibTeX...]

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

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

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

National conference paper(s)

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

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

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

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

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

Grégoire Éric, Mazure Bertrand, Piette Cédric,
Localiser des sources d'incohérence spécifiques sans les calculer toutes,
in Journées Francophones de la Programmation par Contraintes (JFPC'09), pp. 95-104, june 2009. [Download] [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,
in 16ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA'08), pp. 258-267, january 2008. [Download] [BibTeX...]

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

Grégoire Éric, Mazure Bertrand, Piette Cédric,
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, june 2007. [Download] [BibTeX...]

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

Grégoire Éric, Mazure Bertrand, Piette Cédric,
Extraction de sous-formules minimales inconsistantes,
in Secondes Journées Francophones de Programmation par Contraintes (JFPC'06), pp. 201-208, june 2006. [Download] [BibTeX...]

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

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

Grégoire Éric, Ostrowski Richard, Mazure Bertrand, Saïs Lakhdar,
Déduction Automatique de Dépendances fonctionnelles,
in Dixièmes Journées Nationales de la Résolution Pratique des Problèmes {NP}-Complets (JNPC'04), pp. 171-180, june 2004. [Download] [BibTeX...]

Ostrowski Richard, Mazure Bertrand, Saïs Lakhdar, Grégoire Éric,
Elimination des redondances dans les algorithmes de résolution de SAT,
in quatorzième Congrés Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'04), pp. 1343-1350, january 2004. [Download] [BibTeX...]

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

Brisoux Laure, Saïs Lakhdar, Grégoire Éric,
Recherche locale : vers une exploitation des propriétés structurelles,
in Sixièmes Journées Nationales sur la Résolution Pratique des Problèmes {NP}-complets (JNPC'00), pp. 243-244, june 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,
in 12èmes Congrès Francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'00), pp. 429-438, february 2000. [BibTeX...]

Grégoire Éric,
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, june 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,
in 4èmes Journées Nationales sur la résolution pratique des Problèmes NP-Complets (JNPC'98), pp. 121-127, may 1998. [BibTeX...]

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

Bessant Brigitte, Grégoire Éric, Marquis Pierre,
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, may 1998. [BibTeX...]

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

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

Proceedings

Grégoire Éric,
International Journal on Artificial Intelligence Tools (IJAIT), Vol. 20, N°4, august 2011. (Special Issue on Selected Papers from ICTAI 2010) [BibTeX...]

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

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

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

Books(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...]

Book chapter(s)

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

Grégoire Éric,
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. [BibTeX...]

Bessant Brigitte, Grégoire Éric, Marquis Pierre, Saïs Lakhdar,
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. [BibTeX...]

Grégoire Éric,
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. [BibTeX...]

Grégoire Éric,
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]) [BibTeX...]

Grégoire Éric, Saïs Lakhdar,
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. [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,
in Modèles, techniques et architectures, Hermès, Paris, France, december 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),
in Non-Standard Logics for Automated Reasoning, Smets P. et al. (eds.)(Eds.), Academic Press, Londres, 1988. [BibTeX...]

PhD thesis

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

Technical report(s)

Ostrowski Richard, Grégoire Éric, Mazure Bertrand, Saïs Lakhdar,
Recovering and exploiting structural knowledge from CNF formulas,
Technical report, Lens, France, april 2002. [Download] [BibTeX...]