Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity.
Zoran OgnjanovicPublished in: J. Log. Comput. (2006)
Keyphrases
- worst case
- bayesian networks
- lower bound
- probabilistic model
- continuous valued
- generative model
- expressive power
- discrete valued
- data sets
- discrete space
- uncertain data
- computational complexity
- modal logic
- propositional logic
- finite number
- probabilistic reasoning
- computational properties
- decision procedures
- data driven
- discrete geometry
- description logics