Feature-Based Learning of Search-Guiding Heuristics for Theorem Proving.

Marc Fuchs Matthias Fuchs

Published in: AI Commun. (1998)

Keyphrases

theorem proving
parallel search
search algorithm
learning algorithm
macro operators
search methods
search strategies
search space
active learning
supervised learning
automated deduction
consequence finding
logical inference
decision procedures
search procedures
theorem prover
inference rules
first order logic