Horn Equational Theories and Paramodulation.

Ulrich Furbach Steffen Hölldobler Joachim F. Schreiber

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

Keyphrases

equational theories
theorem proving
inference rules
first order logic
horn clauses
np hard
automated reasoning
horn theories
propositional logic
theorem prover
function symbols
databases
knowledge compilation
horn logic
machine learning
high level
artificial intelligence