Keyphrases
- modal logic
- normal form
- prime implicates
- description logic alc
- temporal logic
- inference rules
- database design
- functional dependencies
- nested relations
- database theory
- relational databases
- epistemic logic
- situation calculus
- information content
- relational algebra
- nonmonotonic logics
- classical logic
- conditional logic
- dynamic logic
- knowledge compilation
- autoepistemic logic
- model checking
- abductive reasoning
- database
- explanation based generalization
- formal definitions
- modal operators
- default logic