Automated Deduction by Theory Resolution.

Mark E. Stickel

Published in: IJCAI (1985)

Keyphrases

automated deduction
theorem proving
theoretical framework
consequence finding
probability distribution
theorem prover
real time
decision trees
training data
probabilistic model
inference rules
theoretical basis
knowledge base
case study
logic programming