Analytic Methods for the Logic of Proofs.

Published in: J. Log. Comput. (2010)

Keyphrases

significant improvement
benchmark datasets
databases
machine learning methods
real time
data mining
information retrieval
image processing
evolutionary algorithm
probabilistic model
logic programming
cross validation
search methods