Proof Planning with Multiple Strategies II
暂无分享,去创建一个
[1] G. Pólya,et al. How to Solve It , 1945 .
[2] Austin Tate,et al. Generating Project Networks , 1977, IJCAI.
[3] Barbara Hayes-Roth,et al. A Blackboard Architecture for Control , 1985, Artif. Intell..
[4] Alan Bundy,et al. The Use of Explicit Plans to Guide Inductive Proofs , 1988, CADE.
[5] D. Corkill. Blackboard Systems , 1991 .
[6] Matthias Fuchs,et al. Goal Oriented Equational Theorem Proving Using Team Work , 1994, KI.
[7] E. Melis. Island Planning and Refinement , 1996 .
[8] Xiaorong Huang,et al. Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level , 1996, PRICAI.
[9] Martha E. Pollack,et al. Flaw Selection Strategies for Partial-Order Planning , 1997, J. Artif. Intell. Res..
[10] Volker Sorge,et al. ΩMEGA : Towards a mathematical assistant , 1997 .
[11] Andreas Wolf. Strategy Selection for Automated Theorem Proving , 1998, AIMSA.
[12] Erica Melis. The "Limit" Domain , 1998, AIPS.
[13] Eugene Fink,et al. How to Solve It Automatically: Selection Among Problem Solving Methods , 1998, AIPS.
[14] Erica Melis,et al. Proof planning with multiple strategies , 2000, Artif. Intell..