Planning and Proof Planning
暂无分享,去创建一个
[1] Jörg H. Siekmann,et al. Omega-MKRP: A Proof Development Environment , 1994, CADE.
[2] Robin Milner,et al. Edinburgh lcf: a mechanized logic of computation , 1978 .
[3] Alan Bundy. Proof Planning , 1996, AIPS.
[4] Jaime G. Carbonell,et al. Derivational analogy: a theory of reconstructive problem solving and expertise acquisition , 1993 .
[5] Daniel S. Weld. An Introduction to Least Commitment Planning , 1994, AI Mag..
[6] Richard E. Korf,et al. Macro-Operators: A Weak Method for Learning , 1985, Artif. Intell..
[7] Uri Leron,et al. Structuring Mathematical Proofs. , 1983 .
[8] Michael J. C. Gordon,et al. Edinburgh LCF: A mechanised logic of computation , 1979 .
[9] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.
[10] Manuela M. Veloso,et al. Planning and Learning by Analogical Reasoning , 1994, Lecture Notes in Computer Science.
[11] Alan Bundy,et al. The Use of Proof Planning for Co-operative Theorem Proving , 1998, J. Symb. Comput..
[12] Austin Tate,et al. Generating Project Networks , 1977, IJCAI.
[13] Oren Etzioni,et al. PRODIGY4.0: The Manual and Tutorial , 1992 .
[14] Alan Bundy,et al. Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation , 1980, Artif. Intell..
[15] Eugene Fink,et al. Integrating planning and learning: the PRODIGY architecture , 1995, J. Exp. Theor. Artif. Intell..
[16] Alan Bundy,et al. Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation , 1980, CADE.
[17] Robert B. Doorenbos. Production Matching for Large Learning Systems , 1995 .
[18] Allen Newell,et al. SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..
[19] Rance Cleaveland,et al. Implementing mathematics with the Nuprl proof development system , 1986 .
[20] Erica Melis,et al. A Model of Analogy-Driven Proof-Plan Construction , 1995, IJCAI.
[21] Earl D. Sacerdoti,et al. The Nonlinear Nature of Plans , 1975, IJCAI.
[22] Alan Bundy,et al. The Use of Explicit Plans to Guide Inductive Proofs , 1988, CADE.