A logic of argumentation for specification and verification of abstract argumentation frameworks

DOI10.1007/s10472-012-9318-6zbMath1272.68383OpenAlexW2037547148MaRDI QIDQ1935593

Serena Villata, Leendert van der Torre, Guido Boella, Joris Hulstijn, Dov M. Gabbay

Publication date: 18 February 2013

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://orbilu.uni.lu/handle/10993/14506

zbMATH Keywords

modellingabstract argumentation theoryhigher-order argumentation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (2)

Argumentation update in YALLA (yet another logic language for argumentation) ⋮ Optimization of dialectical outcomes in dialogical argumentation

Uses Software

• AFRA

Cites Work

• Unnamed Item
• AFRA: argumentation framework with recursive attacks
• A causal approach to nonmonotonic reasoning
• On the evaluation of argumentation formalisms
• On principle-based evaluation of extension-based argumentation semantics
• On the merging of Dung's argumentation systems
• Fibred security language
• Input/output logics
• The price of universality
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Meta-argumentation modelling. I: Methodology and techniques
• Modal provability foundations for argumentation networks
• A logical account of formal argumentation
• Higher-Order Coalition Logic
• Arguing about the Trustworthiness of the Information Sources
• Metalevel argumentation
• On the Acceptability of Incompatible Arguments
• Specification and Verification of Multi-agent Systems
• A Logic of Abstract Argumentation
• On the Meta-logic of Arguments
• Encompassing Attacks to Attacks in Abstract Argumentation Frameworks
• Robust semantics for argumentation frameworks
• Collective Argumentation and Disjunctive Logic Programming
• Value-Based Argumentation for Justifying Compliance
• Mechanizing Mathematical Reasoning
• Coalitions of arguments: A tool for handling bipolar argumentation frameworks
• Constraints for input/output logics

This page was built for publication: A logic of argumentation for specification and verification of abstract argumentation frameworks