Modal Logics of Regions and Minkowski Spacetime.
Ilya ShapirovskyValentin B. ShehtmanPublished in: J. Log. Comput. (2005)
Keyphrases
- modal logic
- space time
- dynamic textures
- temporal logic
- decision procedures
- inference rules
- spatial and temporal
- spatio temporal
- physically plausible
- video sequences
- nonmonotonic logics
- classical logic
- epistemic logic
- dynamic scenes
- default logic
- model checking
- image features
- situation calculus
- motion patterns
- structured light
- image sequences
- autoepistemic logic
- multi agent systems
- automated reasoning
- object recognition
- viewpoint
- d objects