A Parallel Connection Graph Proof Procedure.

Günter Hornung Anfried Knapp Ulrike Knapp

Published in: GWAI (1981)

Keyphrases

proof procedure
theorem proving
propositional logic
first order logic
abductive logic programming
proof procedures
predicate calculus
machine learning
co occurrence
deductive databases
model theoretic