On extracting computations from propositional proofs (a survey).

Published in: FSTTCS (2010)

Keyphrases

propositional logic
first order logic
database
data sets
theorem prover
default logic
probabilistic logic
real time
neural network
artificial intelligence
social networks
decision trees
mathematical proofs