Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation | 0 | 0.34 | 2022 |
Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation. | 0 | 0.34 | 2022 |
A Generalized Proof-Theoretic Approach To Logical Argumentation Based On Hypersequents | 0 | 0.34 | 2021 |
Characterizations and Classifications of Argumentative Entailments. | 0 | 0.34 | 2021 |
Simple contrapositive assumption-based argumentation part II: Reasoning with preferences | 0 | 0.34 | 2021 |
Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming. | 0 | 0.34 | 2021 |
Tuning Logical Argumentation Frameworks - A Postulate-Derived Approach. | 0 | 0.34 | 2020 |
Simple contrapositive assumption-based argumentation frameworks | 0 | 0.34 | 2020 |
Logical argumentation by dynamic proof systems | 2 | 0.35 | 2019 |
An Argumentative Characterization of Disjunctive Logic Programming. | 0 | 0.34 | 2019 |
A review of the relations between logical argumentation and reasoning with maximal consistency | 2 | 0.36 | 2019 |
Normative reasoning by sequent-based argumentation | 2 | 0.35 | 2019 |
Hypersequential Argumentation Frameworks: An Instantiation In The Modal Logic S5 | 1 | 0.34 | 2018 |
Reasoning with maximal consistency by argumentative approaches. | 3 | 0.37 | 2018 |
Prioritized Sequent-Based Argumentation | 0 | 0.34 | 2018 |
Four-Valued Paradefinite Logics. | 0 | 0.34 | 2017 |
Argumentative Approaches to Reasoning with Consistent Subsets of Premises. | 1 | 0.34 | 2017 |
Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM. | 0 | 0.34 | 2017 |
On the acceptance of loops in argumentation frameworks | 2 | 0.37 | 2016 |
Argumentative Approaches to Reasoning with Maximal Consistency. | 1 | 0.36 | 2016 |
A graded approach to database repair by context-aware distance semantics | 1 | 0.35 | 2016 |
Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations. | 4 | 0.41 | 2016 |
Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency. | 2 | 0.38 | 2016 |
A dissimilarity-based framework for generating inconsistency-tolerant logics | 0 | 0.34 | 2015 |
Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks | 0 | 0.34 | 2015 |
Sequent-Based Logical Argumentation | 10 | 0.57 | 2015 |
Context-Aware Distance Semantics for Inconsistent Database Systems. | 1 | 0.34 | 2014 |
Dynamic Derivations for Sequent-Based Logical Argumentation. | 3 | 0.44 | 2014 |
Preferential Reasoning Based On Abstract Argumentation Semantics. | 0 | 0.34 | 2014 |
Sequent-Based Argumentation for Normative Reasoning. | 6 | 0.48 | 2014 |
A QBF-based formalization of abstract argumentation semantics. | 19 | 0.78 | 2013 |
A Sequent-Based Representation Of Logical Argumentation | 8 | 0.54 | 2013 |
Towards Constraints Handling by Conflict Tolerance in Abstract Argumentation Frameworks. | 0 | 0.34 | 2013 |
Conflict-Tolerant semantics for argumentation frameworks | 7 | 0.50 | 2012 |
A General QBF-based Formalization of abstract Argumentation Theory. | 2 | 0.40 | 2012 |
Inconsistency-Tolerance in knowledge-based systems by dissimilarities | 2 | 0.37 | 2012 |
A framework for reasoning under uncertainty based on non-deterministic distance semantics | 2 | 0.38 | 2011 |
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics | 13 | 0.97 | 2011 |
Simplified forms of computerized reasoning with distance semantics | 3 | 0.36 | 2011 |
What is an ideal logic for reasoning with inconsistency? | 8 | 0.48 | 2011 |
Coherent integration of databases by abductive logic programming | 22 | 0.67 | 2011 |
Towards a logical reconstruction of a theory for locally closed databases | 16 | 0.75 | 2010 |
Maximally Paraconsistent Three-Valued Logics | 3 | 0.55 | 2010 |
On Strong Maximality of Paraconsistent Finite-Valued Logics | 3 | 0.51 | 2010 |
On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information | 1 | 0.35 | 2010 |
Similarity-based inconsistency-tolerant logics | 4 | 0.44 | 2010 |
Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data | 2 | 0.38 | 2009 |
Distance-based non-deterministic semantics for reasoning with uncertainty | 7 | 0.53 | 2009 |
Reasoning with Prioritized Data by Aggregation of Distance Functions | 1 | 0.35 | 2008 |
Distance-based paraconsistent logics | 27 | 0.86 | 2008 |