| Publication | Date of Publication | Type |
|---|
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
Artificial Intelligence | 2024-07-03 | Paper |
A postulate-driven study of logical argumentation
Artificial Intelligence | 2023-08-28 | Paper |
| Logic-based approaches to formal argumentation | 2022-10-12 | Paper |
| scientific article; zbMATH DE number 7576842 (Why is no real title available?) | 2022-08-26 | Paper |
Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
Outstanding Contributions to Logic | 2022-01-04 | Paper |
Simple contrapositive assumption-based argumentation. II: Reasoning with preferences
International Journal of Approximate Reasoning | 2021-12-13 | Paper |
| scientific article; zbMATH DE number 7368411 (Why is no real title available?) | 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
Studia Logica | 2021-04-27 | Paper |
| On minimality and consistency tolerance in logical argumentation frameworks | 2021-01-21 | Paper |
| scientific article; zbMATH DE number 7299857 (Why is no real title available?) | 2021-01-21 | Paper |
Simple contrapositive assumption-based argumentation frameworks
International Journal of Approximate Reasoning | 2020-06-24 | Paper |
| On the semantics of simple contrapositive assumption-based argumentation frameworks | 2020-02-12 | Paper |
A review of the relations between logical argumentation and reasoning with maximal consistency
Annals of Mathematics and Artificial Intelligence | 2020-02-11 | Paper |
Three-valued paraconsistent propositional logics
Springer Proceedings in Mathematics & Statistics | 2019-10-31 | Paper |
| Simple contrapositive assumption-based frameworks | 2019-10-10 | Paper |
Context-aware distance semantics for inconsistent database systems
Information Processing and Management of Uncertainty in Knowledge-Based Systems | 2019-08-20 | Paper |
Normative reasoning by sequent-based argumentation
Journal Of Logic And Computation | 2019-07-10 | Paper |
Logical argumentation by dynamic proof systems
Theoretical Computer Science | 2019-06-25 | Paper |
Reasoning with maximal consistency by argumentative approaches
Journal Of Logic And Computation | 2019-01-31 | Paper |
| Theory of effective propositional paraconsistent logics | 2018-10-02 | Paper |
| Deductive argumentation by enhanced sequent calculi and dynamic derivations | 2018-04-23 | Paper |
Four-valued paradefinite logics
Studia Logica | 2017-12-14 | Paper |
A graded approach to database repair by context-aware distance semantics
Fuzzy Sets and Systems | 2017-11-14 | Paper |
| Minimal paradefinite logics for reasoning with incompleteness and inconsistency | 2017-10-17 | Paper |
Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
On the acceptance of loops in argumentation frameworks
Journal Of Logic And Computation | 2017-01-31 | Paper |
Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks
Journal of Applied Logic | 2015-12-23 | Paper |
A dissimilarity-based framework for generating inconsistency-tolerant logics
Annals of Mathematics and Artificial Intelligence | 2015-02-05 | Paper |
Sequent-based argumentation for normative reasoning
Deontic Logic and Normative Systems | 2014-09-08 | Paper |
A QBF-based formalization of abstract argumentation semantics
Journal of Applied Logic | 2014-04-17 | Paper |
A sequent-based representation of logical argumentation
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Conflict-tolerant semantics for argumentation frameworks
Logics in Artificial Intelligence | 2012-09-21 | Paper |
Ideal paraconsistent logics
Studia Logica | 2011-11-23 | Paper |
Simplified forms of computerized reasoning with distance semantics
Journal of Applied Logic | 2011-06-22 | Paper |
A framework for reasoning under uncertainty based on non-deterministic distance semantics
International Journal of Approximate Reasoning | 2011-06-08 | Paper |
Coherent composition of distributed knowledge-bases through abduction
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
Maximal and premaximal paraconsistency in the framework of three-valued semantics
Studia Logica | 2011-03-14 | Paper |
Similarity-based inconsistency-tolerant logics
Logics in Artificial Intelligence | 2010-10-01 | Paper |
Preferential logics for reasoning with graded uncertainty
Lecture Notes in Computer Science | 2010-04-06 | Paper |
Distance-based paraconsistent logics
International Journal of Approximate Reasoning | 2010-03-18 | Paper |
Reasoning with different levels of uncertainty
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
Distance-based non-deterministic semantics for reasoning with uncertainty
Logic Journal of the IGPL | 2009-08-12 | Paper |
Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Foundations of Information and Knowledge Systems
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Preference Modeling by Rectangular Bilattices
Modeling Decisions for Artificial Intelligence | 2009-04-07 | Paper |
Reasoning with prioritized information by iterative aggregation of distance functions
Journal of Applied Logic | 2008-12-11 | Paper |
Distance-Based Repairs of Databases
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Reasoning with Uncertainty by Nmatrix–Metric Semantics
Logic, Language, Information and Computation | 2008-07-10 | Paper |
Representation of Partial Knowledge and Query Answering in Locally Complete Databases
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Distance semantics for database repair
Annals of Mathematics and Artificial Intelligence | 2007-10-23 | Paper |
A BILATTICE-BASED FRAMEWORK FOR HANDLING GRADED TRUTH AND IMPRECISION
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2007-05-23 | Paper |
Computational methods for database repair by signed formulae
Annals of Mathematics and Artificial Intelligence | 2006-09-12 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
scientific article; zbMATH DE number 2243355 (Why is no real title available?)
(available as arXiv preprint) | 2006-01-04 | Paper |
| scientific article; zbMATH DE number 2080019 (Why is no real title available?) | 2004-08-04 | Paper |
Reducing Preferential Paraconsistent Reasoning to Classical Entailment
Journal Of Logic And Computation | 2003-11-10 | Paper |
| scientific article; zbMATH DE number 1759375 (Why is no real title available?) | 2002-11-25 | Paper |
| scientific article; zbMATH DE number 1735917 (Why is no real title available?) | 2002-10-08 | Paper |
Paraconsistent declarative semantics for extended logic programs
Annals of Mathematics and Artificial Intelligence | 2002-08-20 | Paper |
General patterns for nonmonotonic reasoning: from basic entailments to plausible relations
Logic Journal of the IGPL | 2001-07-24 | Paper |
| scientific article; zbMATH DE number 1392280 (Why is no real title available?) | 2000-01-24 | Paper |
| scientific article; zbMATH DE number 1341457 (Why is no real title available?) | 1999-09-22 | Paper |
A model-theoretic approach for recovering consistent data from inconsistent knowledge bases
Journal of Automated Reasoning | 1999-04-26 | Paper |
The value of the four values
Artificial Intelligence | 1999-01-12 | Paper |
Reasoning with logical bilattices
Journal of Logic, Language and Information | 1996-07-28 | Paper |
