Bounded-Horizon Success-Complete Restriction of Inference Programs.

Michel Sintzoff

Published in: ICLP (1984)

Keyphrases

provably correct
real time
machine learning
probabilistic reasoning
computer programs
grammatical inference
neural network
artificial intelligence
computer vision
database systems
expert systems
maximum likelihood
random fields
inference engine
automatic programming