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

DOI10.1007/S10472-012-9318-6MaRDI QIDQ1935593zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

modellingabstract argumentation theoryhigher-order argumentation

Mathematics Subject Classification ID

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

Recommendations

• A Logic of Abstract Argumentation
• Verification in argument-incomplete argumentation frameworks
• Logical limits of abstract argumentation frameworks
• Verification in attack-incomplete argumentation frameworks
• Verification in incomplete argumentation frameworks

Cites work

• scientific article; zbMATH DE number 1219632 (Why is no real title available?)
• A Logic of Abstract Argumentation
• A causal approach to nonmonotonic reasoning
• A logical account of formal argumentation
• AFRA: argumentation framework with recursive attacks
• Arguing about the trustworthiness of the information sources
• Coalitions of arguments: a tool for handling bipolar argumentation frameworks
• Collective Argumentation and Disjunctive Logic Programming
• Constraints for input/output logics
• Encompassing Attacks to Attacks in Abstract Argumentation Frameworks
• Fibred security language
• Higher-order coalition logic
• Input/output logics
• Mechanizing Mathematical Reasoning
• Meta-argumentation modelling. I: Methodology and techniques
• Metalevel argumentation
• Modal provability foundations for argumentation networks
• On principle-based evaluation of extension-based argumentation semantics
• On the Acceptability of Incompatible Arguments
• On the Meta-logic of Arguments
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• On the evaluation of argumentation formalisms
• On the merging of Dung's argumentation systems
• Robust semantics for argumentation frameworks
• Specification and Verification of Multi-agent Systems
• The price of universality
• Value-based argumentation for justifying compliance

Cited in

(13)

• Revisiting Abstract Argumentation Frameworks
• 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
• scientific article; zbMATH DE number 7084933 (Why is no real title available?)
• 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

Describes a project that uses

Uses Software

• AFRA

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)