The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Éric Grégoire: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bertrand Mazure, Lakhdar Sais, Éric Grégoire
    Tabu Search for SAT. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1997, pp:281-285 [Conf]
  2. 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]
  3. É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]
  4. Bertrand Mazure, Lakhdar Sais, Éric Grégoire
    System Description: CRIL Platform for SAT. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:124-128 [Conf]
  5. 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]
  6. 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]
  7. Éric Grégoire
    Skeptical Inheritance Can Be More Expressive. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:326-332 [Conf]
  8. Éric Grégoire, Bertrand Mazure, Cédric Piette
    Extracting MUSes. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:387-391 [Conf]
  9. Éric Grégoire
    Formalizing Pertinence Links in Inheritance Reasoning: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1991, pp:190-197 [Conf]
  10. É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]
  11. 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]
  12. Éric Grégoire
    Progressive Instantiation for the Logical Validation of Nonmonotonic KBs. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1999, pp:37-51 [Conf]
  13. É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]
  14. 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]
  15. Éric Grégoire
    About the Fusion of Legal Knowledge with Exceptions. [Citation Graph (0, 0)][DBLP]
    ICAIL, 2003, pp:91-92 [Conf]
  16. Éric Grégoire
    Fusing Cooperative Technical-Specification Knowledge Components. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2002, pp:535-542 [Conf]
  17. Éric Grégoire
    About the Use of Semaphores to Handle Contradictory Knowledge Sources. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2003, pp:213-218 [Conf]
  18. Éric Grégoire
    Overcoming the Christmas Tree Syndrome. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1999, pp:425-430 [Conf]
  19. 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]
  20. 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]
  21. É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]
  22. Éric Grégoire
    About the Logical Interpretation of Ambiguous Inheritance Hierarchies. [Citation Graph (0, 0)][DBLP]
    IPMU, 1990, pp:213-222 [Conf]
  23. É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]
  24. Éric Grégoire
    Fusing Legal Knowledge. [Citation Graph (0, 0)][DBLP]
    IRI, 2004, pp:522-529 [Conf]
  25. Éric Grégoire
    About the dynamics of iterated knowledge fusion by weakening. [Citation Graph (0, 0)][DBLP]
    IRI, 2005, pp:326-331 [Conf]
  26. É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]
  27. 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]
  28. Philippe Besnard, Éric Grégoire
    About Deductive Generalization. [Citation Graph (0, 0)][DBLP]
    JELIA, 1992, pp:212-231 [Conf]
  29. 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]
  30. 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]
  31. 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]
  32. Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais
    Automatic Extraction of Functional Dependencies. [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  33. É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]
  34. Éric Grégoire
    Reducing Inheritance Theories to Default Logic and Logic Programs. [Citation Graph (0, 0)][DBLP]
    SCAI, 1989, pp:943-958 [Conf]
  35. Éric Grégoire, Du Zhang
    A Framework for Fusing Consistent Knowledge Bases Automatically. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:426-431 [Conf]
  36. É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]
  37. 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]
  38. 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]
  39. É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]
  40. É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]
  41. 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]
  42. 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]
  43. 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]
  44. É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]
  45. É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]
  46. É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]
  47. É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]
  48. É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]
  49. 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]
  50. Éric Grégoire
    Knowledge Refinement Through Revision. [Citation Graph (0, 0)][DBLP]
    IRI, 2007, pp:285-290 [Conf]
  51. 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]
  52. É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]

  53. Does This Set of Clauses Overlap with at Least One MUS? [Citation Graph (, )][DBLP]


  54. A Default Logic Patch for Default Logic. [Citation Graph (, )][DBLP]


  55. On Approaches to Explaining Infeasibility of Sets of Boolean Clauses. [Citation Graph (, )][DBLP]


  56. Local Autarkies Searching for the Dynamic Partition of CNF Formulae. [Citation Graph (, )][DBLP]


  57. Using default logic to enhance default logic: preliminary report. [Citation Graph (, )][DBLP]


  58. About Agents that Reason by Case (Preliminary Report). [Citation Graph (, )][DBLP]


  59. Validation of first-order stratified KBs. [Citation Graph (, )][DBLP]


  60. Fusing syntax and semantics in knowledge fusion. [Citation Graph (, )][DBLP]


Search in 0.079secs, Finished in 0.081secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002