Keyphrases
- model theoretic
- deductive databases
- description logics
- decision procedures
- logic programs
- operational semantics
- fixpoint
- default reasoning
- proof theoretic
- probabilistic reasoning
- logic programming
- expert systems
- knowledge base
- databases
- integrity constraints
- database
- programming language
- hidden markov models
- computational complexity
- database systems