The Problem of Choosing the Inference Rule to Employ.

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

Keyphrases

inference rules
first order logic
theorem proving
logical framework
theorem prover
modal logic
truth values
sequent calculus
data sets
learning algorithm
artificial intelligence
knowledge base
horn clauses
set of inference rules