Precondition Inference via Partitioning of Initial States.

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

Published in: CoRR (2018)

Keyphrases

inference engine
state transition
initial set
inference process
database
databases
artificial intelligence
bayesian networks
multiscale
video sequences
probabilistic model
graphical models