[PDF][PDF] Ranking-based Argumentation Semantics Applied to Logical Argumentation.

J Heyninck, B Raddaoui, C Straßer - IJCAI, 2023 - ijcai.org
In formal argumentation, a distinction can be made between extension-based semantics,
where sets of arguments are either (jointly) accepted or not, and ranking-based semantics …

[HTML][HTML] Minimality, necessity and sufficiency for argumentation and explanation

AM Borg, F Bex - International Journal of Approximate Reasoning, 2024 - Elsevier
We discuss explanations for formal (abstract and structured) argumentation–the question
whether and why a certain argument or claim can be accepted (or not) under various …

[HTML][HTML] Comparing and extending the use of defeasible argumentation with quantitative data in real-world contexts

L Rizzo, L Longo - Information Fusion, 2023 - Elsevier
Dealing with uncertain, contradicting, and ambiguous information is still a central issue in
Artificial Intelligence (AI). As a result, many formalisms have been proposed or adapted so …

[HTML][HTML] A postulate-driven study of logical argumentation

O Arieli, AM Borg, C Straßer - Artificial Intelligence, 2023 - Elsevier
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 …

Bisimulation between base argumentation and premise-conclusion argumentation

J Chen, B Liao, L van der Torre - Artificial Intelligence, 2024 - Elsevier
The structured argumentation system that represents arguments by premise-conclusion
pairs is called premise-conclusion argumentation (PA) and the one that represents …

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 …

Towards an argumentative unification of default reasoning

K van Berkel, C Straßer, Z Zhou - # …, 2024 - repositum.tuwien.at
We propose a novel knowledge representation method for the Default Logic paradigm by
develo** a proof calculus that yields arguments and counter-arguments in which defaults …

[PDF][PDF] Towards deontic explanations through dialogue

K van Berkel, C Straßer - 2nd International Workshop on …, 2024 - ruhr-uni-bochum.de
Deontic explanations answer why-questions concerning agents' obligations and
permissions. Normative systems are notoriously conflict sensitive, making contrastive …

Ranking-based Argumentation Semantics Applied to Logical Argumentation (full version)

J Heyninck, B Raddaoui, C Straßer - arxiv preprint arxiv:2307.16780, 2023 - arxiv.org
In formal argumentation, a distinction can be made between extension-based semantics,
where sets of arguments are either (jointly) accepted or not, and ranking-based semantics …

A Tutorial in Proof-Theoretic Approaches to Logical Argumentation

K van Berkel, C Straßer - … , Rules, Logic: 19th International Summer School …, 2025 - Springer
This article provides a tutorial in proof-theoretic approaches to logical argumentation. We
first introduce and discuss defeasible reasoning and nonmonotonic logic. This naturally …