Typability and Type Inference in Atomic Polymorphism.

M. Clarence Protin Gilda Ferreira

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

bayesian networks
database
real world
decision trees
case study
database systems
search algorithm
knowledge representation
probabilistic inference
inference engine
inference process
inference mechanism