Prufrock: a framework for constructing polytypic theorem provers.

Justin Ward Garrin Kimmell Perry Alexander

Published in: ASE (2005)

Keyphrases

theorem prover
main contribution
probabilistic model
neural network
data sets
artificial intelligence
default reasoning