Methods for Automated Theorem Proving in Nonclassical Logics.

Charles G. Morgan

Published in: IEEE Trans. Computers (1976)

Keyphrases

benchmark datasets
multiscale
computational cost
machine learning
bayesian networks
preprocessing
search space
fuzzy sets
orders of magnitude