| Publication | Date of Publication | Type |
|---|
Consensus-finding that preserves mutually conflicting hypothetical information from a same agent
AI Communications | 2021-01-20 | Paper |
| A computational approach to consensus-finding | 2018-07-12 | Paper |
About some UP-based polynomial fragments of SAT
Annals of Mathematics and Artificial Intelligence | 2017-03-06 | Paper |
On getting rid of the preprocessing minimization step in MUC-finding algorithms
Constraints | 2016-01-15 | Paper |
On anti-subsumptive knowledge enforcement
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
| Preemption operators | 2015-12-11 | Paper |
| A glance at preemption operators | 2014-05-07 | Paper |
Bridge integrity assessment by continuous wavelet transforms
International Journal of Structural Stability and Dynamics | 2013-09-05 | Paper |
Overriding subsuming rules
International Journal of Approximate Reasoning | 2013-06-04 | Paper |
THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE
International Journal of Semantic Computing | 2012-03-19 | Paper |
A framework for handling logical inconsistencies in the fusion of Boolean knowledge bases
International Journal of Semantic Computing | 2012-03-19 | Paper |
Overriding subsuming rules
Lecture Notes in Computer Science | 2011-06-29 | Paper |
Using local search to find MSSes and MUSes
European Journal of Operational Research | 2009-12-07 | Paper |
Does This Set of Clauses Overlap with at Least One MUS?
Automated Deduction – CADE-22 | 2009-07-28 | Paper |
A Default Logic Patch for Default Logic
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Eliminating Redundant Clauses in SAT Instances
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2009-03-10 | Paper |
MUST: Provide a Finer-Grained Explanation of Unsatisfiability
Principles and Practice of Constraint Programming – CP 2007 | 2008-09-02 | Paper |
Local-search extraction of mUSes
Constraints | 2007-10-11 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-16 | Paper |
| scientific article; zbMATH DE number 1836387 (Why is no real title available?) | 2003-10-09 | Paper |
| scientific article; zbMATH DE number 1785006 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1943828 (Why is no real title available?) | 2003-07-01 | Paper |
| About the incremental validation of first-order stratified knowledge-based decision-support systems | 2003-02-13 | Paper |
About the incremental validation of first-order stratified knowledge-based decision-support systems
Information Sciences | 2003-02-11 | Paper |
An intelligent system combining different resource-bounded reasoning techniques
Applied Intelligence | 2002-09-18 | Paper |
| scientific article; zbMATH DE number 1759728 (Why is no real title available?) | 2002-08-06 | Paper |
| scientific article; zbMATH DE number 1759711 (Why is no real title available?) | 2002-06-25 | Paper |
Checking depth-limited consistency and inconsistency in knowledge-based systems
International Journal of Intelligent Systems | 2002-05-07 | Paper |
PRACTICAL INCONSISTENCY MANAGEMENT FOR CRITICAL-TASKS DECISION-SUPPORT SYSTEMS
International Journal of General Systems | 2001-02-18 | Paper |
| scientific article; zbMATH DE number 1292295 (Why is no real title available?) | 1999-05-27 | Paper |
Boosting complete techniques thanks to local search methods
Annals of Mathematics and Artificial Intelligence | 1998-11-25 | Paper |
Novelty in deductive databases
Journal Of Logic And Computation | 1996-12-11 | Paper |
| scientific article; zbMATH DE number 431927 (Why is no real title available?) | 1994-09-20 | Paper |
| scientific article; zbMATH DE number 408774 (Why is no real title available?) | 1993-09-06 | Paper |
