Experimentation with proof methods for non-Horn sets.

Chris Merz Ralph W. Wilkerson

Published in: SAC (1992)

Keyphrases

significant improvement
computational cost
benchmark datasets
data sets
machine learning
artificial intelligence
image segmentation
bayesian networks
machine learning algorithms
search methods
qualitative and quantitative
theorem prover