Éric Grégoire

From MaRDI portal
Revision as of 17:05, 6 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:513327

Available identifiers

zbMath Open gregoire.ericMaRDI QIDQ513327

List of research outcomes





PublicationDate of PublicationType
Consensus-finding that preserves mutually conflicting hypothetical information from a same agent2021-01-20Paper
https://portal.mardi4nfdi.de/entity/Q45762122018-07-12Paper
About some UP-based polynomial fragments of SAT2017-03-06Paper
On getting rid of the preprocessing minimization step in MUC-finding algorithms2016-01-15Paper
On Anti-subsumptive Knowledge Enforcement2016-01-12Paper
https://portal.mardi4nfdi.de/entity/Q34556292015-12-11Paper
https://portal.mardi4nfdi.de/entity/Q54146782014-05-07Paper
Overriding subsuming rules2013-06-04Paper
THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE2012-03-19Paper
A FRAMEWORK FOR HANDLING LOGICAL INCONSISTENCIES IN THE FUSION OF BOOLEAN KNOWLEDGE BASES2012-03-19Paper
Overriding Subsuming Rules2011-06-29Paper
Using local search to find MSSes and MUSes2009-12-07Paper
Does This Set of Clauses Overlap with at Least One MUS?2009-07-28Paper
A Default Logic Patch for Default Logic2009-07-02Paper
Eliminating Redundant Clauses in SAT Instances2009-03-10Paper
MUST: Provide a Finer-Grained Explanation of Unsatisfiability2008-09-02Paper
Local-search extraction of mUSes2007-10-11Paper
Theory and Applications of Satisfiability Testing2005-12-16Paper
https://portal.mardi4nfdi.de/entity/Q47820642003-10-09Paper
https://portal.mardi4nfdi.de/entity/Q45467132003-07-25Paper
https://portal.mardi4nfdi.de/entity/Q44098592003-07-01Paper
https://portal.mardi4nfdi.de/entity/Q27376022003-02-13Paper
About the incremental validation of first-order stratified knowledge-based decision-support systems2003-02-11Paper
An intelligent system combining different resource-bounded reasoning techniques2002-09-18Paper
https://portal.mardi4nfdi.de/entity/Q45367432002-08-06Paper
https://portal.mardi4nfdi.de/entity/Q45367232002-06-25Paper
https://portal.mardi4nfdi.de/entity/Q27389972002-05-07Paper
PRACTICAL INCONSISTENCY MANAGEMENT FOR CRITICAL-TASKS DECISION-SUPPORT SYSTEMS2001-02-18Paper
https://portal.mardi4nfdi.de/entity/Q42443031999-05-27Paper
Boosting complete techniques thanks to local search methods1998-11-25Paper
Novelty in deductive databases1996-12-11Paper
https://portal.mardi4nfdi.de/entity/Q31387011994-09-20Paper
https://portal.mardi4nfdi.de/entity/Q42029161993-09-06Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:513327&oldid=7270184"
Powered by MediaWiki