Keyphrases
- proof theory
- inheritance reasoning
- uncertain information
- reasoning under uncertainty
- possibility theory
- computational properties
- knowledge representation formalisms
- uncertain knowledge
- incomplete knowledge
- modal logic
- horn logic
- intuitionistic logic
- expressive power
- multi context systems
- knowledge base
- probabilistic knowledge
- reasoning systems
- inference rules
- knowledge representation
- classical logic
- proof theoretic
- probability theory
- probabilistic reasoning
- default reasoning
- automated reasoning
- decision making
- reasoning mechanisms
- knowledge representation and reasoning
- legal reasoning
- reasoning process
- bayesian networks
- temporal knowledge
- case based reasoning
- inconsistent knowledge
- theorem proving
- model based diagnosis
- probabilistic logic
- spatial reasoning
- reasoning problems
- decision procedures
- robust optimization