Mechanization of Analytic Reasoning About Sets.

Alan F. McMichael

Published in: AAAI (1991)

Keyphrases

machine intelligence
machine learning
convex sets
qualitative reasoning
decision trees
database systems
data structure
search algorithm
data streams
artificial neural networks