Executable Logic for Dialogical Argumentation.
Elizabeth BlackAnthony HunterPublished in: ECAI (2012)
Keyphrases
- proof procedures
- socio cognitive
- argumentation theory
- dialogue games
- modal logic
- logic based argumentation
- argumentation systems
- inference rules
- classical logic
- defeasible logic
- multi valued
- automated reasoning
- digital circuits
- predicate logic
- argumentation semantics
- formal specification
- logic programming
- argumentation frameworks
- multi agent
- proof theory
- probability theory
- content analysis
- argumentation skills