2008 |
59 | EE | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses.
ICTAI (1) 2008: 74-83 |
58 | EE | Éric Grégoire:
Using default logic to enhance default logic: preliminary report.
IRI 2008: 336-340 |
57 | EE | É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 | EE | É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 | EE | Éric Grégoire,
Bertrand Mazure,
Cédric Piette:
MUST: Provide a Finer-Grained Explanation of Unsatisfiability.
CP 2007: 317-331 |
54 | EE | Olivier Fourdrinoy,
Éric Grégoire,
Bertrand Mazure,
Lakhdar Sais:
Eliminating Redundant Clauses in SAT Instances.
CPAIOR 2007: 71-83 |
53 | EE | É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 | EE | Olivier Fourdrinoy,
Éric Grégoire,
Bertrand Mazure,
Lakhdar Sais:
Reducing hard SAT instances to polynomial ones.
IRI 2007: 18-23 |
51 | EE | Éric Grégoire:
Knowledge Refinement Through Revision.
IRI 2007: 285-290 |
50 | EE | É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 | EE | É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 | EE | Sébastien Konieczny,
Éric Grégoire:
Logic-based approaches to information fusion.
Information Fusion 7(1): 2-3 (2006) |
44 | EE | Éric Grégoire:
An unbiased approach to iterated fusion by weakening.
Information Fusion 7(1): 35-40 (2006) |
43 | EE | Éric Grégoire,
Sébastien Konieczny:
Logic-based approaches to information fusion.
Information Fusion 7(1): 4-18 (2006) |
2005 |
42 | EE | É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 | EE | Éric Grégoire,
Richard Ostrowski,
Bertrand Mazure,
Lakhdar Sais:
Automatic Extraction of Functional Dependencies.
SAT 2004 |
38 | EE | É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 | EE | Richard Ostrowski,
Bertrand Mazure,
Lakhdar Sais,
Éric Grégoire:
Eliminating Redundancies in SAT Search Trees.
ICTAI 2003: 100-104 |
35 | EE | É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 | EE | Éric Grégoire:
Fusing Cooperative Technical-Specification Knowledge Components.
International Journal on Artificial Intelligence Tools 12(3): 265-278 (2003) |
2002 |
32 | EE | É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 | EE | Richard Ostrowski,
Éric Grégoire,
Bertrand Mazure,
Lakhdar Sais:
Recovering and Exploiting Structural Knowledge from CNF Formulas.
CP 2002: 185-199 |
30 | EE | É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 | EE | É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 | EE | É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 | EE | Éric Grégoire,
David Ansart:
Validation of first-order stratified KBs.
KES 2000: 145-149 |
24 | EE | Christophe Lecoutre,
Sylvain Merchez,
Frédéric Boussemart,
Éric Grégoire:
A CSP Abstraction Framework.
SARA 2000: 164-184 |
23 | EE | 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 | EE | É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 | EE | É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 | EE | Brigitte Bessant,
Éric Grégoire,
Pierre Marquis,
Lakhdar Sais:
Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach.
AIMSA 1998: 115-128 |
16 | EE | 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) |