Principles of proof scores in CafeOBJ.

Kokichi Futatsugi Daniel Gâinâ Kazuhiro Ogata

Published in: Theor. Comput. Sci. (2012)

Keyphrases

geometry theorem proving
data mining
decision making
theorem proving
scoring function
machine learning
genetic algorithm
feature selection
website
bayesian networks
theorem prover
scoring methods
proof planning
complete axiomatization