Éric Grégoire

Available identifiers

zbMath Open gregoire.ericMaRDI QIDQ513327

List of research outcomes

Publication	Date of Publication	Type
Consensus-finding that preserves mutually conflicting hypothetical information from a same agent	2021-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q4576212	2018-07-12	Paper
About some UP-based polynomial fragments of SAT	2017-03-06	Paper
On getting rid of the preprocessing minimization step in MUC-finding algorithms	2016-01-15	Paper
On Anti-subsumptive Knowledge Enforcement	2016-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q3455629	2015-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q5414678	2014-05-07	Paper
Overriding subsuming rules	2013-06-04	Paper
THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE	2012-03-19	Paper
A FRAMEWORK FOR HANDLING LOGICAL INCONSISTENCIES IN THE FUSION OF BOOLEAN KNOWLEDGE BASES	2012-03-19	Paper
Overriding Subsuming Rules	2011-06-29	Paper
Using local search to find MSSes and MUSes	2009-12-07	Paper
Does This Set of Clauses Overlap with at Least One MUS?	2009-07-28	Paper
A Default Logic Patch for Default Logic	2009-07-02	Paper
Eliminating Redundant Clauses in SAT Instances	2009-03-10	Paper
MUST: Provide a Finer-Grained Explanation of Unsatisfiability	2008-09-02	Paper
Local-search extraction of mUSes	2007-10-11	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q4782064	2003-10-09	Paper
https://portal.mardi4nfdi.de/entity/Q4546713	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4409859	2003-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q2737602	2003-02-13	Paper
About the incremental validation of first-order stratified knowledge-based decision-support systems	2003-02-11	Paper
An intelligent system combining different resource-bounded reasoning techniques	2002-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q4536743	2002-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4536723	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q2738997	2002-05-07	Paper
PRACTICAL INCONSISTENCY MANAGEMENT FOR CRITICAL-TASKS DECISION-SUPPORT SYSTEMS	2001-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4244303	1999-05-27	Paper
Boosting complete techniques thanks to local search methods	1998-11-25	Paper
Novelty in deductive databases	1996-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q3138701	1994-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4202916	1993-09-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Éric Grégoire