Transformation-Enabled Precondition Inference.

Bishoksan Kafle Graeme Gange Peter J. Stuckey Peter Schachte Harald Søndergaard

Published in: CoRR (2021)

Keyphrases

probabilistic inference
inference process
case study
bayesian networks
belief networks
graphical models
inference mechanism
data structure
search algorithm
dynamic bayesian networks
bayesian model
efficient learning
linear transformation