The Complexity of Non-Iterated Probabilistic Justification Logic.
Ioannis KokkinisPublished in: FoIKS (2016)
Keyphrases
- probabilistic logic
- probabilistic model
- probability theory
- worst case
- logical inference
- generative model
- computational cost
- automated reasoning
- posterior probability
- classical logic
- data driven
- real time
- belief networks
- complexity analysis
- decision problems
- lower bound
- computational complexity
- probabilistic knowledge
- deontic logic
- search engine