Keyphrases
- declarative semantics
- deductive databases
- logic programming
- logic programs
- logic programming language
- operational semantics
- conceptual modeling
- defeasible reasoning
- database
- partial order
- integrity constraints
- constraint logic programming
- fixpoint
- inference rules
- answer set programming
- stable models
- databases
- machine learning
- nonmonotonic reasoning
- situation calculus
- general purpose
- knowledge representation