Proof Planning: A Fresh Start?
暂无分享,去创建一个
[1] G. Gentzen. Untersuchungen über das logische Schließen. II , 1935 .
[2] Ian Green,et al. System description : Proof planning in higher-order logic with λ Clam , 1998 .
[3] Alan Bundy,et al. The Use of Explicit Plans to Guide Inductive Proofs , 1988, CADE.
[4] Alan Bundy,et al. Middle-Out Reasoning for Logic Program Synthesis , 1993, ICLP.
[5] David A. McAllester,et al. Systematic Nonlinear Planning , 1991, AAAI.
[6] Proof Transformation and Expansion with aParameterizable Inference , 2001 .
[7] Frank van Harmelen,et al. The Oyster-Clam System , 1990, CADE.
[8] Martha E. Pollack,et al. Passive and active decision postponement in plan generation , 1996 .
[9] A. Newell. The heuristic of George Polya and its relation to artificial intelligence , 1981 .
[10] Erica Melis,et al. Extensions of Constraint Solving for Proof Planning , 2000, ECAI.
[11] Erica Melis,et al. Knowledge-Based Proof Planning , 1999, Artif. Intell..
[12] Andreas Meier. System description : TRAMP transformation of machine-found proofs into natural deduction proofs at the assertion level , 2000 .
[13] Manfred Kerber. On the representation of mathematical concepts and their translation into first-order logic , 1992 .
[14] Alonzo Church,et al. A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.