Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages.

Mika Hirvensalo

Published in: SOFSEM (1) (2007)

Keyphrases

probabilistic planning
generative model
databases
description logics
bayesian networks
expressive power
cross lingual
grammatical inference
probabilistic model
heuristic search
probabilistic logic
quantum mechanics