Keyphrases
- fixpoint semantics
- general logic programs
- model theoretic
- logic programs
- declarative semantics
- deductive databases
- logic programming
- closed world assumption
- fixpoint
- description logics
- logic programming language
- operational semantics
- datalog programs
- data complexity
- decision procedures
- modal logic
- horn clauses
- automated reasoning
- database
- answer sets
- expressive power
- intelligent agents
- computational complexity
- knowledge base
- artificial intelligence