A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics.
Ralf SchweimeierMichael SchroederPublished in: Theory Pract. Log. Program. (2005)
Keyphrases
- logic programming
- argumentation semantics
- nonmonotonic reasoning
- logic programs
- argumentation frameworks
- answer set programming
- deductive databases
- logic programming language
- knowledge representation
- programming language
- knowledge base
- answer sets
- default reasoning
- default logic
- probabilistic reasoning
- computational logic
- classical logic
- stable models
- constraint logic programming
- argumentation theory
- defeasible argumentation
- decision making
- object oriented