Introducing EqArgSolver: An argumentation solver using equational semantics.
Odinaldo RodriguesPublished in: SAFA@COMMA (2016)
Keyphrases
- argumentation semantics
- defeasible reasoning
- theorem proving
- abstract argumentation
- argumentation frameworks
- abstract argumentation frameworks
- formal semantics
- grounded semantics
- logic programming
- proof procedures
- conditional logic
- default reasoning
- equational theories
- search space
- argumentation theory
- nonmonotonic reasoning
- semantic information
- logic programs
- case based reasoning