SCOTT: Semantically Constrained Otter System Description.

John K. Slaney Ewing L. Lusk William McCune

Published in: CADE (1994)

Keyphrases

high level
natural language
theorem prover
data mining
support vector
real time
data sets
databases
neural network
machine learning
e learning
multimedia
website
bayesian networks
distributed databases