Edinburgh Research Explorer

Prof David Robertson

Vice-Principal & Head of College of Science & Engineering

  1. 1999
  2. Contract-based Negotiation via Argumentation

    Carbogim, D. & Robertson, D., 1999, Proceedings of the Workshop on Multi-Agent Systems in Logic Programming (MAS-99) at the 16th International Conference on Logic Programming (ICLP-99).

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

  3. Evaluating Focus Theories for Dialogue Management

    Lecoeuche, R., Robertson, D., Barry, C. & Mellish, C., 1999, In : International Journal of Human-Computer Studies. 52, 1, p. 23-76 54 p.

    Research output: Contribution to journalArticle

  4. Managing Ontological Constraints

    Kalfoglou, Y. & Robertson, D., 1999, Proceedings of the IJCAI-99 workshop on Ontologies and Problem-Solving Methods (KRR5). Benjamins, V. R. (ed.). CEUR Publications, Vol. 18. 13 p. 5

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

  5. Pragmatics in the Synthesis of Logic Programs

    Robertson, D. & Agusti, J., 1999, Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers. Flener, P. (ed.). Springer-Verlag GmbH, p. 41-60 20 p. (Lecture Notes in Computer Science; vol. 1559).

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

  6. Software Blueprints: Lightweight Uses of Logic in Conceptual Modelling

    Robertson, D. & Agusti, J., 1999, Addison Wesley/ACM Press. 220 p.

    Research output: Book/ReportBook

  7. Symbolic knowledge encoding using a dynamic binding mechanism and an embedded inference mechanism

    Park, N. S., Robertson, D. & Stenning, K., 1999, Oscillations in Neural Systems. Levine, D., Brown, B. & Shirey, T. (eds.). Lawrence Erlbaum Associates, p. 343-368 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Use of Formal Ontologies to Support Error Checking in Specifications

    Kalfoglou, Y. & Robertson, D., 1999, Proceedings of the 11th European Workshop on Knowledge Acquisition, Modelling and Management (EKAW-99), Germany. Springer-Verlag GmbH, p. 207-221 15 p.

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

  9. Using Focus Rules in Requirements Elicitation Dialogues

    Lecoeuche, R., Robertson, D. & Barry, C., 1999, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), Stockholm, Sweden. William Kaufmann Inc., Vol. 1. p. 649-654 6 p.

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

  10. Why Ontologies are not Enough for Knowledge Sharing

    Correa da Silva, F. S., Vasconcelos, W. W., Agusti, J., Robertson, D. S. & Melo, A. C. V., 1999, Multiple Approaches to Intelligent Systems: 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999. Proceedings. Imam, I., Kodratoff, Y., El-Dessouki, A. & Ali, M. (eds.). Springer-Verlag GmbH, p. 520-529 10 p. (Lecture Notes in Computer Science; vol. 1611).

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

  11. 1998
  12. Domain-specific synthesis of simulation models

    Castro, A., Muetzelfeldt, R. & Robertson, D., 9 Aug 1998, 27 p.

    Research output: Working paper

Previous 1...7 8 9 10 11 12 13 14 ...18 Next