On the Completeness of Arbitrary Selection Strategies for Paramodulation.

Miquel Bofill Guillem Godoy

Published in: ICALP (2001)

Keyphrases

selection strategies
selection strategy
search strategies
inference rules
theorem proving
data quality
neural network
genetic algorithm
feature space
machine learning
face recognition
support vector
multi objective
theorem prover
active learning strategies