The Markgraf Karl Refutation Procedure.

Karl-Hans Bläsius Norbert Eisinger Jörg H. Siekmann Gert Smolka Alexander Herold Christoph Walther

Published in: IJCAI (1981)

Keyphrases

theorem proving
iterative procedure
real world
genetic algorithm
multimedia
high level
objective function
pairwise
special case
logic programming
search procedure
inductive inference