A New Method for Establishing Refutational Completeness in Theorem Proving.

Jieh Hsiang Michaël Rusinowitch

Published in: CADE (1986)

Keyphrases

theorem proving
first order logic
proof procedure
term rewriting
automated deduction
artificial intelligence
training set
active learning
classification accuracy
feature set
simulated annealing
inference rules