Certified Reasoning in Memory Hierarchies.
Gilles BartheCésar KunzJorge Luis SacchiniPublished in: APLAS (2008)
Keyphrases
- memory requirements
- case based reasoner
- spatial reasoning
- automated reasoning
- analogical reasoning
- past experience
- memory space
- computing power
- knowledge base
- memory usage
- qualitative reasoning
- knowledge representation
- model based diagnosis
- computational power
- case based reasoning
- memory size
- reasoning process
- model based reasoning
- legal reasoning
- causal reasoning
- machine learning
- reasoning mechanisms
- technical support
- learning algorithm
- consistency checking
- uncertain information
- limited memory
- information systems
- database systems
- neural network
- data model