Edinburgh Research Explorer

David Robertson

Vice-Principal & Head of College of Science & Engineering

  1. Conference contribution › Research
  2. Enterprise Modelling: A Declarative Approach for FBPML

    Chen-Burger, Y-H., Tate, A. & Robertson, D., 2002, ECAI 2002 Workshop #5 on Knowledge Management and Organizational Memories. 9 p.

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

  3. Exploiting Interaction Contexts in P2P Ontology Mapping

    Besana, P., Robertson, D. & Rovatsos, M., 1 Jul 2005, 2nd International Workshop on Peer to Peer Knowledge Management. 9 p. (CEUR Workshop Proceedings; vol. 139).

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

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

  5. Flexible Multi-Agent Protocols

    Walton, C. & Robertson, D., 2002, Proceedings of UKMAS 2002. 12 p.

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

  6. Formal Knowledge Management in Distributed Environments

    Schorlemmer, W. M., Potter, S., Robertson, D. & Sleeman, D., 2002, Workshop on Knowledge Transformation for the Semantic Web, 15th European Conference on Artificial Intelligence ECAI-2002. 1 p.

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

  7. Formal Support for an Informal Business Modelling Method

    Chen-Burger, J. & Robertson, D., 1998, Proceedings of the 10th International Conference on Software Engineering and Knowledge Engineering, San Francisco, USA. Knowledge Systems Institute, Illinois

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

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

  9. Graphical Input Sketches for Producing Formalised Behavioural Requirements

    Funk, P. & Robertson, D., 1 Apr 1998, Workshop on Visual Issues for Formal Methods (Visual'98) - part of TAPSoft'98. 16 p.

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

  10. How Service Choreography Statistics Reduce the Ontology Mapping Problem

    Besana, P. & Robertson, D., 1 Jul 2007, The Semantic Web: 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedings. Springer-Verlag GmbH, p. 44-57 14 p. (Lecture Notes in Computer Science; vol. 4825).

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

  11. Identifying the Need to Intervene: Analysis and Representation of Interaction Patterns in Group Programming Learning

    Castro, T., Fuks, H., Robertson, D. & Castro, A., 2011, Collaboration and Technology: 17th International Conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011. Proceedings. Springer-Verlag GmbH, p. 158-174 7 p. (Lecture Notes in Computer Science; vol. 6969).

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

Previous 1...9 10 11 12 13 14 15 16 ...18 Next