Mode Based Type Inference for Prolog Programs.

Dongwook Shin Youngmin Chung Hyunsoo Yoon

Published in: SEKE (1993)

Keyphrases

prolog programs
logic programs
probabilistic inference
bayesian networks
artificial intelligence
case study
bayesian inference
inference engine
bayesian model
efficient learning
grammatical inference