Thin MSO with a Probabilistic Path Quantifier.

Mikolaj Bojanczyk

Published in: ICALP (2016)

Keyphrases

shortest path
bayesian networks
probabilistic model
generative model
posterior probability
uncertain data
probabilistic logic
neural network
website
finite state
real time
case study
query processing
context sensitive
optimal path
probabilistic approaches