Flow Logic.

Orna Kupferman Gal Vardi

Published in: CoRR (2018)

Keyphrases

classical logic
predicate logic
flow patterns
multi valued
automated reasoning
modal logic
flow field
proof theory
defeasible logic
data sets
image sequences
expressive power
optical flow
computational properties
database systems
artificial intelligence
fluid flow
machine learning
real world