Keyphrases
- modal logic
- higher order
- decision procedures
- temporal logic
- natural images
- inference rules
- high order
- epistemic logic
- markov random field
- nonmonotonic logics
- classical logic
- explanation based generalization
- lower order
- situation calculus
- sketch recognition
- pairwise
- conditional logic
- dynamic logic
- prime implicates
- default logic
- fixed point
- domain knowledge
- modal operators
- hand drawn