Fibring argumentation frames
From MaRDI portal
Publication:2269514
DOI10.1007/s11225-009-9217-yzbMath1185.68670OpenAlexW2052334777MaRDI QIDQ2269514
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
critical setsjoint attacksdisjunctive attacksfibring argumentation framesflow argumentation networks
Related Items
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
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
