Data structure repair using goal-directed reasoning.
Brian DemskyMartin C. RinardPublished in: ICSE (2005)
Keyphrases
- goal directed
- data structure
- autonomous robots
- knowledge base
- automated planning
- reasoning systems
- knowledge representation
- space efficient
- automated reasoning
- quadtree
- efficient data structures
- model based reasoning
- suffix tree
- qualitative reasoning
- data types
- probabilistic reasoning
- dependency graph
- rational agents
- real time
- reasoning mechanisms
- damage assessment
- autonomous learning
- rule based reasoning
- bayesian networks
- nearest neighbor
- multi dimensional
- itemsets
- reasoning tasks
- production rules