The following pages link to (Q4808725):
Displaying 8 items.
- Knowledge-based proof planning (Q1978469) (← links)
- Proof planning with multiple strategies (Q2389631) (← links)
- Mathematical applications of inductive logic programming (Q2433178) (← links)
- Generating plans from proofs. The interpolation-based approach to query reformulation (Q2799047) (← links)
- Concept Formation via Proof Planning Failure (Q2996204) (← links)
- Automatic Learning of Proof Methods in Proof Planning (Q4465166) (← links)
- (Q4530469) (← links)
- (Q4707764) (← links)