Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 0:35, 22 October 2019

Search the publication database

  . Return

Your search returned the following 11 documents:

  1. Peter Madden, Alan Bundy, and Alan Smaill
    Recursive Program Optimization Through Inductive Synthesis Proof Transformation
    Journal of Automated Reasoning 22 (1): 65-115, 1999. Note: Also available as Research Report MPI-I-94-239, Max-Planck-Institut für Informatik, Saarbrücken
  2. Francisco Cantu, Alan Bundy, Alan Smaill, and David A. Basin
    Experiments in Automating Hardware Verification using Inductive Proof Planning
    In: Proceedings of the Formal Methods for Computer-Aided Design Conference (FMCAD'96), Palo Alto, CA, USA, 1996, 94-108
  3. Ina Kraan, David A. Basin, and Alan Bundy
    Middle-out reasoning for synthesis and induction
    Journal of Automated Reasoning 16 (1/2): 113-145, 1996
  4. Ina Kraan, David A. Basin, and Alan Bundy
    Middle-Out Reasoning for Synthesis and Induction
    In: Automated mathematical induction, 1996, 113-145. Note: Reprinted from Journal of Automated Reasoning 16 (Nos. 1/2)
  5. Alan Bundy and V. Lombart
    Relational Rippling: a General Approach
    In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), Montréal, Canada, August 20-25, 1995, 175-181
  6. Tetsuja Yoshida, Alan Bundy, Ian Green, Toby Walsh, and David A. Basin
    Coloured Rippling: An Extension of a Theorem Proving Heuristic
    In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94), Amsterdam, Netherlands, 1994, 1994, 85-89
  7. Ian Frank, David A. Basin, and Alan Bundy
    Finesse: An Adaptation of Proof-Planning to Declarer Play in Bridge
    In: Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92), Vienna, Austria, 1992, 72-76
  8. David A. Basin, Alan Bundy, Ina Kraan, and Seán Matthews
    A Framework for Program Development Based on Schematic Proof
    In: Proc. 7th Intern.~Workshop on Software Specification and Design, Redondo Beach, CA, 1993, 162-171. Note: Also available as Research Report MPI-I-93-231
  9. Peter Madden and Alan Bundy
    General Proof Theoretic Techniques for Automatic Programing
    In: Proceedings of the EAST-WEST AI CONFERENCE: From Theory to Practice - EWAIC'93, 1993
  10. Ina Kraan, David A. Basin, and Alan Bundy
    Logic Program Synthesis via Proof Planning
    In: International Workshop on Logic Program Synthesis and Transformation (LOPSTR '92), Manchester, UK, 1992, 1993, 1-14. Note: Also available as Research Report MPI-I-92-244
  11. Ina Kraan, David A. Basin, and Alan Bundy
    Middle-Out Reasoning for Logic Program Synthesis
    In: Proc.~10th Intern. Conference on Logic Programing (ICLP '93), Budapest, Hungary, 1993, 441-455. Note: Also available as Research Report MPI-I-93-214