Modal Logics of Regions and Minkowski Spacetime.

Ilya Shapirovsky Valentin B. Shehtman

Published 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