Keyphrases
- logic programming
- default logic
- logic programs
- nonmonotonic reasoning
- answer sets
- classical logic
- valued semantics
- disjunctive logic programming
- default reasoning
- autoepistemic logic
- inference rules
- theorem prover
- commonsense knowledge
- answer set programming
- loop formulas
- deductive databases
- nonmonotonic logics
- closed world assumption
- situation calculus
- stable model semantics
- knowledge representation
- knowledge base
- closed world reasoning
- possibilistic logic
- commonsense reasoning
- reasoning tasks
- database systems
- databases
- object oriented
- data mining
- database