Login / Signup
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