Reasoning with Generic Cases in the Arithmetic of Abstract Matrices.
Alan P. SextonVolker SorgeStephen M. WattPublished in: Calculemus/MKM (2009)
Keyphrases
- case based reasoner
- case based reasoning
- knowledge base
- legal reasoning
- legal cases
- high level
- automated reasoning
- legal argument
- low level
- knowledge representation
- domain specific
- graphical representation
- reasoning systems
- meta level
- reasoning about actions
- formal models
- spatial reasoning
- real time
- description logics
- domain knowledge
- decision making