Keyphrases
- computational properties
- default logic
- reasoning systems
- truth maintenance systems
- knowledge representation
- modal logic
- knowledge base
- default theories
- autoepistemic logic
- model based reasoning
- nonmonotonic logics
- knowledge representation and reasoning
- legal reasoning
- fuzzy reasoning
- reasoning process
- domain knowledge
- probabilistic logic
- inference rules
- analogical reasoning
- sufficient conditions
- resource bounded
- reasoning mechanisms
- expert systems