A Hyperresolution-Based Proof Procedure and its Implementation in Prolog.

Rainer Manthey François Bry

Published in: GWAI (1987)

Keyphrases

proof procedure
theorem proving
knowledge representation
logic programming
knowledge base
expert systems
programming language
first order logic
propositional logic
nonmonotonic reasoning
automated reasoning
decision procedures
predicate calculus