The Rue Theorem-Proving System: The Complete Set if LIM+ Challenge Problems.

Vincent J. Digricoli

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

Keyphrases

theorem proving
automated reasoning
geometry theorem proving
probability distribution
first order logic
artificial intelligence
bayesian networks
np complete
inference rules
conditional probabilities
theorem prover
decision procedures
proof procedure
automated deduction
parallel search