Flow Logic.

Orna Kupferman Gal Vardi

Published in: CONCUR (2017)

Keyphrases

multi valued
modal logic
logic programming
data sets
logic synthesis
flow field
automated reasoning
probabilistic logic
classical logic
predicate logic
asynchronous circuits
propositional dynamic logic
proof theory
linear logic
truth values
decision trees
artificial intelligence
genetic algorithm
data mining