A Probabilistic Dynamic Logic.

Yishai A. Feldman David Harel

Published in: J. Comput. Syst. Sci. (1984)

Keyphrases

dynamic logic
reasoning about actions
bayesian networks
imperative programs
probabilistic model
generative model
modal logic
propositional dynamic logic
conditional probabilities
case based reasoning
data driven
first order logic
temporal information
probability theory
natural language
multi agent
neural network