Artificial Intelligence and its Applications Institute

  • Postal addressShow on map

    10 Crichton Street, Informatics Forum

    EH8 9AB Edinburgh

    United Kingdom

Filter
Conference contribution

Search results

  • 1988

    Using on-board AI to increase spacecraft autonomy

    Tate, A., Fraser, J. L., Conway, S. M., Currie, K. W., Drummond, M. E., Lockwood, R. M. & Macintosh, A. L., Sept 1988, Proceedings of the International Conference on Human-Machine Interaction and Artificial Intelligence in Aeronautics and Space. Toulouse, France, p. 173-185 13 p.

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

  • A Natural Language Interface to an Intelligent Planning System

    Tate, A., Crabtree, I. B., Crouch, R. S., Moffat, D. C., Pirie, N., Pulman, S. G. & Ritchie, G. D., 1988, Proceedings of the UK Information Engineering Directorate IT Conference, Swansea, July 1988. (Department of AI Research Paper; no. 407).

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

  • Research to Product - the Community Club Experience

    Tate, A., 1988, Artificial Intelligence Developments and Applications: Edited Selection of Papers to the Australian Joint Artificial Intelligence Conference, Sydney, Australia, 2-4 November, 1987. Gero, J. S. & Stanton, R. B. (eds.). Amsterdam: North-Holland Publishing Company, p. 5-16 12 p.

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

  • 1987

    Contingent Plan Structures for Spacecraft

    Tate, A., Drummond, M. E. & Currie, K. W., Jan 1987, Proceedings of the NASA Conference on Space Station Telerobotics . Rodriguez, G. (ed.). Vol. 3. p. 17-25 9 p. (JPL ; vol. 3, no. 87-13).

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

  • How to choose the weights in the Knuth Bendix ordering

    Martin, U., 1987, Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings. Lescanne, P. (ed.). Berlin, Heidelberg: Springer, p. 42-53 12 p. (Lecture Notes in Computer Science; vol. 256).

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

  • 1986

    Goal Structure, Holding Periods and 'Clouds'

    Tate, A., 1986, Reasoning About Actions and Plans: proceedings of the 1986 workshop. Georgeff, M. P. & Lansky, A. L. (eds.). Los Altos: Morgan Kaufmann, p. 267-278 12 p.

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

  • Unification in boolean rings

    Martin, U. & Nipkow, T., 1986, 8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings. Siekmann, J. H. (ed.). Berlin, Heidelberg: Springer, p. 506-513 8 p. (Lecture Notes in Computer Science; vol. 230).

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

  • 1985

    O-Plan: control in the Open Planning Architecture

    Tate, A. & Currie, K. W., 1985, Expert Systems '85: 5th Technical Conference: Papers. Merry, M. (ed.). Cambridge: Cambridge University Press, p. 225-240 16 p. (The British Computer Society Workshop series).

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

  • Preface

    Atkinson, M. P., Buneman, P. & Morrison, R., 1985, Data Types and Persistence (Appin), Informal Proceedings.

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

  • 1984

    Goal Structure - Capturing the Intent of Plans

    Tate, A., Sept 1984, (Unpublished) Sixth European Conference on Artificial Intelligence (ECAI-84). AAAI Press, p. 273-276 4 p.

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

  • Planning and Condition Monitoring in an FMS

    Tate, A., Jul 1984, (Unpublished) International Conf on the Development of Flexible Automation Systems, Inst.of Electrical Engineers. p. 62-69 8 p.

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

    File

  • Planning with Multiple Resource Constraints and an Application to a Naval Planning Problem

    Tate, A. & Whiter, A., 1984, First Conference on the Application of Artificial Intelligence. p. 410-416 7 p.

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

  • 1975

    Interacting Goals and their Use

    Tate, A., Sept 1975, Proceedings of the Fourth International Joint Conference on Artificial Intelligence (IJCAI-75) . p. 215-218 4 p.

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