Login / Signup
The Logic of sequence Frames.
Fabio Lampert
Published in:
Rev. Symb. Log. (2022)
Keyphrases
</>
logic programming
moving objects
frame rate
sequence analysis
pseudorandom
classical logic
linear time temporal logic
data sets
temporal order
logical framework
multi valued
automated reasoning
modal logic
video frames
input data
logic programs
genetic algorithm
neural network