On Resolution with Short Clauses.

Michael Buro Hans Kleine Büning

Published in: Ann. Math. Artif. Intell. (1996)

Keyphrases

consequence finding
clause learning
high resolution
theorem proving
background knowledge
first order logic
real time
information systems
search space
data mining
decision trees
evolutionary algorithm
domain knowledge
orders of magnitude
sampling rate