From Answer Set Logic Programming to Circumscription via Logic of GK.
Fangzhen LinYi ZhouPublished in: IJCAI (2007)
Keyphrases
- logic programming
- answer sets
- logic programs
- answer set programming
- classical logic
- loop formulas
- computational logic
- default logic
- answer set semantics
- deductive databases
- nonmonotonic reasoning
- logic programming language
- normal logic programs
- stable models
- answer set programs
- extended logic programs
- programming language
- knowledge representation
- declarative semantics
- fixpoint
- reasoning tasks
- answer set solvers
- knowledge representation and reasoning
- stable model semantics
- autoepistemic logic
- disjunctive logic programming
- default reasoning
- probabilistic reasoning