Goal-Directed Reasoning for Specification-Based Data Structure Repair.
Brian DemskyMartin C. RinardPublished in: IEEE Trans. Software Eng. (2006)
Keyphrases
- goal directed
- data structure
- autonomous robots
- knowledge base
- automated planning
- efficient data structures
- qualitative reasoning
- knowledge representation
- reasoning process
- specification language
- model based reasoning
- reasoning systems
- suffix tree
- high level
- reasoning tasks
- qualitative simulation
- computer vision
- data types
- web services
- reasoning about actions
- legal reasoning
- automated reasoning
- spatial reasoning
- formal specification
- case based reasoning