Partial Instantiation Methods for Inference in First-Order Logic.

John N. Hooker G. Rago V. Chandru A. Shrivastava

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

Keyphrases

first order logic
probabilistic reasoning
expressive power
propositional logic
markov logic networks
machine learning
theorem proving
markov logic
artificial intelligence
bayesian networks
expert systems
logic programming
theorem prover
transitive closure