Keyphrases
- modal logic
- inference rules
- temporal logic
- epistemic logic
- video frames
- formal concept analysis
- formal concepts
- model checking
- frame rate
- kripke models
- conditional logic
- single frame
- classical logic
- multi frame
- reference frame
- situation calculus
- belief revision
- expressive power
- multi agent
- conditional probabilities
- first order logic
- nonmonotonic logics
- motion estimation
- neural network
- galois lattices
- database