A logic of abstract argumentation

Authors:
Guido Boella;Joris Hulstijn;Leendert van der Torre
Affiliations:
Universitá di Torino;Vrije Universiteit, Amsterdam;CWI Amsterdam and Delft University of Technology
Venue:
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Year:
2005

Citing 6
Cited 4

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence
An abstract, argumentation-theoretic approach to default reasoning

Artificial Intelligence
On the meta-logic of arguments

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Propositional argumentation and causal reasoning

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A causal approach to nonmonotonic reasoning

Artificial Intelligence
Model checking agent dialogues

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies

Acyclic Argumentation: Attack = Conflict + Preference

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
On the logic of argumentation theory

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A logic of argumentation for specification and verification of abstract argumentation frameworks

Annals of Mathematics and Artificial Intelligence
Argumentative SOX compliant and quality decision support intelligent expert system over the suppliers selection process

Applied Computational Intelligence and Soft Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we introduce a logic of abstract argumentation capturing Dung’s theory of abstract argumentation, based on connectives for attack and defend. We extend it to a modal logic of abstract argumentation to generalize Dung’s theory and define variants of it. Moreover, we use the logic to relate Dung’s theory of abstract argumentation to more traditional conditional and comparative formalisms, and we illustrate how to reason about arguments in meta-argumentation.