A logic of argumentation for specification and verification of abstract argumentation frameworks
From MaRDI portal
Publication:1935593
DOI10.1007/s10472-012-9318-6zbMath1272.68383MaRDI 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
Related Items
Argumentation update in YALLA (yet another logic language for argumentation), Optimization of dialectical outcomes in dialogical argumentation
Uses Software
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