 | 2009 |
|---|
| 62 |       | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
Does This Set of Clauses Overlap with at Least One MUS?
CADE 2009: 100-115 |
| 61 | | Philippe Besnard,
Éric Grégoire,
Sébastien Ramon:
A Default Logic Patch for Default Logic.
ECSQARU 2009: 578-589 |
| 60 | | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
Using local search to find MSSes and MUSes.
European Journal of Operational Research 199(3): 640-646 (2009) |
| 2008 |
|---|
| 59 | | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses.
ICTAI (1) 2008: 74-83 |
| 58 | | Éric Grégoire:
Using default logic to enhance default logic: preliminary report.
IRI 2008: 336-340 |
| 57 | | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
On Finding Minimally Unsatisfiable Cores of CSPS.
International Journal on Artificial Intelligence Tools 17(4): 745-763 (2008) |
| 56 | | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
Extraction d'ensembles minimaux incohérents basée sur la recherche locale.
Revue d'Intelligence Artificielle 22(2): 161-181 (2008) |
| 2007 |
|---|
| 55 | | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
MUST: Provide a Finer-Grained Explanation of Unsatisfiability.
CP 2007: 317-331 |
| 54 | | Olivier Fourdrinoy,
Éric Grégoire,
Bertrand Mazure,
Lakhdar Sais:
Eliminating Redundant Clauses in SAT Instances.
CPAIOR 2007: 71-83 |
| 53 | | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle.
IJCAI 2007: 2300-2305 |
| 52 | | Olivier Fourdrinoy,
Éric Grégoire,
Bertrand Mazure,
Lakhdar Sais:
Reducing hard SAT instances to polynomial ones.
IRI 2007: 18-23 |
| 51 | | Éric Grégoire:
Knowledge Refinement Through Revision.
IRI 2007: 285-290 |
| 50 | | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
Local-search Extraction of MUSes.
Constraints 12(3): 325-344 (2007) |
| 2006 |
|---|
| 49 |  | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
Extracting MUSes.
ECAI 2006: 387-391 |
| 48 | | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
Tracking MUSes and Strict Inconsistent Covers.
FMCAD 2006: 39-46 |
| 47 | | Éric Grégoire,
Bertrand Mazure,
Cédric Piette,
Lakhdar Sais:
A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs.
IRI 2006: 325-329 |
| 46 | | Éric Grégoire,
Du Zhang:
A Framework for Fusing Consistent Knowledge Bases Automatically.
SEKE 2006: 426-431 |
| 45 | | Sébastien Konieczny,
Éric Grégoire:
Logic-based approaches to information fusion.
Information Fusion 7(1): 2-3 (2006) |
| 44 | | Éric Grégoire:
An unbiased approach to iterated fusion by weakening.
Information Fusion 7(1): 35-40 (2006) |
| 43 | | Éric Grégoire,
Sébastien Konieczny:
Logic-based approaches to information fusion.
Information Fusion 7(1): 4-18 (2006) |
| 2005 |
|---|
| 42 | | Éric Grégoire:
About the dynamics of iterated knowledge fusion by weakening.
IRI 2005: 326-331 |
| 2004 |
|---|
| 41 | | Du Zhang,
Éric Grégoire,
Doug DeGroot:
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, IRI - 2004, November 8-10, 2004, Las Vegas Hilton, Las Vegas, NV, USA
IEEE Systems, Man, and Cybernetics Society 2004 |
| 40 | | Éric Grégoire:
Fusing Legal Knowledge.
IRI 2004: 522-529 |
| 39 | | Éric Grégoire,
Richard Ostrowski,
Bertrand Mazure,
Lakhdar Sais:
Automatic Extraction of Functional Dependencies.
SAT 2004 |
| 38 | | Éric Grégoire,
Richard Ostrowski,
Bertrand Mazure,
Lakhdar Sais:
Automatic Extraction of Functional Dependencies.
SAT (Selected Papers 2004: 122-132 |
| 2003 |
|---|
| 37 | | Éric Grégoire:
About the Fusion of Legal Knowledge with Exceptions.
ICAIL 2003: 91-92 |
| 36 | | Richard Ostrowski,
Bertrand Mazure,
Lakhdar Sais,
Éric Grégoire:
Eliminating Redundancies in SAT Search Trees.
ICTAI 2003: 100-104 |
| 35 | | Éric Grégoire:
About the Use of Semaphores to Handle Contradictory Knowledge Sources.
ICTAI 2003: 213-218 |
| 34 | | Éric Grégoire:
Semaphores for the neutral handling of conflicting information in an iterated knowledge fusion process.
IRI 2003: 137-143 |
| 33 | | Éric Grégoire:
Fusing Cooperative Technical-Specification Knowledge Components.
International Journal on Artificial Intelligence Tools 12(3): 265-278 (2003) |
| 2002 |
|---|
| 32 | | Éric Grégoire,
Bertrand Mazure,
Lakhdar Sais:
Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently.
AIMSA 2002: 51-60 |
| 31 | | Richard Ostrowski,
Éric Grégoire,
Bertrand Mazure,
Lakhdar Sais:
Recovering and Exploiting Structural Knowledge from CNF Formulas.
CP 2002: 185-199 |
| 30 | | Éric Grégoire:
Fusing Cooperative Technical-Specification Knowledge Components.
ICTAI 2002: 535-542 |
| 29 | | Abdel-Illah Mouaddib,
Éric Grégoire,
Jean-François Dauchez:
An Intelligent System Combining Different Resource-Bounded Reasoning Techniques.
Appl. Intell. 17(2): 127-140 (2002) |
| 28 | | Éric Grégoire,
Bertrand Mazure:
About the incremental validation of first-order stratified knowledge-based decision-support systems.
Inf. Sci. 142(1-4): 117-129 (2002) |
| 2001 |
|---|
| 27 | | Éric Grégoire,
Ahcène Sofiane:
Fusing syntax and semantics in knowledge fusion.
EUSFLAT Conf. 2001: 414-417 |
| 26 | | Laure Brisoux,
Éric Grégoire,
Lakhdar Sais:
Checking depth-limited consistency and inconsistency in knowledge-based systems.
Int. J. Intell. Syst. 16(3): 319-331 (2001) |
| 2000 |
|---|
| 25 | | Éric Grégoire,
David Ansart:
Validation of first-order stratified KBs.
KES 2000: 145-149 |
| 24 | | Christophe Lecoutre,
Sylvain Merchez,
Frédéric Boussemart,
Éric Grégoire:
A CSP Abstraction Framework.
SARA 2000: 164-184 |
| 23 | | Christophe Lecoutre,
Sylvain Merchez,
Frédéric Boussemart,
Éric Grégoire:
A CSP Abstraction Framework.
SARA 2000: 326-327 |
| 22 | | Éric Grégoire,
David Ansart:
Overcoming the Christmas Tree Syndrome.
International Journal on Artificial Intelligence Tools 9(1): 97-111 (2000) |
| 1999 |
|---|
| 21 | | Éric Grégoire:
Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases.
ESCQARU 1999: 168-178 |
| 20 | | Éric Grégoire:
Progressive Instantiation for the Logical Validation of Nonmonotonic KBs.
EUROVAV 1999: 37-51 |
| 19 | | Éric Grégoire:
Overcoming the Christmas Tree Syndrome.
ICTAI 1999: 425-430 |
| 18 | | Laure Brisoux,
Éric Grégoire,
Lakhdar Sais:
Improving Backtrack Search for SAT by Means of Redundancy.
ISMIS 1999: 301-309 |
| 1998 |
|---|
| 17 | | Brigitte Bessant,
Éric Grégoire,
Pierre Marquis,
Lakhdar Sais:
Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach.
AIMSA 1998: 115-128 |
| 16 | | Bertrand Mazure,
Lakhdar Sais,
Éric Grégoire:
System Description: CRIL Platform for SAT.
CADE 1998: 124-128 |
| 15 | | Laure Brisoux,
Éric Grégoire,
Lakhdar Sais:
Validation of Knowledge-Based Systems by Means of Stochastic Search.
DEXA Workshop 1998: 41-46 |
| 14 | | Bertrand Mazure,
Lakhdar Sais,
Éric Grégoire:
Boosting Complete Techniques Thanks to Local Search Methods.
Ann. Math. Artif. Intell. 22(3-4): 319-331 (1998) |
| 1997 |
|---|
| 13 | | Bertrand Mazure,
Lakhdar Sais,
Éric Grégoire:
Tabu Search for SAT.
AAAI/IAAI 1997: 281-285 |
| 12 | | Bertrand Mazure,
Lakhdar Sais,
Éric Grégoire:
Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases.
ECSQARU-FAPR 1997: 122-130 |
| 11 | | Bertrand Mazure,
Lakhdar Sais,
Éric Grégoire:
Local Search for Computing Normal Circumstances Models.
Fuzzy Days 1997: 565-566 |
| 10 | | Yacine Boufkhad,
Éric Grégoire,
Pierre Marquis,
Bertrand Mazure,
Lakhdar Sais:
Tractable Cover Compilations.
IJCAI (1) 1997: 122-127 |
| 9 | | Bertrand Mazure,
Lakhdar Sais,
Éric Grégoire:
An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases.
Int. J. Cooperative Inf. Syst. 6(1): 27-36 (1997) |
| 1996 |
|---|
| 8 | | Éric Grégoire,
Pierre Marquis:
Novelty in Deductive Databases.
J. Log. Comput. 6(5): 683-708 (1996) |
| 1992 |
|---|
| 7 | | Philippe Besnard,
Éric Grégoire:
About Deductive Generalization.
JELIA 1992: 212-231 |
| 1991 |
|---|
| 6 | | Éric Grégoire:
Formalizing Pertinence Links in Inheritance Reasoning: Preliminary Report.
ECSQARU 1991: 190-197 |
| 5 | | Philippe Besnard,
Éric Grégoire:
Deductive Generalization in a Default Logic Setting.
Nonmonotonic and Inductive Logic 1991: 141-152 |
| 1990 |
|---|
| 4 | | Éric Grégoire:
Skeptical Inheritance Can Be More Expressive.
ECAI 1990: 326-332 |
| 3 | | Éric Grégoire:
About the Logical Interpretation of Ambiguous Inheritance Hierarchies.
IPMU 1990: 213-222 |
| 1989 |
|---|
| 2 | | Éric Grégoire:
Reducing Inheritance Theories to Default Logic and Logic Programs.
SCAI 1989: 943-958 |
| 1988 |
|---|
| 1 | | Éric Grégoire:
Evaluation of the expert system tools KEE and ART: a Case Study.
Applied Artificial Intelligence 2(1): 1-23 (1988) |
