Memoization-Based Proof Search in LF - an Experimental Evaluation of a Prototype.

Brigitte Pientka

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

experimental evaluation
proof search
linear logic
theorem prover
inference rules
theorem proving
search procedure
proof planning
neural network
machine learning
knowledge base
bayesian networks
simulated annealing
tabu search
probabilistic reasoning