The following pages link to (Q3490995):
Displaying 7 items.
- Experiments with proof plans for induction (Q809617) (← links)
- Reasoning about model accuracy (Q1199915) (← links)
- A theory of abstraction (Q1199923) (← links)
- The inevitability of inconsistent abstract spaces (Q1311395) (← links)
- Automatically generating abstractions for planning (Q1332851) (← links)
- Downward refinement and the efficiency of hierarchical problem solving (Q1341665) (← links)
- Controlling the complexity in model-based diagnosis (Q1924811) (← links)
