| Publication | Date of Publication | Type |
|---|
| Dynamic blocked clause elimination for projected model counting | 2026-02-03 | Paper |
| Elements for a history of artificial intelligence | 2024-09-11 | Paper |
| Reasoning about action and change | 2024-09-11 | Paper |
| Boosting definability bipartition computation using SAT witnesses | 2024-05-29 | Paper |
On quantifying literals in Boolean logic and its applications to explainable AI
Journal of Artificial Intelligence Research | 2022-02-07 | Paper |
| Consolidating modal knowledge bases | 2021-07-06 | Paper |
On weakening strategies for PB solvers
(available as arXiv preprint) | 2021-04-07 | Paper |
Definability for model counting
Artificial Intelligence | 2020-03-04 | Paper |
Belief base rationalization for propositional merging
Journal Of Logic And Computation | 2019-01-31 | Paper |
| On distances between KD45\(_n\) Kripke models and their use for belief revision | 2018-07-12 | Paper |
| Fixed parameter tractable optimization under DNNF constraints | 2018-07-12 | Paper |
| Boosting distance-based revision using SAT encodings | 2017-11-22 | Paper |
| Symmetry-driven decision diagrams for knowledge compilation | 2017-07-18 | Paper |
On preprocessing techniques and their impact on propositional model counting
Journal of Automated Reasoning | 2017-07-06 | Paper |
Contraction in propositional logic
International Journal of Approximate Reasoning | 2016-12-15 | Paper |
Contraction in propositional logic
Lecture Notes in Computer Science | 2015-11-10 | Paper |
On supported inference and extension selection in abstract argumentation frameworks
Lecture Notes in Computer Science | 2015-11-10 | Paper |
Private expansion and revision in multi-agent settings
Lecture Notes in Computer Science | 2015-11-10 | Paper |
Propositional update operators based on formula/literal dependence
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Lost in translation: language independence in propositional logic -- application to belief change
Artificial Intelligence | 2015-08-27 | Paper |
A translation-based approach for revision of argumentation frameworks
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Disjunctive closures for knowledge compilation
Artificial Intelligence | 2014-10-13 | Paper |
| The epistemic view of belief merging: can we track the truth? | 2011-05-11 | Paper |
| Majority merging: from Boolean spaces to affine spaces | 2011-05-11 | Paper |
A syntactical approach to qualitative constraint networks merging
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
Reasoning under inconsistency: a forgetting-based approach
Artificial Intelligence | 2010-09-02 | Paper |
Disjunctive merging: quota and Gmin merging operators
Artificial Intelligence | 2010-09-02 | Paper |
Handling controversial arguments
Journal of Applied Non-Classical Logics | 2010-02-05 | Paper |
Representing interval orders by weighted bases: some complexity results
Mathematical Social Sciences | 2009-12-07 | Paper |
Aggregating Interval Orders by Propositional Optimization
Algorithmic Decision Theory | 2009-11-17 | Paper |
Introspective forgetting
Synthese | 2009-11-04 | Paper |
On propositional definability
Artificial Intelligence | 2009-07-17 | Paper |
On the merging of Dung's argumentation systems
Artificial Intelligence | 2009-07-09 | Paper |
Merging Qualitative Constraints Networks Using Propositional Logic
Lecture Notes in Computer Science | 2009-07-02 | Paper |
The strategy-proofness landscape of merging
(available as arXiv preprint) | 2009-04-28 | Paper |
Bipolarity in bilattice logics
International Journal of Intelligent Systems | 2008-11-07 | Paper |
Recovering Consistency by Forgetting Inconsistency
Logics in Artificial Intelligence | 2008-10-27 | Paper |
Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach
Lecture Notes in Computer Science | 2008-09-16 | Paper |
Inference from Controversial Arguments
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Conciliation through Iterated Belief Merging
Journal Of Logic And Computation | 2007-12-10 | Paper |
Some computational aspects of DISTANCE SAT
Journal of Automated Reasoning | 2007-05-03 | Paper |
| scientific article; zbMATH DE number 5139037 (Why is no real title available?) | 2007-03-30 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
\(\text{DA}^2\) merging operators
Artificial Intelligence | 2006-02-07 | Paper |
Compiling propositional weighted bases
Artificial Intelligence | 2006-02-07 | Paper |
Inconsistency Tolerance
Lecture Notes in Computer Science | 2005-08-17 | Paper |
On stratified belief base compilation
Annals of Mathematics and Artificial Intelligence | 2005-01-17 | Paper |
| scientific article; zbMATH DE number 2084399 (Why is no real title available?) | 2004-08-09 | Paper |
Resource-bounded paraconsistent inference
Annals of Mathematics and Artificial Intelligence | 2004-01-14 | Paper |
Computational Aspects of Quasi-Classical Entailment
Journal of Applied Non-Classical Logics | 2004-01-08 | Paper |
| Consequence finding algorithms | 2003-07-29 | Paper |
| scientific article; zbMATH DE number 1785006 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1946872 (Why is no real title available?) | 2003-07-07 | Paper |
| scientific article; zbMATH DE number 1946853 (Why is no real title available?) | 2003-07-07 | Paper |
| scientific article; zbMATH DE number 1931671 (Why is no real title available?) | 2003-06-20 | Paper |
Knowledge compilation for closed world reasoning and circumscription
Journal of Logic and Computation | 2003-05-14 | Paper |
Conditional independence in propositional logic.
Artificial Intelligence | 2003-01-21 | Paper |
Consistency restoration and explanations in dynamic CSPs---Application to configuration
Artificial Intelligence | 2002-03-03 | Paper |
Removing inconsistencies in assumption-based theories through knowledge-gathering actions
Studia Logica | 2002-01-02 | Paper |
Novelty in deductive databases
Journal Of Logic And Computation | 1996-12-11 | Paper |
| scientific article; zbMATH DE number 500950 (Why is no real title available?) | 1994-03-10 | Paper |
