Prover KT4.

Published in: TABLEAUX (1998)

Keyphrases

theorem proving
theorem prover
automated theorem proving
special case
data mining
machine learning
knowledge base
pairwise
simulated annealing
inference rules