The following pages link to A Logic of Abstract Argumentation (Q3623901):
Displaying 15 items.
- Theory of semi-instantiation in abstract argumentation (Q528522) (← links)
- A logic of argumentation for specification and verification of abstract argumentation frameworks (Q1935593) (← links)
- On interactive proof-search for constructive modal necessity (Q2133450) (← links)
- Meta-argumentation modelling. I: Methodology and techniques (Q2269509) (← links)
- A logical account of formal argumentation (Q2269515) (← links)
- A QBF-based formalization of abstract argumentation semantics (Q2446545) (← links)
- On the semantics of abstract argumentation (Q2863167) (← links)
- (Q4576179) (← links)
- Foundations for a logic of arguments (Q4586228) (← links)
- Abducible Semantics and Argumentation (Q4599796) (← links)
- Abstract Machines for Argumentation (Q4981259) (← links)
- (Q5224670) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)
- Generic logical encoding for argumentation (Q6042098) (← links)
- CONCILIATORY REASONING, SELF-DEFEAT, AND ABSTRACT ARGUMENTATION (Q6051423) (← links)