Sciweavers

Share
ATAL
2010
Springer

On the logic of argumentation theory

9 years 7 months ago
On the logic of argumentation theory
The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (e.g., argument equivalence), new techniques (e.g., calculi, model-checking games, bisimulation games), and results (e.g., completeness of calculi, adequacy of games, complexity of model-checking) from logic to argumentation. Categories and Subject Descriptors I.2.4 [Knowledge Representation Formalisms and Methods]: Modal logic General Terms Theory Keywords Argumentation theory, modal logic
Davide Grossi
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2010
Where ATAL
Authors Davide Grossi
Comments (0)
books