Keyphrases
- modal logic
- conditional logic
- decision procedures
- classical first order logic
- temporal logic
- inference rules
- first order logic
- dynamic logic
- higher order
- linear temporal logic
- horn clauses
- stochastic dominance
- database
- situation calculus
- functional dependencies
- term rewriting
- nonmonotonic logics
- data sets
- quantifier elimination
- real time
- universally quantified
- genetic algorithm
- knowledge base
- relational databases
- model checking