Alan Bundy

View Scopus Profile

Alan Bundy

PROF

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

Search results

  • 1987

    Programming Tools for Prolog Environments

    Brna, P., Bundy, A., Pain, H. & Lynch, L., 1987, Advances in Artificial Intelligence: Proceedings of the 1987 AISB Conference, University of Edinburgh.

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

    Open Access
    File

  • Special Purpose, but Domain Independent, Inference Mechanisms

    Bundy, A., Byrd, L. & Mellish, C., 1987, Proceedings to the 5th European Conference on Artificial Intelligence, ECAI 82, Paris, 1982. Vol. XXXI.

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

    Open Access
    File
  • 1985

    Altering the Description Space for Focussing

    Wielemaker, J. & Bundy, A., 1985, Expert Systems 85: Proceedings of the Fifth Technical Conference of the British Computer Society Specialist Group on Expert Systems (British Computer Society Workshop Series). (DAI Research Paper No. 262).

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

    Open Access
    File

  • Discovery and Reasoning in Mathematics

    Bundy, A., 1985, Proceeding IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2.

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

    Open Access
    File

  • Raising the Standard of AI Products

    Bundy, A. & Clutterbuck, R., 1985, Proceedings of the Ninth International Joint Conference on Artificial Intelligence - 1985.

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

    Open Access
    File

  • The Eco Browser

    Bundy, A., Robertson, D., Muetzelfeldt, R., Plummer, D. & Uschold, M., 1985, Proc. of the fifth technical conference of the British Computer Society Specialist Group on Expert Systems on Expert systems 85. Cambridge University Press, p. 143-156

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

    File
  • 1984

    An Intelligent Front End for Ecological Modelling

    Uschold, M., Muetzelfeldt, R., Bundy, A., Harding, N. & Robertson, D., 1984, Advances in Artificial Intelligence, Proceedings of the Sixth European Conference on Artificial Intelligence, ECAI-84, Pisa, Italy, September 5-7, 1984. North-Holland, 1985. European Conference on Artificial Intelligence (ECAI), p. 13-22

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

    File
  • 1982

    Meta-Level Inference and Program Verification

    Sterling, L. & Bundy, A., 1982, 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982. Springer, p. 144-150 (Lecture Notes in Computer Science; vol. 138).

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

    File

  • Solving Symbolic Equations with PRESS

    Sterling, L., Bundy, A., Byrd, L., O'Keefe, R. & Silver, B., 1982, Computer Algebra - Lecture Notes in Computer Science. Vol. 7.

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

    Open Access
    File
  • 1981

    Homogenization: Preparing Equations for Change of Unknown

    Bundy, A. & Silver, B., 1981, Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981. Morgan Kaufmann, p. 551-553 3 p.

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

    Open Access
    File
  • 1979

    Solving Mechanics Problems Using Meta-Level Inference

    Bundy, A., Byrd, L., Luger, G., Mellish, C. & Palmer, M., 1979, Proceedings of the 6th international joint conference on Artificial Intelligence - IJCAI '79.

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

    Open Access
    File
  • 1978

    Knowledge about Knowledge: Making Decisions in Mechanics Problem Solving

    Bundy, A., Luger, G., Mellish, C. & Palmer, M., 1978, Proceedings of the 4th European Conference on Artificial Intelligence.

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

    Open Access
    File
  • 1977

    Representing Semantic Information In Pulley Problems

    Luger, G. & Bundy, A., 1977, Proceedings of the 5th International Joint Conference on Artificial Intelligence (IJCAI '77). Cambridge, MA.

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

    Open Access
    File
  • 1976

    Mecho: Year one

    Bundy, A., Luger, G., Stone, M. & Welham, R., 1976, Proceedings of Artificial Intelligence and Simulation of Behaviour.

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

    Open Access
    File
  • 1975

    Analysing Mathematical Proofs (or Reading between the Lines)

    Bundy, A., 1975, Proceedings of the 4th international joint conference on Artificial Intelligence -.

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

    Open Access
    File
  • 1973

    Doing arithmetic with diagrams

    Bundy, A., 1973, Proceedings of IJCAI-3.

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

    Open Access
    File