Model Finding in Semantically Guided Instance-Based Theorem Proving.

Heng Chu David A. Plaisted

Published in: Fundam. Informaticae (1994)

Keyphrases

theorem proving
probabilistic model
formal model
knn
machine learning
training data
learning algorithm
search algorithm
probability distribution
semi supervised
class labels
automated reasoning