A Proof Procedure Using Connection Graphs.

Robert A. Kowalski

Published in: J. ACM (1975)

Keyphrases

proof procedure
theorem proving
propositional logic
first order logic
predicate calculus
proof procedures
abductive logic programming
model theoretic
propositional satisfiability
machine learning
np hard
active rules