DKAL and Z3: A Logic Embedding Experiment.

Sergio Mera Nikolaj Bjørner

Published in: Fields of Logic and Computation (2010)

Keyphrases

logic programming
modal logic
watermarking algorithm
automated reasoning
logical framework
semi supervised
vector space
multi valued
classical logic
defeasible logic
nonlinear dimensionality reduction
digital circuits
data embedding