Edinburgh Research Explorer

Prof David Robertson

Vice-Principal & Head of College of Science & Engineering

  1. 1991
  2. Prolog Programming Techniques

    Brna, P., Bundy, A., Dodd, T., Eisenstadt, M., Looi, C. K., Pain, H., Robertson, D., Smith, B. & van Someren, M., Mar 1991, In : Instructional Science. 20, 2-3, p. 111-133 23 p.

    Research output: Contribution to journalArticle

  3. A Simple Prolog Techniques Editor for Novice Users

    Robertson, D., 1 Apr 1991, Proceedings of 3rd Annual Conference on Logic Programming. Wiggins, G. A., Mellish, C. & Duncan, T. (eds.). Edinburgh: Springer-Verlag GmbH, p. 190-205 16 p. (Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Automated Reasoning about an Uncertain Domain

    Correa da Silva, F., Robertson, D. & Chung, P., 1 Oct 1991, Symbolic and Quantitative Approaches to Uncertainty: European Conference ECSQAU Marseille, France, October 15–17, 1991 Proceedings. Springer-Verlag GmbH, p. 141-145 5 p. (Lecture Notes in Computer Science; vol. 548).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. 1993
  6. An Extension of the Temporal Synchrony Solution to Dynamic Variale Bindings in a Connectionist System

    Park, NS., Robertson, D. & Stenning, K., 1993, University of Edinburgh, Department of Artificial Intelligence.

    Research output: Book/ReportBook

  7. Building large-scale Prolog programs using a techniques editing system

    Vargas-Vera, M., Vasconcelos, W. & Robertson, D., 1993, Logic Programming, Proceedings of the 1993 International Symposium (ILPS 1993). p. 636 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Expressing Program Requirements using Refinement Lattices

    Robertson, D., Agusti, J., Hesketh, J. & Levy, J., 1993, Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings. Komorowski, J. & Ras, Z. W. (eds.). Springer-Verlag GmbH, p. 245-254 10 p. (Lecture Notes in Computer Science; vol. 689).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. KICS: A Knowledge-Intensive Case-Based Reasoning System for Building Regulations and Case Histories

    Yang, S., Robertson, D. & Lee, J., 1993, Proceedings of 4th International Conference on AI and Law. ACM, p. 254-263 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. 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 Berlin Heidelberg, p. 241-248 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Representing Design Information and Safety Constraints

    Chung, P., Abbas, S. & Robertson, D., 1993, Proceedings of the Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. Gordon & Breach Science Publishers, p. 201-208 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 5 6 7 8 ...18 Next