Inference Rules and Proof Procedures for Inequations.

Chilukuri K. Mohan Mandayam K. Srivas Deepak Kapur

Published in: J. Log. Program. (1990)

Keyphrases

inference rules
proof procedures
first order logic
modal logic
theorem proving
theorem prover
horn clauses
bayesian networks
data model
conditional probabilities
temporal logic
set of inference rules