Interlinking Logic Programs and Argumentation Frameworks.
Chiaki SakamaTran Cao SonPublished in: LPNMR (2022)
Keyphrases
- argumentation frameworks
- strong equivalence
- logic programs
- argumentation semantics
- argumentation systems
- logic programming
- computational problems
- linked data
- abstract argumentation
- abstract argumentation frameworks
- defeasible reasoning
- answer sets
- linked open data
- stable models
- practical reasoning
- preference relations
- decision problems
- fixpoint
- multi agent
- answer set programming
- object oriented
- normal logic programs
- answer set semantics
- case based reasoning
- dynamic programming
- np hard
- autoepistemic logic