| Publication | Date of Publication | Type |
|---|
| Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming | 2024-07-03 | Paper |
| A postulate-driven study of logical argumentation | 2023-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039147 | 2022-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5099993 | 2022-08-26 | Paper |
| Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) | 2022-01-04 | Paper |
| Simple contrapositive assumption-based argumentation. II: Reasoning with preferences | 2021-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999258 | 2021-07-06 | Paper |
| Hypersequent-based argumentation: an instantiation in the relevance logic RM | 2021-06-02 | Paper |
| A generalized proof-theoretic approach to logical argumentation based on hypersequents | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5145800 | 2021-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5145812 | 2021-01-21 | Paper |
| Simple contrapositive assumption-based argumentation frameworks | 2020-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5215669 | 2020-02-12 | Paper |
| A review of the relations between logical argumentation and reasoning with maximal consistency | 2020-02-11 | Paper |
| Three-Valued Paraconsistent Propositional Logics | 2019-10-31 | Paper |
| Simple contrapositive assumption-based frameworks | 2019-10-10 | Paper |
| Context-Aware Distance Semantics for Inconsistent Database Systems | 2019-08-20 | Paper |
| Normative reasoning by sequent-based argumentation | 2019-07-10 | Paper |
| Logical argumentation by dynamic proof systems | 2019-06-25 | Paper |
| Reasoning with maximal consistency by argumentative approaches | 2019-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4686539 | 2018-10-02 | Paper |
| Deductive argumentation by enhanced sequent calculi and dynamic derivations | 2018-04-23 | Paper |
| Four-valued paradefinite logics | 2017-12-14 | Paper |
| A graded approach to database repair by context-aware distance semantics | 2017-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5369472 | 2017-10-17 | Paper |
| Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae | 2017-07-12 | Paper |
| On the acceptance of loops in argumentation frameworks | 2017-01-31 | Paper |
| Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks | 2015-12-23 | Paper |
| A dissimilarity-based framework for generating inconsistency-tolerant logics | 2015-02-05 | Paper |
| Sequent-Based Argumentation for Normative Reasoning | 2014-09-08 | Paper |
| A QBF-based formalization of abstract argumentation semantics | 2014-04-17 | Paper |
| A Sequent-Based Representation of Logical Argumentation | 2013-10-04 | Paper |
| Conflict-Tolerant Semantics for Argumentation Frameworks | 2012-09-21 | Paper |
| Ideal paraconsistent logics | 2011-11-23 | Paper |
| Simplified forms of computerized reasoning with distance semantics | 2011-06-22 | Paper |
| A framework for reasoning under uncertainty based on non-deterministic distance semantics | 2011-06-08 | Paper |
| Coherent Composition of Distributed Knowledge-Bases through Abduction | 2011-05-06 | Paper |
| Maximal and premaximal paraconsistency in the framework of three-valued semantics | 2011-03-14 | Paper |
| Similarity-Based Inconsistency-Tolerant Logics | 2010-10-01 | Paper |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2010-04-06 | Paper |
| Distance-based paraconsistent logics | 2010-03-18 | Paper |
| Reasoning with different levels of uncertainty | 2009-11-11 | Paper |
| Distance-based non-deterministic semantics for reasoning with uncertainty | 2009-08-12 | Paper |
| Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data | 2009-07-02 | Paper |
| Foundations of Information and Knowledge Systems | 2009-05-14 | Paper |
| Preference Modeling by Rectangular Bilattices | 2009-04-07 | Paper |
| Reasoning with prioritized information by iterative aggregation of distance functions | 2008-12-11 | Paper |
| Distance-Based Repairs of Databases | 2008-10-30 | Paper |
| Reasoning with Uncertainty by Nmatrix–Metric Semantics | 2008-07-10 | Paper |
| Representation of Partial Knowledge and Query Answering in Locally Complete Databases | 2008-05-27 | Paper |
| Distance semantics for database repair | 2007-10-23 | Paper |
| A BILATTICE-BASED FRAMEWORK FOR HANDLING GRADED TRUTH AND IMPRECISION | 2007-05-23 | Paper |
| Computational methods for database repair by signed formulae | 2006-09-12 | Paper |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2006-06-23 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5715664 | 2006-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472206 | 2004-08-04 | Paper |
| Reducing Preferential Paraconsistent Reasoning to Classical Entailment | 2003-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536323 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329280 | 2002-10-08 | Paper |
| Paraconsistent declarative semantics for extended logic programs | 2002-08-20 | Paper |
| General patterns for nonmonotonic reasoning: from basic entailments to plausible relations | 2001-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936119 | 2000-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4262996 | 1999-09-22 | Paper |
| A model-theoretic approach for recovering consistent data from inconsistent knowledge bases | 1999-04-26 | Paper |
| The value of the four values | 1999-01-12 | Paper |
| Reasoning with logical bilattices | 1996-07-28 | Paper |
