Keyphrases
- modal logic
- decision procedures
- temporal logic
- inference rules
- nonmonotonic logics
- theorem proving
- epistemic logic
- classical logic
- graph matching
- situation calculus
- automated reasoning
- model checking
- graph mining
- default logic
- description logics
- graph databases
- weighted graph
- model theoretic
- directed graph
- modal operators
- autoepistemic logic