dblp.uni-trier.dewww.uni-trier.de

Éric Grégoire Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
62EEÉric Grégoire, Bertrand Mazure, Cédric Piette: Does This Set of Clauses Overlap with at Least One MUS? CADE 2009: 100-115
61EEPhilippe Besnard, Éric Grégoire, Sébastien Ramon: A Default Logic Patch for Default Logic. ECSQARU 2009: 578-589
60EEÉ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
59EEÉric Grégoire, Bertrand Mazure, Cédric Piette: On Approaches to Explaining Infeasibility of Sets of Boolean Clauses. ICTAI (1) 2008: 74-83
58EEÉric Grégoire: Using default logic to enhance default logic: preliminary report. IRI 2008: 336-340
57EEÉ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)
56EEÉ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
55EEÉric Grégoire, Bertrand Mazure, Cédric Piette: MUST: Provide a Finer-Grained Explanation of Unsatisfiability. CP 2007: 317-331
54EEOlivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais: Eliminating Redundant Clauses in SAT Instances. CPAIOR 2007: 71-83
53EEÉ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
52EEOlivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais: Reducing hard SAT instances to polynomial ones. IRI 2007: 18-23
51EEÉric Grégoire: Knowledge Refinement Through Revision. IRI 2007: 285-290
50EEÉ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
48EEÉ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
45EESébastien Konieczny, Éric Grégoire: Logic-based approaches to information fusion. Information Fusion 7(1): 2-3 (2006)
44EEÉric Grégoire: An unbiased approach to iterated fusion by weakening. Information Fusion 7(1): 35-40 (2006)
43EEÉric Grégoire, Sébastien Konieczny: Logic-based approaches to information fusion. Information Fusion 7(1): 4-18 (2006)
2005
42EEÉ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
39EEÉric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais: Automatic Extraction of Functional Dependencies. SAT 2004
38EEÉ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
36EERichard Ostrowski, Bertrand Mazure, Lakhdar Sais, Éric Grégoire: Eliminating Redundancies in SAT Search Trees. ICTAI 2003: 100-104
35EEÉ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
33EEÉric Grégoire: Fusing Cooperative Technical-Specification Knowledge Components. International Journal on Artificial Intelligence Tools 12(3): 265-278 (2003)
2002
32EEÉ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
31EERichard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Sais: Recovering and Exploiting Structural Knowledge from CNF Formulas. CP 2002: 185-199
30EEÉ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)
28EEÉ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
27EEÉ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
25EEÉric Grégoire, David Ansart: Validation of first-order stratified KBs. KES 2000: 145-149
24EEChristophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire: A CSP Abstraction Framework. SARA 2000: 164-184
23EEChristophe 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
21EEÉ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
19EEÉric Grégoire: Overcoming the Christmas Tree Syndrome. ICTAI 1999: 425-430
18EELaure Brisoux, Éric Grégoire, Lakhdar Sais: Improving Backtrack Search for SAT by Means of Redundancy. ISMIS 1999: 301-309
1998
17EEBrigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais: Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. AIMSA 1998: 115-128
16EEBertrand 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
7EEPhilippe 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)

Coauthor Index

1David Ansart [22] [25]
2Philippe Besnard [5] [7] [61]
3Brigitte Bessant [17]
4Yacine Boufkhad [10]
5Frédéric Boussemart [23] [24]
6Laure Brisoux [15] [18] [26]
7Jean-François Dauchez [29]
8Doug DeGroot [41]
9Olivier Fourdrinoy [52] [54]
10Sébastien Konieczny [43] [45]
11Christophe Lecoutre [23] [24]
12Pierre Marquis [8] [10] [17]
13Bertrand Mazure [9] [10] [11] [12] [13] [14] [16] [28] [31] [32] [36] [38] [39] [47] [48] [49] [50] [52] [53] [54] [55] [56] [57] [59] [60] [62]
14Sylvain Merchez [23] [24]
15Abdel-Illah Mouaddib [29]
16Richard Ostrowski [31] [36] [38] [39]
17Cédric Piette [47] [48] [49] [50] [53] [55] [56] [57] [59] [60] [62]
18Sébastien Ramon [61]
19Lakhdar Sais [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [26] [31] [32] [36] [38] [39] [47] [52] [54]
20Ahcène Sofiane [27]
21Du Zhang [41] [46]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)