Type Inference for Partial Types is Decidable.

Patrick O'Keefe Mitchell Wand

Published in: ESOP (1992)

Keyphrases

multiple types
information extraction
neural network
genetic algorithm
artificial intelligence
information systems
bayesian networks
search algorithm
relational databases
special case
probabilistic inference
random fields
bayesian inference
efficient learning
special features