Login / Signup
SCOTT: A Model-Guided Theorem Prover.
John K. Slaney
Published in:
IJCAI (1993)
Keyphrases
</>
theorem prover
computational model
probabilistic model
statistical model
high level
data mining
experimental data
similarity measure
knowledge base
probability distribution
data points
simulated annealing
search algorithm
mathematical model
first order logic
conceptual model
neural network