Keyphrases
- probabilistic logic
- probabilistic reasoning
- inheritance reasoning
- bayesian networks
- proof theory
- probabilistic knowledge
- computational properties
- causal networks
- proof theoretic
- inference rules
- probabilistic model
- knowledge representation formalisms
- logical inference
- reasoning systems
- knowledge base
- data driven
- generative model
- reasoning tasks
- expressive power
- knowledge representation
- horn logic
- information theoretic
- reasoning mechanisms
- propositional calculus
- intuitionistic logic
- modal logic
- belief networks
- legal reasoning
- qualitative reasoning
- conditional logic
- nonmonotonic logics
- knowledge representation and reasoning
- reasoning process