Keyphrases
- modal logic
- default logic
- prime implicates
- autoepistemic logic
- inference rules
- theorem proving
- temporal logic
- decision procedures
- first order logic
- formal verification
- model checking
- nonmonotonic logics
- propositional logic
- timed automata
- classical logic
- epistemic logic
- horn clauses
- low dimensional
- default theories
- situation calculus
- xml schema
- vector space
- default reasoning
- general logic programs
- strong equivalence
- model theoretic
- probabilistic logic
- modal operators
- nonmonotonic reasoning
- dimensionality reduction
- expert systems