Fibring argumentation frames

DOI10.1007/S11225-009-9217-YzbMath1185.68670OpenAlexW2052334777MaRDI QIDQ2269514

Dov M. Gabbay

Publication date: 17 March 2010

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9217-y

zbMATH Keywords

critical setsjoint attacksdisjunctive attacksfibring argumentation framesflow argumentation networks

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (19)

An Equational Approach to Logic Programming ⋮ Modelling defeasible and prioritized support in bipolar argumentation ⋮ AFRA: argumentation framework with recursive attacks ⋮ Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger ⋮ Towards a general theory of decomposability in abstract argumentation ⋮ Handling support cycles and collective interactions in the logical encoding of higher-order bipolar argumentation frameworks ⋮ A socio-cognitive model of trust using argumentation theory ⋮ A neural cognitive model of argumentation with application to legal inference and decision making ⋮ On the input/output behavior of argumentation frameworks ⋮ Introducing Equational Semantics for Argumentation Networks ⋮ A general semi-structured formalism for computational argumentation: definition, properties, and examples of application ⋮ Theory of semi-instantiation in abstract argumentation ⋮ I don’t care, I don’t know … I know too much! On Incompleteness and Undecidedness in Abstract Argumentation ⋮ Modal and Temporal Argumentation Networks ⋮ Semantics for higher level attacks in extended argumentation frames. I: Overview ⋮ Meta-argumentation modelling. I: Methodology and techniques ⋮ A logical account of formal argumentation ⋮ Probabilistic abstract argumentation frameworks, a possible world view ⋮ Methods for solving reasoning problems in abstract argumentation -- a survey

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Complete extensions in argumentation coincide with 3-valued stable models in logic programming
• Semantics for higher level attacks in extended argumentation frames. I: Overview
• Meta-argumentation modelling. I: Methodology and techniques
• Modal provability foundations for argumentation networks
• Logical modes of attack in argumentation networks
• A logical account of formal argumentation
• Annotation theories over finite graphs
• Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Reactive Kripke Models and Contrary to Duty Obligations
• Mechanizing Mathematical Reasoning

This page was built for publication: Fibring argumentation frames