From answer set logic programming to circumscription via logic of GK.
Fangzhen LinYi ZhouPublished in: Artif. Intell. (2011)
Keyphrases
- logic programming
- answer sets
- logic programs
- answer set programming
- classical logic
- nonmonotonic reasoning
- deductive databases
- default logic
- answer set semantics
- loop formulas
- answer set programs
- logic programming language
- answer set solvers
- knowledge representation
- extended logic programs
- computational logic
- normal logic programs
- knowledge base
- stable models
- programming language
- knowledge representation and reasoning
- semantics of logic programs
- stable model semantics
- disjunctive logic programming
- autoepistemic logic
- declarative semantics
- default reasoning
- reasoning tasks
- polynomial hierarchy
- fixpoint
- probabilistic reasoning
- search algorithm
- nonmonotonic logics
- high level
- semantics for logic programs
- machine learning