Edinburgh Research Explorer

Prof David Robertson

Vice-Principal & Head of College of Science & Engineering

  1. 1994
  2. A case-based reasoning system for regulatory information

    Yang, S. A. & Robertson, D., 1 Mar 1994, Case Based Reasoning: Prospects for Applications (Digest No. 1994/057), IEE Colloquium on. Institute of Electrical and Electronics Engineers (IEEE), p. 3/1-3/3 3 p.

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

  3. From dynamic bindings to symbolic knowledge representation using synchronous activity of neurons

    Park, N. S., Robertson, D. & Stenning, K., 1 May 1994, Proceedings of conference on oscillations in neural systems.

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

  4. Reasoning with Limited Unification in a Connectionist Rule-Based System

    Park, N. S., Robertson, D. & Stenning, K., 1 Jun 1994, Proceedings of ILP Workshop on Logic and Reasoning with Neural Networks.

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

  5. Applying Prolog Programming Techniques

    Bowles, A. W., Robertson, D., Vasconcelos, W. W., Vargas-Vera, M. & Bental, D., 1 Sep 1994, In : International Journal of Human-Computer Studies. 41, 3, p. 329-350 22 p.

    Research output: Contribution to journalArticle

  6. An Environment for Building Prolog Programs Based on Knowledge about their Construction

    Vargas-Vera, M. & Robertson, D., 1 Oct 1994, Proceedings of the 10th Workshop on Logic Programming (WLP 94), Zurich.

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

  7. Automated Reasoning with Uncertainties

    Correa da Silva, F., Robertson, D. & Hesketh, J., 1 Dec 1994, Knowledge Representation and Reasoning Under Uncertainty: Logic at Work. Masuch, M. & Polos, L. (eds.). Springer-Verlag GmbH, p. 57-79 23 p. (Lecture Notes in Computer Science; vol. 808).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. 1995
  9. 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

  10. 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

  11. 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

  12. 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

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