Handshaking in Kansas Lava Using Patch Logic.

Andy Gill Bowe Neuenschwander

Published in: PADL (2012)

Keyphrases

logic programming
modal logic
automated reasoning
formal theory
image patches
predicate logic
data sets
databases
data mining
learning algorithm
multi valued
probabilistic logic
defeasible logic
proof theory
logic synthesis
gradient orientation