Proving Ground Completeness of Resolution by Proof Planning (1997)

by Manfred Kerber , Arthur Christian Sehn
Citations:2 - 1 self

Documents Related by Co-Citation

62 Guiding inductive proofs – D Hutter - 1990
267 The Use of Explicit Plans to Guide Inductive Proofs – Alan Bundy, Alan Bundy - 1988
1737 STRIPS: A new approach to the application of theorem proving to problem solving. Arti cial Intelligence 2:189{208 – R Fikes, N J Nilsson - 1971
3 Adapting the Diagonalization Method by Reformulations – Xiaorong Huang, Xiaorong Huang, Manfred Kerber, Manfred Kerber, Lassaad Cheikhrouhou, Lassaad Cheikhrouhou, Fachbereich Informatik - 1995
1 Reuse of Proofs by Meta-Methods – Xiaorong Huang, Manfred Kerber, Fachbereich Informatik - 1995
1 Proof: A Many-Splendored Thing – I Kleiner, N Movshovitz-Hadar - 1997
1 Mathematics and Plausible Reasoning – G P��lya - 1954
1 and Nitsa Movshovitz-Hadar. Proof: A many-splendored thing – Israel Kleiner - 1997
1 Solution of the Robbins problem. submitted to the – William McCune - 1997
1 Siekmann and Graham Wrightson. Automation of Reasoning – H Jorg - 1983
4 Representing and reformulating diagonalization methods – Erica Melis - 1994
8 A science of reasoning, in: Computational Logic: Essays in Honour of Alan – A Bundy - 1990
2 The Mechanization of the Diagonalization Proof Strategy – Lassaad Cheikhrouhou - 1996
15 Integrating Computer Algebra with Proof Planning – Manfred Kerber, Michael Kohlhase, Volker Sorge - 1996
12 Planning Diagonalization Proofs – Lassaad Cheikhrouhou - 1997
15 Planning Mathematical Proofs with Methods – Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn - 1994
4 Automation of Reasoning – J Siekmann, G Wrightson - 1983
12 Edinburgh LCF: A mechanized Logic of Computation. LNCS 78 – M J Gordon, R Milner, C P Wadsworth - 1979
43 Transforming matings into natural deduction proofs – Peter B Andrews - 1980