Pages that link to "Item:Q2269515"
From MaRDI portal
The following pages link to A logical account of formal argumentation (Q2269515):
Displayed 16 items.
- Toward incremental computation of argumentation semantics: a decomposition-based approach (Q360248) (← links)
- Towards fixed-parameter tractable algorithms for abstract argumentation (Q1761281) (← links)
- Augmenting tractable fragments of abstract argumentation (Q1761284) (← links)
- A logic of argumentation for specification and verification of abstract argumentation frameworks (Q1935593) (← links)
- Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger (Q1941728) (← links)
- Semantics for higher level attacks in extended argumentation frames. I: Overview (Q2269507) (← links)
- Fibring argumentation frames (Q2269514) (← links)
- Annotation theories over finite graphs (Q2269516) (← links)
- Methods for solving reasoning problems in abstract argumentation -- a survey (Q2341832) (← links)
- On the equivalence between logic programming semantics and argumentation semantics (Q2344367) (← links)
- A QBF-based formalization of abstract argumentation semantics (Q2446545) (← links)
- An Equational Approach to Logic Programming (Q2900525) (← links)
- Conflict-Tolerant Semantics for Argumentation Frameworks (Q2915055) (← links)
- Introducing Equational Semantics for Argumentation Networks (Q3011932) (← links)
- Modal and Temporal Argumentation Networks (Q3587249) (← links)
- Judgment Aggregation in Abstract Dialectical Frameworks (Q5172622) (← links)