Search the dblp DataBase
Éric Grégoire :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Bertrand Mazure , Lakhdar Sais , Éric Grégoire Tabu Search for SAT. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 1997, pp:281-285 [Conf ] Brigitte Bessant , Éric Grégoire , Pierre Marquis , Lakhdar Sais Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. [Citation Graph (0, 0)][DBLP ] AIMSA, 1998, pp:115-128 [Conf ] Éric Grégoire , Bertrand Mazure , Lakhdar Sais Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently. [Citation Graph (0, 0)][DBLP ] AIMSA, 2002, pp:51-60 [Conf ] Bertrand Mazure , Lakhdar Sais , Éric Grégoire System Description: CRIL Platform for SAT. [Citation Graph (0, 0)][DBLP ] CADE, 1998, pp:124-128 [Conf ] Richard Ostrowski , Éric Grégoire , Bertrand Mazure , Lakhdar Sais Recovering and Exploiting Structural Knowledge from CNF Formulas. [Citation Graph (0, 0)][DBLP ] CP, 2002, pp:185-199 [Conf ] Laure Brisoux , Éric Grégoire , Lakhdar Sais Validation of Knowledge-Based Systems by Means of Stochastic Search. [Citation Graph (0, 0)][DBLP ] DEXA Workshop, 1998, pp:41-46 [Conf ] Éric Grégoire Skeptical Inheritance Can Be More Expressive. [Citation Graph (0, 0)][DBLP ] ECAI, 1990, pp:326-332 [Conf ] Éric Grégoire , Bertrand Mazure , Cédric Piette Extracting MUSes. [Citation Graph (0, 0)][DBLP ] ECAI, 2006, pp:387-391 [Conf ] Éric Grégoire Formalizing Pertinence Links in Inheritance Reasoning: Preliminary Report. [Citation Graph (0, 0)][DBLP ] ECSQARU, 1991, pp:190-197 [Conf ] Éric Grégoire Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases. [Citation Graph (0, 0)][DBLP ] ESCQARU, 1999, pp:168-178 [Conf ] Bertrand Mazure , Lakhdar Sais , Éric Grégoire Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases. [Citation Graph (0, 0)][DBLP ] ECSQARU-FAPR, 1997, pp:122-130 [Conf ] Éric Grégoire Progressive Instantiation for the Logical Validation of Nonmonotonic KBs. [Citation Graph (0, 0)][DBLP ] EUROVAV, 1999, pp:37-51 [Conf ] Éric Grégoire , Bertrand Mazure , Cédric Piette Tracking MUSes and Strict Inconsistent Covers. [Citation Graph (0, 0)][DBLP ] FMCAD, 2006, pp:39-46 [Conf ] Bertrand Mazure , Lakhdar Sais , Éric Grégoire Local Search for Computing Normal Circumstances Models. [Citation Graph (0, 0)][DBLP ] Fuzzy Days, 1997, pp:565-566 [Conf ] Éric Grégoire About the Fusion of Legal Knowledge with Exceptions. [Citation Graph (0, 0)][DBLP ] ICAIL, 2003, pp:91-92 [Conf ] Éric Grégoire Fusing Cooperative Technical-Specification Knowledge Components. [Citation Graph (0, 0)][DBLP ] ICTAI, 2002, pp:535-542 [Conf ] Éric Grégoire About the Use of Semaphores to Handle Contradictory Knowledge Sources. [Citation Graph (0, 0)][DBLP ] ICTAI, 2003, pp:213-218 [Conf ] Éric Grégoire Overcoming the Christmas Tree Syndrome. [Citation Graph (0, 0)][DBLP ] ICTAI, 1999, pp:425-430 [Conf ] Richard Ostrowski , Bertrand Mazure , Lakhdar Sais , Éric Grégoire Eliminating Redundancies in SAT Search Trees. [Citation Graph (0, 0)][DBLP ] ICTAI, 2003, pp:100-104 [Conf ] Yacine Boufkhad , Éric Grégoire , Pierre Marquis , Bertrand Mazure , Lakhdar Sais Tractable Cover Compilations. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1997, pp:122-127 [Conf ] Éric Grégoire , Bertrand Mazure , Cédric Piette Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle. [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:2300-2305 [Conf ] Éric Grégoire About the Logical Interpretation of Ambiguous Inheritance Hierarchies. [Citation Graph (0, 0)][DBLP ] IPMU, 1990, pp:213-222 [Conf ] Éric Grégoire Semaphores for the neutral handling of conflicting information in an iterated knowledge fusion process. [Citation Graph (0, 0)][DBLP ] IRI, 2003, pp:137-143 [Conf ] Éric Grégoire Fusing Legal Knowledge. [Citation Graph (0, 0)][DBLP ] IRI, 2004, pp:522-529 [Conf ] Éric Grégoire About the dynamics of iterated knowledge fusion by weakening. [Citation Graph (0, 0)][DBLP ] IRI, 2005, pp:326-331 [Conf ] Éric Grégoire , Bertrand Mazure , Cédric Piette , Lakhdar Sais A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs. [Citation Graph (0, 0)][DBLP ] IRI, 2006, pp:325-329 [Conf ] Laure Brisoux , Éric Grégoire , Lakhdar Sais Improving Backtrack Search for SAT by Means of Redundancy. [Citation Graph (0, 0)][DBLP ] ISMIS, 1999, pp:301-309 [Conf ] Philippe Besnard , Éric Grégoire About Deductive Generalization. [Citation Graph (0, 0)][DBLP ] JELIA, 1992, pp:212-231 [Conf ] Philippe Besnard , Éric Grégoire Deductive Generalization in a Default Logic Setting. [Citation Graph (0, 0)][DBLP ] Nonmonotonic and Inductive Logic, 1991, pp:141-152 [Conf ] Christophe Lecoutre , Sylvain Merchez , Frédéric Boussemart , Éric Grégoire A CSP Abstraction Framework. [Citation Graph (0, 0)][DBLP ] SARA, 2000, pp:164-184 [Conf ] Christophe Lecoutre , Sylvain Merchez , Frédéric Boussemart , Éric Grégoire A CSP Abstraction Framework. [Citation Graph (0, 0)][DBLP ] SARA, 2000, pp:326-327 [Conf ] Éric Grégoire , Richard Ostrowski , Bertrand Mazure , Lakhdar Sais Automatic Extraction of Functional Dependencies. [Citation Graph (0, 0)][DBLP ] SAT, 2004, pp:- [Conf ] Éric Grégoire , Richard Ostrowski , Bertrand Mazure , Lakhdar Sais Automatic Extraction of Functional Dependencies. [Citation Graph (0, 0)][DBLP ] SAT (Selected Papers, 2004, pp:122-132 [Conf ] Éric Grégoire Reducing Inheritance Theories to Default Logic and Logic Programs. [Citation Graph (0, 0)][DBLP ] SCAI, 1989, pp:943-958 [Conf ] Éric Grégoire , Du Zhang A Framework for Fusing Consistent Knowledge Bases Automatically. [Citation Graph (0, 0)][DBLP ] SEKE, 2006, pp:426-431 [Conf ] Éric Grégoire Evaluation of the expert system tools KEE and ART: a Case Study. [Citation Graph (0, 0)][DBLP ] Applied Artificial Intelligence, 1988, v:2, n:1, pp:1-23 [Journal ] Bertrand Mazure , Lakhdar Sais , Éric Grégoire Boosting Complete Techniques Thanks to Local Search Methods. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1998, v:22, n:3-4, pp:319-331 [Journal ] Abdel-Illah Mouaddib , Éric Grégoire , Jean-François Dauchez An Intelligent System Combining Different Resource-Bounded Reasoning Techniques. [Citation Graph (0, 0)][DBLP ] Appl. Intell., 2002, v:17, n:2, pp:127-140 [Journal ] Éric Grégoire Fusing Cooperative Technical-Specification Knowledge Components. [Citation Graph (0, 0)][DBLP ] International Journal on Artificial Intelligence Tools, 2003, v:12, n:3, pp:265-278 [Journal ] Éric Grégoire , David Ansart Overcoming the Christmas Tree Syndrome. [Citation Graph (0, 0)][DBLP ] International Journal on Artificial Intelligence Tools, 2000, v:9, n:1, pp:97-111 [Journal ] Bertrand Mazure , Lakhdar Sais , Éric Grégoire An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Int. J. Cooperative Inf. Syst., 1997, v:6, n:1, pp:27-36 [Journal ] Laure Brisoux , Éric Grégoire , Lakhdar Sais Checking depth-limited consistency and inconsistency in knowledge-based systems. [Citation Graph (0, 0)][DBLP ] Int. J. Intell. Syst., 2001, v:16, n:3, pp:319-331 [Journal ] Sébastien Konieczny , Éric Grégoire Logic-based approaches to information fusion. [Citation Graph (0, 0)][DBLP ] Information Fusion, 2006, v:7, n:1, pp:2-3 [Journal ] Éric Grégoire An unbiased approach to iterated fusion by weakening. [Citation Graph (0, 0)][DBLP ] Information Fusion, 2006, v:7, n:1, pp:35-40 [Journal ] Éric Grégoire , Sébastien Konieczny Logic-based approaches to information fusion. [Citation Graph (0, 0)][DBLP ] Information Fusion, 2006, v:7, n:1, pp:4-18 [Journal ] Éric Grégoire , Bertrand Mazure About the incremental validation of first-order stratified knowledge-based decision-support systems. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 2002, v:142, n:1-4, pp:117-129 [Journal ] Éric Grégoire , Pierre Marquis Novelty in Deductive Databases. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1996, v:6, n:5, pp:683-708 [Journal ] Éric Grégoire , Bertrand Mazure , Cédric Piette MUST: Provide a Finer-Grained Explanation of Unsatisfiability. [Citation Graph (0, 0)][DBLP ] CP, 2007, pp:317-331 [Conf ] Olivier Fourdrinoy , Éric Grégoire , Bertrand Mazure , Lakhdar Sais Eliminating Redundant Clauses in SAT Instances. [Citation Graph (0, 0)][DBLP ] CPAIOR, 2007, pp:71-83 [Conf ] Éric Grégoire Knowledge Refinement Through Revision. [Citation Graph (0, 0)][DBLP ] IRI, 2007, pp:285-290 [Conf ] Olivier Fourdrinoy , Éric Grégoire , Bertrand Mazure , Lakhdar Sais Reducing hard SAT instances to polynomial ones. [Citation Graph (0, 0)][DBLP ] IRI, 2007, pp:18-23 [Conf ] Éric Grégoire , Bertrand Mazure , Cédric Piette Local-search Extraction of MUSes. [Citation Graph (0, 0)][DBLP ] Constraints, 2007, v:12, n:3, pp:325-344 [Journal ] Does This Set of Clauses Overlap with at Least One MUS? [Citation Graph (, )][DBLP ] A Default Logic Patch for Default Logic. [Citation Graph (, )][DBLP ] On Approaches to Explaining Infeasibility of Sets of Boolean Clauses. [Citation Graph (, )][DBLP ] Local Autarkies Searching for the Dynamic Partition of CNF Formulae. [Citation Graph (, )][DBLP ] Using default logic to enhance default logic: preliminary report. [Citation Graph (, )][DBLP ] About Agents that Reason by Case (Preliminary Report). [Citation Graph (, )][DBLP ] Validation of first-order stratified KBs. [Citation Graph (, )][DBLP ] Fusing syntax and semantics in knowledge fusion. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.421secs