| Publication | Date of Publication | Type |
|---|
| 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 | 2022-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999265 | 2021-07-06 | Paper |
| On weakening strategies for PB solvers | 2021-04-07 | Paper |
| Definability for model counting | 2020-03-04 | Paper |
| Belief base rationalization for propositional merging | 2019-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4576236 | 2018-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4576242 | 2018-07-12 | Paper |
| Boosting distance-based revision using SAT encodings | 2017-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5282953 | 2017-07-18 | Paper |
| On preprocessing techniques and their impact on propositional model counting | 2017-07-06 | Paper |
| Contraction in propositional logic | 2016-12-15 | Paper |
| Contraction in Propositional Logic | 2015-11-10 | Paper |
| On Supported Inference and Extension Selection in Abstract Argumentation Frameworks | 2015-11-10 | Paper |
| Private Expansion and Revision in Multi-agent Settings | 2015-11-10 | Paper |
| Propositional Update Operators Based on Formula/Literal Dependence | 2015-09-17 | Paper |
| Lost in translation: language independence in propositional logic -- application to belief change | 2015-08-27 | Paper |
| A Translation-Based Approach for Revision of Argumentation Frameworks | 2015-01-14 | Paper |
| Disjunctive closures for knowledge compilation | 2014-10-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2999197 | 2011-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2999198 | 2011-05-11 | Paper |
| A Syntactical Approach to Qualitative Constraint Networks Merging | 2010-10-12 | Paper |
| Reasoning under inconsistency: a forgetting-based approach | 2010-09-02 | Paper |
| Disjunctive merging: quota and Gmin merging operators | 2010-09-02 | Paper |
| Handling controversial arguments | 2010-02-05 | Paper |
| Representing interval orders by weighted bases: some complexity results | 2009-12-07 | Paper |
| Aggregating Interval Orders by Propositional Optimization | 2009-11-17 | Paper |
| Introspective forgetting | 2009-11-04 | Paper |
| On propositional definability | 2009-07-17 | Paper |
| On the merging of Dung's argumentation systems | 2009-07-09 | Paper |
| Merging Qualitative Constraints Networks Using Propositional Logic | 2009-07-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3624046 | 2009-04-28 | Paper |
| Bipolarity in bilattice logics | 2008-11-07 | Paper |
| Recovering Consistency by Forgetting Inconsistency | 2008-10-27 | Paper |
| Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach | 2008-09-16 | Paper |
| Inference from Controversial Arguments | 2008-05-27 | Paper |
| Conciliation through Iterated Belief Merging | 2007-12-10 | Paper |
| Some computational aspects of DISTANCE SAT | 2007-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3429018 | 2007-03-30 | Paper |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2006-06-23 | Paper |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2006-06-23 | Paper |
| \(\text{DA}^2\) merging operators | 2006-02-07 | Paper |
| Compiling propositional weighted bases | 2006-02-07 | Paper |
| Inconsistency Tolerance | 2005-08-17 | Paper |
| On stratified belief base compilation | 2005-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475158 | 2004-08-09 | Paper |
| Resource-bounded paraconsistent inference | 2004-01-14 | Paper |
| Computational Aspects of Quasi-Classical Entailment | 2004-01-08 | Paper |
| Consequence finding algorithms | 2003-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4546713 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411161 | 2003-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411139 | 2003-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708929 | 2003-06-20 | Paper |
| Knowledge compilation for closed world reasoning and circumscription | 2003-05-14 | Paper |
| Conditional independence in propositional logic. | 2003-01-21 | Paper |
| Consistency restoration and explanations in dynamic CSPs---Application to configuration | 2002-03-03 | Paper |
| Removing inconsistencies in assumption-based theories through knowledge-gathering actions | 2002-01-02 | Paper |
| Novelty in deductive databases | 1996-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4279083 | 1994-03-10 | Paper |
