Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming.
Yining WuMartin CaminadaDov M. GabbayPublished in: Stud Logica (2009)
Keyphrases
- logic programming
- stable models
- logic programs
- default logic
- argumentation semantics
- nonmonotonic reasoning
- answer set programming
- propositional variables
- normal logic programs
- general theory
- deductive databases
- semantics for logic programs
- defeasible argumentation
- logic programming language
- fixpoint
- stable model semantics
- programming language
- knowledge representation and reasoning
- knowledge base
- answer sets
- classical logic
- argumentation systems
- default theories
- default reasoning
- knowledge representation
- probabilistic reasoning
- inductive logic programming
- defeasible reasoning
- answer set semantics
- database
- argumentation frameworks
- answer set programs
- defeasible logic programming
- nonmonotonic logics
- practical reasoning