Éric Grégoire

Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

Preserving Partial Solutions While Relaxing Constraint Networks.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Solving E-Squaro through SAT-Coding.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Change Your Belief about Belief Change.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants.

[BibT_eX]

[DOI]

Rev. d'Intelligence Artif., 2012

Disabling Subsumptions in a Logic-Based Component.

[BibT_eX]

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Model-based diagnosis with default information implemented through MAX-SAT technology.

[BibT_eX]

[DOI]

Dominique D'Almeida

Proceedings of the IEEE 13th International Conference on Information Reuse & Integration, 2012

Relax!

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

An Argumentation Framework for Reasoning about Bounded Resources.

[BibT_eX]

[DOI]

Badran Raddaoui

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Logic-based fusion of legal knowledge.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Information Fusion, 2012

Preemption Operators.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

2011

The Landscape of Inconsistency: a Perspective.

[BibT_eX]

[DOI]

Du Zhang

Int. J. Semantic Comput., 2011

A Framework for Handling Logical Inconsistencies in the Fusion of Boolean Knowledge Bases.

[BibT_eX]

[DOI]

Du Zhang

Int. J. Semantic Comput., 2011

Foreword.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2011

Enforcing Logically Weaker Knowledge in Classical Logic.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2011

A CSP Solver Focusing on fac Variables.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

MUS-based generation of arguments and counter-arguments.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2010

2009

Using local search to find MSSes and MUSes.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2009

About Agents that Reason by Case (Preliminary Report).

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2009

Local Autarkies Searching for the Dynamic Partition of CNF Formulae.

[BibT_eX]

[DOI]

Proceedings of the ICTAI 2009, 2009

A Default Logic Patch for Default Logic.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

Does This Set of Clauses Overlap with at Least One MUS?

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2009

2008

Extraction d'ensembles minimaux incohérents basée sur la recherche locale.

[BibT_eX]

[DOI]

Rev. d'Intelligence Artif., 2008

On Finding Minimally Unsatisfiable Cores of CSPS.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2008

Using default logic to enhance default logic: preliminary report.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2008

On Approaches to Explaining Infeasibility of Sets of Boolean Clauses.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

2007

Local-search Extraction of MUSes.

[BibT_eX]

[DOI]

Constraints An Int. J., 2007

Knowledge Refinement Through Revision.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007

Reducing hard SAT instances to polynomial ones.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007

Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Eliminating Redundant Clauses in SAT Instances.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007

MUST: Provide a Finer-Grained Explanation of Unsatisfiability.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

Logic-based approaches to information fusion.

[BibT_eX]

[DOI]

Sébastien Konieczny

Inf. Fusion, 2006

An unbiased approach to iterated fusion by weakening.

[BibT_eX]

[DOI]

Inf. Fusion, 2006

A Framework for Fusing Consistent Knowledge Bases Automatically.

[BibT_eX]

Du Zhang

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

Tracking MUSes and Strict Inconsistent Covers.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Extracting MUSes.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

About the dynamics of iterated knowledge fusion by weakening.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005

2004

Automatic Extraction of Functional Dependencies.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2004

Fusing Legal Knowledge.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

2003

Fusing Cooperative Technical-Specification Knowledge Components.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2003

Semaphores for the neutral handling of conflicting information in an iterated knowledge fusion process.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003

Eliminating Redundancies in SAT Search Trees.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

About the Use of Semaphores to Handle Contradictory Knowledge Sources.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

About the Fusion of Legal Knowledge with Exceptions.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Artificial Intelligence and Law, 2003

2002

About the incremental validation of first-order stratified knowledge-based decision-support systems.

[BibT_eX]

[DOI]

Inf. Sci., 2002

An Intelligent System Combining Different Resource-Bounded Reasoning Techniques.

[BibT_eX]

[DOI]

Abdel-Illah Mouaddib

Jean-François Dauchez

Appl. Intell., 2002

Recovering and Exploiting Structural Knowledge from CNF Formulas.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2002

Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2002

2001

Checking depth-limited consistency and inconsistency in knowledge-based systems.

[BibT_eX]

[DOI]

Laure Brisoux

Int. J. Intell. Syst., 2001

Fusing syntax and semantics in knowledge fusion.

[BibT_eX]

[DOI]

Juliette Dibie-Barthélemy

Ahcène Sofiane

Proceedings of the 2nd International Conference in Fuzzy Logic and Technology, 2001

2000

Validation and verification of knowledge-based systems: report on EUROVAV99.

[BibT_eX]

[DOI]

Frans Coenen

Trevor J. M. Bench-Capon

Robin Boswell

Knowl. Eng. Rev., 2000

Overcoming the Christmas Tree Syndrome.

[BibT_eX]

[DOI]

David Ansart

Int. J. Artif. Intell. Tools, 2000

A CSP Abstraction Framework.

[BibT_eX]

[DOI]

Proceedings of the Abstraction, 2000

Validation of first-order stratified KBs.

[BibT_eX]

[DOI]

David Ansart

Proceedings of the Fourth International Conference on Knowledge-Based Intelligent Information Engineering Systems & Allied Technologies, 2000

1999

Improving Backtrack Search for SAT by Means of Redundancy.

[BibT_eX]

[DOI]

Laure Brisoux

Proceedings of the Foundations of Intelligent Systems, 11th International Symposium, 1999

Overcoming the Christmas Tree Syndrome.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence, 1999

Progressive Instantiation for the Logical Validation of Nonmonotonic KBs.

[BibT_eX]

Proceedings of the Validation and Verification of Knowledge Based Systems, 1999

Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

1998

Boosting Complete Techniques Thanks to Local Search Methods.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1998

Validation of Knowledge-Based Systems by Means of Stochastic Search.

[BibT_eX]

[DOI]

Laure Brisoux

Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

System Description: CRIL Platform for SAT.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1998

Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 1998

1997

An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 1997

Tractable Cover Compilations.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Local Search for Computing Normal Circumstances Models.

[BibT_eX]

[DOI]

Proceedings of the Computational Intelligence, 1997

Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases.

[BibT_eX]

[DOI]

Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

Tabu Search for SAT.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996

Novelty in Deductive Databases.

[BibT_eX]

[DOI]

Pierre Marquis

J. Log. Comput., 1996

1992

About Deductive Generalization.

[BibT_eX]

[DOI]