The following pages link to (Q4784873):
Displayed 10 items.
- Abstract argument games via modal logic (Q484918) (← links)
- Algorithms for generating arguments and counterarguments in propositional logic (Q648354) (← links)
- Dynamics of argumentation systems: a division-based method (Q650522) (← links)
- Audiences in argumentation frameworks (Q1028897) (← links)
- Argumentation in artificial intelligence (Q1028943) (← links)
- Encoding deductive argumentation in quantified Boolean formulae (Q1045994) (← links)
- Coherence in finite argument systems. (Q1852853) (← links)
- A QBF-based formalization of abstract argumentation semantics (Q2446545) (← links)
- A Two-Phase Dialogue Game for Skeptical Preferred Semantics (Q2835904) (← links)
- Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach (Q5445306) (← links)