The following pages link to Knowledge-based proof planning (Q1978469):
Displaying 14 items.
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- An integral theorem prover and the role of proof planning (Q1189730) (← links)
- Decision planning knowledge representation framework: A case-study (Q1397242) (← links)
- Comparing approaches to the exploration of the domain of residue classes. (Q1404427) (← links)
- Agenda control for heterogeneous reasoners (Q1764797) (← links)
- Constraint solving for proof planning (Q1774557) (← links)
- Towards finding longer proofs (Q2142073) (← links)
- Proof planning with multiple strategies (Q2389631) (← links)
- Proof planning: A practical approach to mechanized reasoning in mathematics (Q2702597) (← links)
- A proof-planning framework with explicit abstractions based on indexed formulas (Q2841241) (← links)
- (Q4530469) (← links)
- A framework for using knowledge in tableau proofs (Q4610337) (← links)
- Mechanizing Mathematical Reasoning (Q5717445) (← links)