A Proof Procedure for the Logic of Hereditary Harrop Formulas.

Gopalan Nadathur

Published in: J. Autom. Reason. (1993)

Keyphrases

proof procedure
predicate calculus
theorem proving
first order logic
proof procedures
propositional logic
formal model
predicate logic
semantic network
theorem prover
proof search
inference rules
horn clauses
model theoretic
automated reasoning
decision procedures
expressive power
search algorithm
machine learning