Keyphrases
- fixpoint
- logic programs
- deductive databases
- proof theoretic
- semantics of logic programs
- model theoretic
- finite state machines
- general purpose
- recursive queries
- update rule
- nonmonotonic reasoning
- answer sets
- datalog programs
- machine learning
- orders of magnitude
- logic programming
- description logics
- knowledge discovery
- bayesian networks
- database systems