Recursive logic frames.

Saharon Shelah Jouko A. Väänänen

Published in: Math. Log. Q. (2006)

Keyphrases

multi valued
video frames
modal logic
probability theory
automated reasoning
classical logic
predicate logic
moving objects
logic programming
epistemic logic
database
formal theory
recursive algorithm
digital circuits
probabilistic logic
optical flow
data sets