Reasoning Algebraically About Probabilistic Loops.
Larissa MeinickeIan J. HayesPublished in: ICFEM (2006)
Keyphrases
- probabilistic logic
- probabilistic reasoning
- bayesian networks
- data driven
- logical inference
- reasoning tasks
- probabilistic knowledge
- generative model
- knowledge representation
- causal networks
- meta level
- model based diagnosis
- probabilistic approaches
- spatial reasoning
- resource bounded
- automated reasoning
- reasoning systems
- qualitative reasoning
- inference process
- computational properties
- legal reasoning
- data sets
- linear systems
- maximum entropy
- information theoretic
- knowledge base