Alan Bundy

View Scopus Profile

Alan Bundy

PROF

 https://orcid.org/0000-0002-0578-6474
Filter
Conference contribution

Search results

  • 2000

    Searching for a Solution to Program Verification=Equation Solving in CCS

    Monroy, R., Bundy, A. & Green, I., 2000, MICAI 2000: Advances in Artificial Intelligence: Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings. Springer, p. 1-12 (Lecture Notes in Computer Science; vol. 1793).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
  • 1999

    An ML Editor based on Proofs-as-Programs

    Whittle, J., Bundy, A., Boulton, R. & Lowe, H., Oct 1999, Automated Software Engineering, 1999. 14th IEEE International Conference on.. p. 166 - 173

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers

    Bundy, A., Janicic, P. & Green, I., 1999, Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Springer, p. 127-141 (Lecture Notes in Computer Science; vol. 1632).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • An Adversarial Planning Approach to Go

    Willmott, S., Richardson, J., Bundy, A. & Levine, J., 1999, Computers and Games: First International Conference, CG’98 Tsukuba, Japan, November 11–12, 1998 Proceedings. Herik, H. J. & Iida, H. (eds.). Springer, p. 93-112 20 p. (Lecture Notes in Computer Science; vol. 1558).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Automatic Concept Formation in Pure Mathematics

    Colton, S., Bundy, A. & Walsh, T., 1999, Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99. MORGAN KAUFMANN PUB INC, p. 786-791

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Extensions to the Estimation Calculus

    Gow, J., Bundy, A. & Green, I., 1999, Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings. Ganzinger, H., McAllester, D. & Voronkov, A. (eds.). Springer, p. 258-272 15 p. (Lecture Notes in Computer Science; vol. 1705).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • Proofs About Lists Using Ellipsis

    Bundy, A. & Richardson, J., 1999, Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings. Ganzinger, H., McAllester, D. & Voronkov, A. (eds.). Springer, p. 1-12 12 p. (Lecture Notes in Computer Science; vol. 1705).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • System Description: CyNTHIA

    Whittle, J., Bundy, A., Boulton, R. & Lowe, H., 1999, Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Springer, p. 388-392 (Lecture Notes in Computer Science; vol. 1632).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • The Design of the CADE-16 Inductive Theorem Prover Contest

    Bundy, A. & Hutter, D., 1999, Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Springer, p. 374-377 (Lecture Notes in Computer Science; vol. 1632).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
  • 1998

    A Science of Reasoning (Extended Abstract)

    Bundy, A., May 1998, Automated Reasoning with Analytic Tableaux and Related Methods. de Swart, H. (ed.). Springer, Vol. 1397. p. 10-17 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • HR: A System for Machine Discovery in Finite Algebras

    Bundy, A., Colton, S. & Walsh, T., 1998, 13th biennial European Conference on Artificial Intelligence Workshop 1998.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • OBSERVANT: an Annotated Term Rewriting System for Deciding Observation

    Monroy, R., Bundy, A. & Green, I., 1998, Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98). p. 393-397

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • System Description: an Interface Between CLAM and HOL

    Slind, K., Gordon, M., Boulton, R. & Bundy, A., 1998, Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings. Springer, p. 134-138 (Lecture Notes in Computer Science; vol. 1421).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
  • 1997

    A Comparison of Decision Procedures in Presburger Arithmetic

    Janicic, P., Green, I. & Bundy, A., 1997, Proceedings of the VIII Conference on Logic and Computer Science (LIRA 97). 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • An Editor for Helping Novices to Learn Standard ML

    Whittle, J., Bundy, A. & Lowe, H., 1997, Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings. Springer, Vol. 1292. (Lecture Notes in Computer Science; vol. 1292).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • A Prototype Interface Between CLAM and HOL

    Boulton, R., Slind, K., Bundy, A. & Gordon, M., 1997, Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs ' 97 Murray Hill, NJ, USA, August 19-22, 1997 Proceedings. Springer, Vol. 1275. ( Lecture Notes in Computer Science ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Automation of Diagrammatic Reasoning

    Jamnik, M., Bundy, A. & Green, I., 1997, Proceedings of the 15th International Joint Conference on Arti Intelligence - IJCAI '97. Morgan Kaufmann

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Proof Planning and Industrial Configuration

    Pechoucek, M., Lowe, H. & Bundy, A., 1997, PAP97: Proceedings of the Fifth International Conference on the Practical Application of PROLOG. Practical Application Co Ltd

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • The Use of Classification in Automated Mathematical Concept Formation

    Colton, S., Cresswell, S. & Bundy, A., 1997, Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation, November 28-30, 1997, Edinburgh University. Department of Artificical Intelligence, Edinburgh University

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Using a generalisation critic to find bisimulations for coinductive proofs

    Dennis, L., Bundy, A. & Green, I., 1997, Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings. Springer, p. 276-290 (Lecture Notes in Computer Science; vol. 1249).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
  • 1996

    Computing Abstraction Hierarchies by Numerical Simulation

    Bundy, A., Giunchiglia, F., Sebastiani, R. & Walsh, T., 1996, Proceedings of AAAI-96. p. 523-529 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Experiments in Automating Hardware Verification using Inductive Proof Planning

    Cantu, F., Bundy, A., Smaill, A. & Basin, D., 1996, Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA. Springer

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 1995

    Proof Planning

    Bundy, A., 1995, Proceedings of the Third International Conference on Artificial Intelligence Planning Systems. AAAI Press

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Relational Rippling: a General Approach

    Bundy, A. & Lombart, V., 1995, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence - IJCAI-95.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 1994

    Coloured rippling: An extension of a theorem proving heuristic

    Yoshida, T., Bundy, A., Green, I., Walsh, T. & Basin, D., 1994, Proceedings of the Eleventh European Conference on Artificial Intelligence, Amsterdam, The Netherlands, August 8-12, 1994. Wiley

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Proof Plans for the Correction of False Conjectures

    Monroy, R., Bundy, A. & Ireland, A., 1994, Proceedings of Logic Programming and Automated Reasoning '94.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 1993

    On the Relation Between Incidence Calculus and ATMS

    Liu, W., Bundy, A. & Robertson, D., 1 Nov 1993, Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 Proceedings. Clarke, M., Kruse, R. & Moral, S. (eds.). Springer, Vol. 747. p. 249-256 8 p. (Lecture Notes in Computer Science; vol. 747).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving

    Madden, P. & Bundy, A., 1993, EAST-WEST AI CONFERENCE: from theory to practice - EWAIC'93. 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Increasing the Versatility of Heuristic Based Theorem Provers

    Manning, A., Ireland, A. & Bundy, A., 1993, LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning. Springer, Vol. Lecture Notes in Artificial Intelligence No. 698.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Logic Program Synthesis via Proof Planning

    Kraan, I., Basin, D. & Bundy, A., 1993, Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992. Springer, p. 1-14 (Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Middle-Out Reasoning for Logic Program Synthesis

    Kraan, I., Basin, D. & Bundy, A., 1993, Proceedings of the Tenth International Conference on Logic Programming . MIT Press, 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • Recovering Incedence Functions

    Liu, W., Bundy, A. & Robertson, D. S., 1993, Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 Proceedings. London, UK, UK: Springer, p. 241-248 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 1992

    A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs

    Bundy, A., Brna, P. & Pain, H., 1992, Procs of the ALPUK-90 conference, 'Logic Programming: New Frontiers'.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • An Adaptation of Proof-Planning to Declarer Play in Bridge

    Frank, I., Basin, D. & Bundy, A., 1992, 10th European Conference on Artificial Intelligence, ECAI 92, Vienna, Austria, August 3-7, 1992. Proceedings.. Wiley, p. 72-76

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • The Use of Proof Plans to Sum Series

    Walsh, T., Nunes, A. & Bundy, A., 1992, Automated Deduction - CADE-11: Lecture Notes in Artificial Intelligence. Springer, Vol. 607.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Tutorial notes: reasoning about logic programs

    Bundy, A., 1992, Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings. Springer, p. 252-277 26 p. (Lecture Notes in Computer Science; vol. 636).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs

    Hesketh, J., Bundy, A. & Smaill, A., 1992, Automated Deduction—CADE-11: 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 Proceedings. Springer, p. 310-324 15 p. (Lecture Notes in Computer Science; vol. 607).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 1991

    Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof

    Wiggins, G. A., Bundy, A., Kraan, I. & Hesketh, J., 1991, Proceedings of LoPSTr-91.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 1990

    Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs

    Bundy, A., van Harmelen, F., Smaill, A. & Ireland, A., 1990, 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings. Springer, Vol. Lecture Notes in Artificial Intelligence No. 449. p. 132-146 (Lecture Notes in Computer Science; vol. 449).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • The OYSTER-CLAM system

    Bundy, A., van Harmelen, F., Horn, C. & Smaill, A., 1990, Proceedings of the 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings. Springer, Vol. Lecture Notes in Artificial Intelligence No. 449,. p. 647-648 (Lecture Notes in Computer Science; vol. 449).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • The Synthesis of Logic Programs from Inductive Proofs

    Bundy, A., Smaill, A. & Wiggins, G., 1990, Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990. Lloyd, J. (ed.). Springer, p. 135-149 15 p. (ESPRIT Basic Research Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • The use of proof plans in formal methods

    Bundy, A., 1990, Design and implementation of symbolic computation systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings. Miola, A. (ed.). Springer, p. 151-153 (Lecture Notes in Computer Science; vol. 429).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Turning Eureka Steps into Calculations in Automatic Program Synthesis

    Bundy, A., Smaill, A. & Hesketh, J., 1990, Proceedings of the UK IT 90 Conference.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 1989

    A Rational Reconstruction and Extension of Recursion Analysis

    Bundy, A., van Harmelen, F., Hesketh, J., Smaill, A. & Stevens, A., Aug 1989, Proceedings of the 11th International Joint Conference on Artificial Intelligence - IJCAI 1989.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 1988

    The Use of Explicit Plans to Guide Inductive Proofs

    Bundy, A., May 1988, 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings. Springer, (Lecture Notes in Computer Science; vol. 310).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • A broader interpretation of logic in logic programming

    Bundy, A., 1988, Proceedings of the Fifth International Logic Programming Conference/ Fifth Symposium on Logic Programming.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Proving properties of logic programs: A Progress Report

    Bundy, A., Wallen, L. A., Sannella, D., Desimone, R., Guinchiglia, F., van Harmelen, F., Hesketh, J., Madden, P., Smaill, A. & Stevens, A., 1988, 1988 Alvey Conference. Vol. UK IT88. 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 1987

    Computer-Aided Construction of Ecological Simulation Models

    Muetzelfeldt, R., Robertson, D., Uschold, M. & Bundy, A., 1987, International Symposium on AI, Expert Systems and Languages in Modelling and Simulation.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • Helping Inexperienced Users to Construct Simulation Programs: An Overview of the ECO Project

    Robertson, D., Bundy, A., Uschold, M. & Muetzelfeldt, R., 1987, Proceedings of Expert Systems '87 on Research and Development in Expert Systems IV. Cambridge University Press

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • How to Improve the Reliability of Expert Systems

    Bundy, A., 1987, Proceedings of Expert Systems '87 on Research and Development in Expert Systems IV. Moralee, S. (ed.). Cambridge University Press

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File