Keyphrases
- answer set programming
- default logic
- logic programming
- default theories
- logic programs
- nonmonotonic reasoning
- reasoning tasks
- description logics
- answer sets
- knowledge base
- default reasoning
- meta level reasoning
- knowledge representation
- autoepistemic logic
- answer set programs
- knowledge representation and reasoning
- stable model semantics
- nonmonotonic logics
- deductive databases
- disjunctive logic programs
- default rules
- answer set solvers
- classical logic
- expressive power
- programming language
- stable models
- probabilistic reasoning
- answer set semantics
- declarative programming
- update semantics
- truth maintenance systems
- disjunctive logic programming
- fixpoint
- event calculus
- defeasible logic
- inductive logic programming
- fixed point
- semantic web
- query language
- high level