Monodic temporal resolution.

Anatoli Degtyarev Michael Fisher Boris Konev

Published in: ACM Trans. Comput. Log. (2006)

Keyphrases

temporal resolution
predicate logic
temporal logic
spatial resolution
frame rate
space time
high resolution
model checking
motion compensation
image sequences
high speed
super resolution
semantic network
low resolution
spatial information