Reasoning about probabilistic sequential programs.

Rohit Chadha Luís Cruz-Filipe Paulo Mateus Amílcar Sernadas

Published in: Theor. Comput. Sci. (2007)

Keyphrases

bayesian networks
posterior probability
spatial reasoning
automatic programming
information retrieval
computer programs
probabilistic knowledge
decision trees
probabilistic model
qualitative reasoning
programming environment
probabilistic logic
formal theory
sequential search
probabilistic approaches