A General Refutational Completeness Result for an Inference Procedure Based on Associative-Commutative Unification.

Published in: J. Symb. Comput. (1992)

Keyphrases

theorem proving
special case
equational theories
general conditions
social networks
bayesian networks
theorem prover
probabilistic inference
higher order
automated theorem proving
inference mechanism
inference rules
bayesian inference
real time
multiscale
feature selection
search engine
neural network
databases