Keyphrases
- model theoretic
- deductive databases
- description logics
- operational semantics
- proof theoretic
- decision procedures
- logic programs
- default reasoning
- fixpoint
- fixpoint semantics
- probabilistic reasoning
- semantic web
- logic programming
- integrity constraints
- reasoning mechanism
- knowledge base
- intelligent agents
- databases
- formal semantics
- automated reasoning
- object oriented
- data model
- autoepistemic logic
- proof theory
- bayesian networks