Extension-Based Argumentation Semantics via Logic Programming Semantics with Negation as Failure.
Juan Carlos NievesIgnasi Gómez-SebastiàPublished in: LA-NMR (2009)
Keyphrases
- logic programming
- argumentation semantics
- nonmonotonic reasoning
- logic programs
- abstract argumentation frameworks
- deductive databases
- preferred semantics
- logic programming language
- answer set programming
- extended logic programs
- default reasoning
- default logic
- knowledge base
- knowledge representation
- programming language
- answer sets
- argumentation frameworks
- default theories
- nonmonotonic logics
- semantics for logic programs
- stable models
- fixpoint
- procedural semantics
- answer set semantics
- truth maintenance systems
- reasoning about actions
- classical logic
- declarative semantics
- probabilistic reasoning
- autoepistemic logic
- model theoretic
- argumentation theory
- expert systems
- machine learning