Keyphrases
- causal reasoning
- logical framework
- reasoning process
- knowledge base
- reasoning systems
- model based diagnosis
- meta level
- computational properties
- automated reasoning
- deductive reasoning
- knowledge representation
- knowledge representation and reasoning
- reasoning tasks
- resource bounded
- conflicting information
- reasoning mechanism
- logical reasoning
- database
- formal models
- qualitative reasoning
- default reasoning
- belief revision
- case study
- information systems