Adaptation of Declaratively Represented Methods in Proof Planning (1995)

Cached

Download Links

by Xiaorong Huang , Manfred Kerber , Lassaad Cheikhrouhou
Venue:SEKI REPORT SR-95-12, FACHBEREICH INFORMATIK, UNIVERSIT AT DES SAARLANDES
Citations:4 - 2 self

Documents Related by Co-Citation

127 The Oyster-Clam system – A Bundy, F van Harmelen, C Horn, A Smaill - 1990
162 Rippling: A Heuristic for Guiding Inductive Proofs – Alan Bundy, Andrew Stevens, Frank Van Harmelen, Andrew Ireland, Alan Smaill - 1993
267 The Use of Explicit Plans to Guide Inductive Proofs – Alan Bundy, Alan Bundy - 1988
94 Experiments with Proof Plans for Induction – Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill - 1992
12 Ω-MKRP - A Proof Development Environment – Xiaorong Huang, Xiaorong Huang, Manfred Kerber, Manfred Kerber, Michael Kohlhase, Michael Kohlhase, Erica Melis, Erica Melis, Dan Nesmith, Dan Nesmith, Jörn Richts, Jorn Richts, Jörg Siekmann, Jorg Siekmann - 1994
8 A science of reasoning, in: Computational Logic: Essays in Honour of Alan – A Bundy - 1990
4 Middle-Out Reasoning for Program Synthesis – I Kraan, D Basin, A Bundy - 1993
24 Higher-Order Coloured Unification and Natural Language Semantics – Claire Gardent, Michael Kohlhase - 1996
63 Reconstructing Proofs at the Assertion Level – Xiaorong Huang - 1994
45 Recursive predicates and quantifiers – S C Kleene - 1943
567 Untersuchungen über das logische Schliessen – G Gentzen - 1934
3 Adapting the Diagonalization Method by Reformulations – Xiaorong Huang, Xiaorong Huang, Manfred Kerber, Manfred Kerber, Lassaad Cheikhrouhou, Lassaad Cheikhrouhou, Fachbereich Informatik - 1995
1 Summing series using proof plans. Unpublished M.Sc – N Free - 1992
1 The Clam proof-planner, user manual and programmer manual (version 2.5 – F van Harmelen - 1996
4 Representing and reformulating diagonalization methods – Erica Melis - 1994
119 Computability: An Introduction to Recursive Function Theory – N J Cutland - 1986
74 A Science of Reasoning – Alan Bundy - 1991
68 An Eternal Golden Braid – Escher Gödel, Bach - 1979
24 The Use of Proof Plans to Sum Series – Toby Walsh, Alex Nunes, Alan Bundy - 1992