Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations.

Sidney C. Bailin Dave Barker-Plummer

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

Keyphrases

inference rules
small number
artificial intelligence
probability distribution
semi supervised
conditional probabilities
truth values