A review of the relations between logical argumentation and reasoning with maximal consistency
This is a survey of some recent results relating Dung-style semantics for different types of
logical argumentation frameworks and several forms of reasoning with maximally consistent …
logical argumentation frameworks and several forms of reasoning with maximally consistent …
Computational complexity of flat and generic assumption-based argumentation, with and without probabilities
Abstract Reasoning with probabilistic information has recently attracted considerable
attention in argumentation, and formalisms of Probabilistic Abstract Argumentation (PAA) …
attention in argumentation, and formalisms of Probabilistic Abstract Argumentation (PAA) …
[HTML][HTML] Reasoning in BDI agents using Toulmin's argumentation model
V de Oliveira Gabriel, AR Panisson, RH Bordini… - Theoretical Computer …, 2020 - Elsevier
The theory of argumentation pervades several fields of knowledge, and it has gained
significant space in multiagent systems because it provides a way for modeling reasoning …
significant space in multiagent systems because it provides a way for modeling reasoning …
Modular orders on defaults in formal argumentation
Default logic and formal argumentation are paradigmatic methods in the study of
nonmonotonic inference. Defeasible information often comes in different strengths stemming …
nonmonotonic inference. Defeasible information often comes in different strengths stemming …
[HTML][HTML] A postulate-driven study of logical argumentation
Logical argumentation is a well-known approach to modeling non-monotonic reasoning with
conflicting information. In this paper we provide a comprehensive postulate-based study of …
conflicting information. In this paper we provide a comprehensive postulate-based study of …
Simple contrapositive assumption-based argumentation part II: Reasoning with preferences
O Arieli, J Heyninck - International Journal of Approximate Reasoning, 2021 - Elsevier
Simple contrapositive assumption-based argumentation frameworks are a general setting
for structured argumentation, providing a robust approach to reasoning with arguments and …
for structured argumentation, providing a robust approach to reasoning with arguments and …
Relevance in structured argumentation
We study properties related to relevance in non-monotonic consequence relations obtained
by systems of structured argumentation. Relevance desiderata concern the robustness of a …
by systems of structured argumentation. Relevance desiderata concern the robustness of a …
Rationality and maximal consistent sets for a fragment of ASPIC+ without undercut
J Heyninck, C Straßer - Argument & Computation, 2021 - content.iospress.com
Structured argumentation formalisms, such as ASPIC+, offer a formal model of defeasible
reasoning. Usually such formalisms are highly parametrized and modular in order to provide …
reasoning. Usually such formalisms are highly parametrized and modular in order to provide …
[PDF][PDF] Assumptive sequent-based argumentation
AM Borg - IfCoLog Journal of Logics and their …, 2020 - collegepublications.co.uk
In many expert and everyday reasoning contexts it is very useful to reason on the basis of
defeasible assumptions. For instance, if the information at hand is incomplete we often use …
defeasible assumptions. For instance, if the information at hand is incomplete we often use …
Simple contrapositive assumption-based argumentation frameworks with preferences: Partial orders and collective attacks
O Arieli, J Heyninck - International Journal of Approximate Reasoning, 2025 - Elsevier
In this paper, we consider assumption-based argumentation frameworks that are based on
contrapositive logics and partially-ordered preference functions. It is shown that these …
contrapositive logics and partially-ordered preference functions. It is shown that these …