Abstract Local Reasoning for Program Modules.
Thomas Dinsdale-YoungPhilippa GardnerMark J. WheelhousePublished in: CALCO (2011)
Keyphrases
- case based reasoner
- knowledge base
- modular ontologies
- reasoning systems
- knowledge representation
- high level
- knowledge structures
- meta level
- functional modules
- test cases
- computer programs
- rule based reasoning
- reasoning process
- reasoning tasks
- genetic algorithm
- modular architecture
- program execution
- model based reasoning
- database systems
- expert systems
- automated reasoning
- qualitative reasoning
- case based reasoning
- low level