Keyphrases
- case based reasoning
- expressive power
- case base
- knowledge base
- modal logic
- expert systems
- growing cell structures
- decision support system
- case based reasoning systems
- case retrieval
- rule based reasoning
- terminological knowledge
- propositional dynamic logic
- hierarchical problem solving
- legal reasoning
- case library
- knowledge engineering
- inference rules
- database
- nonmonotonic logics
- proof theory
- similarity based retrieval
- past cases
- knowledge representation