Edinburgh Research Explorer

Prof David Robertson

Vice-Principal & Head of College of Science & Engineering

  1. 1984
  2. 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 proceedingConference contribution

  3. 1985
  4. Eco: An Intelligent Front End for Ecological Modelling

    Bundy, A., Uschold, M., Muetzelfeldt, R., Harding, N. & Robertson, D., 1985, In : Proceedings of the Working Conference on Artificial Intelligence in Simulation.

    Research output: Contribution to journalArticle

  5. Running ECO simulation in PROLOG.

    Robertson, D., 1985, Department of Artificial Intelligence, University of Edinburgh.

    Research output: Book/ReportBook

  6. 1986
  7. 1987
  8. 1988
  9. The ECO Program Construction System: Ways of Increasing Its Representational Power and Their Effects on the User

    Robertson, D., Bundy, A., Uschold, M. & Muetzelfeldt, B., 1988, Department of Artificial Intelligence, University of Edinburgh.

    Research output: Book/ReportBook

  10. 1989
  11. The Use of Prolog for Improving the Rigour and Accessibility of Ecological Modelling

    Muetzelfeldt, R., Robertson, D., Bundy, A. & Uschold, M., Jul 1989, In : Ecological Modelling. 46, 1-2, p. 9–34 26 p.

    Research output: Contribution to journalArticle

  12. 1991
  13. Eco-Logic: Logic-Based Approaches to Ecological Modelling

    Robertson, D., Bundy, A., Meutzelfeldt, R., Haggith, M. & Uschold, M., 1991, MIT Press.

    Research output: Book/ReportBook

  14. Multi-level cooperative dialogue in intelligent front-ends

    Robertson, D., Jan 1991, In : Artificial Intelligence in Engineering. 6, 1, p. 17 - 21 5 p.

    Research output: Contribution to journalArticle

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

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

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

  18. 1993
  19. 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

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

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

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

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

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

  25. The Application of Knowledge-Based Techniques to Support Resource Management Decisions

    Robertson, D., Haggith, M., Kendon, G., Agusti, J. & Goldsborough, D., 1993, Proceedings of IJCAI workshop on AI in Agriculture.

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

  26. Combining Prolog Programs in a Techniques Editing System

    Vargas-Vera, M., Robertson, D. & Inder, R., 1 Jul 1993, Proceedings of Third International Workshop on Logic Programming Synthesis and Transformation. Springer-Verlag GmbH

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

  27. Building Large-Scale Prolog Programs using a Techniques Editing System

    Vargas-Vera, M., Vasconcelos, W. W. & Robertson, D., 1 Oct 1993, Proceedings of the International Logic Programming Symposium. MIT Press

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

  28. On the Relation Between Incidence Calculus and ATMS

    Liu, W., Bundy, A. & Robertson, D., 1 Nov 1993, Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 Proceedings. Clarke, M., Kruse, R. & Moral, S. (eds.). Springer-Verlag GmbH, Vol. 747. p. 249-256 8 p. (Lecture Notes in Computer Science; vol. 747).

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

  29. 1994
  30. Case-based Selection Requirements Specifications for Telecommunication Systems

    Funk, P. & Robertson, D. S., 1994, Proceedings of the 2nd European Workshop on Case-Based Reasoning (EWCBR 94).

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

  31. Expressing Program Requirements using Refinement Lattices

    Robertson, D., Agusti, J., Hesketh, J. & Levy, J., 1994, In : Fundamenta Informaticae. 21, 3, p. 163-183 21 p.

    Research output: Contribution to journalArticle

  32. Layered Design of KBS from Specification to Hardware

    Robertson, D., Park, N. S. & Agusti, J., 1994, Proceedings of ECAI workshop on formal specification of knowledge-based systems. 15 p.

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

  33. Making Specification Design more Accountable

    Robertson, D. & Hesketh, J., 1994, Proceedings of ONR/ARPA/AFOSR/ARO/NSF workshop on Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development. 7 p.

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

  34. Representing the Structure of Reserve Selection Arguments Using Logic Programs

    Goldsborough, D. & Robertson, D., 1994, Proceedings of the Eighth Annual Symposium on Geographical Information systems. Sawayama, G. (ed.).

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

  35. Requirements Specification of Telecommunication Services Assisted by Case-Based Reasoning

    Funk, P. & Robertson, D., 1994, Proceedings of the 2nd International Conference on Telecommunication Systems, Modelling and Analysis.

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

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

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

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

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

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

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

  42. 1995
  43. 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

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

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

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

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

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

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

  50. The Application of Logic Programming to Decision Support Systems in Ecology

    Robertson, D., Haggith, M., Kendon, G., Agusti, J. & Goldsborough, D., 1995, In : Artificial Intelligence Applications in Resource Management. 9, 3

    Research output: Contribution to journalArticle

  51. Time Granularity in Simulation Models of Ecosystems

    Mota, E., Haggith, M., Smaill, A. & Robertson, D., 1995, Proceedings of the IJCAI-95 Workshop on Executable Temporal Logics.

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

  52. Use of Case-Based Reasoning in the Domain of Building Regulations

    Yang, S., Robertson, D. & Lee, J., 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. 292-306 15 p. (Lecture Notes in Computer Science; vol. 982).

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

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

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

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

  56. 1996
  57. A Visual Logic Programming Language

    Puigsegur, J., Agusti, J. & Robertson, D., 1996, Proceedings of the 12th IEEE Symposium on Visual Languages. Institute of Electrical and Electronics Engineers (IEEE), p. 214-221 8 p.

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

Previous 1 2 3 4 Next