An Implementation of the Model Elimination Proof Procedure.

S. Fleisig Donald W. Loveland A. K. Smiley III D. L. Yarmush

Published in: J. ACM (1974)

Keyphrases

high level
probabilistic model
natural language
probability distribution
computational complexity