Proofs that count.

Azadeh Farzan Zachary Kincaid Andreas Podelski

Published in: POPL (2014)

Keyphrases

theorem prover
theorem proving
formal proofs
multi agent
automated theorem provers
database
equational theories
proof search
decision procedures
logic programs
relational databases
decision trees
image processing
metadata
decision making
artificial intelligence
machine learning
neural network
databases
data sets