Keyphrases
- external events
- probabilistic knowledge
- probabilistic logic
- formal model
- inference rules
- probabilistic reasoning
- propositional logic
- logic programming
- bayesian networks
- conditional probabilities
- maximum entropy
- description logics
- formal semantics
- probabilistic model
- reasoning problems
- knowledge base
- dynamic programming
- concurrent actions