Algorithmic Aspects of Type Inference with Subtypes.

Patrick Lincoln John C. Mitchell

Published in: POPL (1992)

Keyphrases

logic programs
algorithmic aspects
multiple types
real time
decision making
bayesian networks
machine learning
information systems
knowledge base
decision trees
multiscale
data structure
breast cancer
bayesian inference