Modal characterisation theorems over special classes of frames.

Anuj Dawar Martin Otto

Published in: Ann. Pure Appl. Log. (2009)

Keyphrases

video frames
modal logic
machine learning
computer vision
website
moving objects
frame rate
object classes
nonmonotonic logics