A logic of argumentation for specification and verification of abstract argumentation frameworks
From MaRDI portal
Publication:1935593
DOI10.1007/S10472-012-9318-6zbMATH Open1272.68383OpenAlexW2037547148MaRDI QIDQ1935593FDOQ1935593
Authors: Serena Villata, Guido Boella, Leendert van der Torre, Joris Hulstijn, Dov 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
Recommendations
Cites Work
- AFRA: argumentation framework with recursive attacks
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- On the evaluation of argumentation formalisms
- A logical account of formal argumentation
- Mechanizing Mathematical Reasoning
- On principle-based evaluation of extension-based argumentation semantics
- Input/output logics
- Constraints for input/output logics
- On the merging of Dung's argumentation systems
- Robust semantics for argumentation frameworks
- Meta-argumentation modelling. I: Methodology and techniques
- Encompassing Attacks to Attacks in Abstract Argumentation Frameworks
- Title not available (Why is that?)
- Modal provability foundations for argumentation networks
- Metalevel argumentation
- Arguing about the trustworthiness of the information sources
- A Logic of Abstract Argumentation
- The price of universality
- On the Meta-logic of Arguments
- Coalitions of arguments: a tool for handling bipolar argumentation frameworks
- Specification and Verification of Multi-agent Systems
- A causal approach to nonmonotonic reasoning
- Collective Argumentation and Disjunctive Logic Programming
- Fibred security language
- On the Acceptability of Incompatible Arguments
- Higher-order coalition logic
- Value-based argumentation for justifying compliance
Cited In (13)
- Guaranteeing Admissibility of Abstract Argumentation Frameworks with Rationality and Feasibility Constraints
- Verification in attack-incomplete argumentation frameworks
- A QBF-based formalization of abstract argumentation semantics
- On the acceptance of loops in argumentation frameworks
- Argumentation update in YALLA (yet another logic language for argumentation)
- Forum: A multiple-conclusion specification logic
- A logic programming framework for possibilistic argumentation: Formalization and logical properties
- Title not available (Why is that?)
- A claim-centric perspective on abstract argumentation semantics: claim-defeat, principles, and expressiveness
- Optimization of dialectical outcomes in dialogical argumentation
- A formalization of abstract argumentation in higher-order logic
- AGM meets abstract argumentation: contraction for dung frameworks
- Revisiting Abstract Argumentation Frameworks
Uses Software
This page was built for publication: A logic of argumentation for specification and verification of abstract argumentation frameworks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1935593)
