Edinburgh Research Explorer

Prof David Robertson

Vice-Principal & Head of College of Science & Engineering

  1. 1995
  2. Extension of the temporal synchrony approach to dynamic variable bindingin a connectionist inference system

    Park, N. S., Robertson, D. & Stenning, K., Dec 1995, In : Knowledge-Based Systems. 8, 6, p. 345 - 357 13 p.

    Research output: Contribution to journalArticle

  3. A localist network architecture for logical inference based on temporal synchrony approach to dynamic variable binding

    Park, N. S. & Robertson, D., 1 Aug 1995, Proceedings of IJCAI95 Workshop on Connection-Symbolic Integration: From Unified to Hybrid Approaches.

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

  4. Capturing and Matching Dynamic Behaviour in Case-Based Reasoning

    Funk, P. & Robertson, D., 1 Jan 1995, Progress in Case-Based Reasoning: First United Kingdom Workshop Salford, UK, January 12, 1995 Proceedings. Springer-Verlag GmbH, p. 85-90 6 p. (Lecture Notes in Computer Science; vol. 1020).

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

  5. A Case-Based Reasoning System to Support the Relaxation of Building Regulations

    Yang, S. & Robertson, D., 1995, In : International Journal of Construction Information Technology. 3, 2, p. 29-48 20 p.

    Research output: Contribution to journalArticle

  6. Application of logic programming to decision support systems in ecology

    Robertson, D., Haggith, M., Kendon, G., Agusti, J. & Goldsborough, D., 1995, In : AI Applications. 3, 9, p. 23-38 16 p.

    Research output: Contribution to journalArticle

  7. Case-Based Support for the Design of Dynamic System Requirements

    Funk, P. & Robertson, D., 1995, Advances in Case-Based Reasoning: Second European Workshop, EWCBR-94 Chantilly, France, November 7–10, 1994 Selected Papers. Haton, J., Keane, M. & Manago, M. (eds.). Springer-Verlag GmbH, p. 211-225 15 p. (Lecture Notes in Computer Science; vol. 984).

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

  8. Extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system

    Park, N. S., Robertson, D. & Stenning, K., 1995, In : Knowledge-Based Systems. 8, 6, p. 345-357 13 p.

    Research output: Contribution to journalArticle

  9. KBST: A Support Tool for Business Modelling in BSDM

    Chen-Burger, Y., Robertson, D., Fraser, J. & Lissoni, C., 1995, Proceedings of BCS Expert Systems-95. Cambridge, England: Cambridge University Press

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

  10. Lightweight Formal Specification

    Robertson, D., 1995, Proceedings of ONR/ARPA/AFOSR/ARO/NSF workshop on Increasing the Practical Impact of Formal Methods for Software Architectures.

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

  11. Supporting Customised Reasoning in the Agroforestry Domain

    Kendon, G., Walker, D., Robertson, D., Haggith, M., Sinclair, F. & Muetzelfeldt, R., 1995, In : The New Review of Applied Expert Systems. 1

    Research output: Contribution to journalArticle