Edinburgh Research Explorer

David Robertson

Vice-Principal & Head of College of Science & Engineering

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

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

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

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

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

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

  7. Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-agent Platform

    Guo, L., Robertson, D. & Chen-Burger, Y-H., 2005, Multiagent System Technologies: Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedings. Eymann, T., Klügl, F., Lamersdorf, W., Klusch, M. & Huhns, M. N. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 35-46 12 p. (Lecture Notes in Computer Science; vol. 3550).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Using Multi-agent Platform for Pure Decentralised Business Workflows

    Guo, L., Robertson, D. & Chen-Burger, Y-H., Aug 2008, In : Web Intelligence and Agent Systems. 6, 3, p. 295-311 17 p.

    Research output: Contribution to journalArticle

  9. Conducting The Agile Negotiation Processes Involved In The BPEL4WS Model On a Multi-agent Platform

    Guo, L., Robertson, D., Chen-Burger, Y-H. & Wang, J., 2005, The proceedings of China Association for Information Systems (CNAIS2005). 5 p.

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

  10. Designing a Social Machine for the Heart Manual Service

    Hanschke, V., Manataki, A., Alexandru, C., Papapanagiotou, P., Deighan, C., Taylor, L. & Robertson, D., 27 Feb 2017, Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 5: HEALTHINF, (BIOSTEC 2017). SCITEPRESS, p. 435-440 6 p.

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

  11. Addressing the Brittleness of Agent Interaction

    Hassan, F. & Robertson, D., 2008, Intelligent Agents and Multi-Agent Systems: 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings. Springer Berlin Heidelberg, p. 214-221 8 p. (Lecture Notes in Computer Science; vol. 5357).

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

  12. Constraint Relaxation to Reduce Brittleness in Agent Interaction Protocol

    Hassan, F., Robertson, D. & Walton, C., 2007, Proceedings of the European workshop on Multi-Agent Systems.

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

  13. Addressing Constraint Failures in an Agent Interaction Protocol

    Hassan, F., Robertson, D. & Walton, C., 2005, Proceedings of the 8th Pacific Rim International Workshop on Multi-Agent Systems.

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

  14. Constraint Relaxation to Reduce Brittleness of Distributed Agent pPotocols

    Hassan, F. & Robertson, D., 2004, Proceedings of the ECAI Workshop on Coordination in Emergent Agent Societies.

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

  15. Addressing Constraint Failures in Agent Interaction Protocol

    Hassan, F., Robertson, D. & Walton, C., 2009, Multi-Agent Systems for Society: 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers. Lukose, D. & Shi, Z. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 45-59 15 p. (Lecture Notes in Computer Science; vol. 4078).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  16. Constraint Relaxation Approach for Over-Constrained Agent Interaction

    Hassan, F. & Robertson, D., 2008, PRICAI 2008: Trends in Artificial Intelligence: 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings. Springer Berlin Heidelberg, p. 668-677 10 p. (Lecture Notes in Computer Science; vol. 5351).

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

  17. Automating reasoning support for design

    Hesketh, J., Robertson, D., Fuchs, N. & Bundy, A., 1996, School of Informatics , 36 p. (Division of Informatics Research Papers; no. 823).

    Research output: Working paper

  18. Decentralised Clinical Guideline Modelling with the Lightweight Coordination Calculus

    Hu, B., Dupplaw, D., Robertson, D. & Lewis, P., 2007, Proceedings of the 2nd International Symposium on Languages in Biology and Medicine. CEUR Workshop Proceedings, 14 p. 1

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

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

  20. A Case Study in Applying Ontologies to Augment and Reason About the Correctness of Specifications

    Kalfoglou, Y. & Robertson, D., 1999, Proceedings of the 11th International Conference on Software Engineering and Knowledge Engineering, Germany. p. 64-71 8 p.

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

  21. Applying Experienceware to Support Ontology Deployment

    Kalfoglou, Y. & Robertson, D., 2000, Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering, Chicago.

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

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

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

  24. Reliable and Accountable System Design

    Krause, P., Hesketh, J. & Robertson, D., 1997, In : Knowledge Engineering Review. 12, 3, p. 289-305 17 p.

    Research output: Contribution to journalArticle

  25. Knowledge management using business process modeling and workflow techniques

    Kuo, H-L., Chen-Burger, Y-H. & Robertson, D., 2003, 18th International Joint conference on Artificial Intelligence (IJCAI), Workshop on Knowledge Management and Organizational Memories. 13 p.

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

  26. Matchmaking and Brokering Multi-Party Interactions Using Historical Performance Data

    Lambert, D. & Robertson, D., 2005, Fourth International Joint Conference on Autonomous Agents and Multi-agent Systems.

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

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

  28. User-System Dialogues and the Notion of Focus

    Lecoeuche, R., Mellish, C., Barry, C. & Robertson, D., 1998, In : Knowledge Engineering Review. 13, 4, p. 381-408 28 p.

    Research output: Contribution to journalArticle

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

  30. A Framework for Requirements Elicitation Through Mixed-Initiative Dialogue

    Lecoeuche, R., Mellish, C. & Robertson, D., 1 Apr 1998, 3rd IEEE International Conference on Requirements Engineering, Colorado Springs, USA. Institute of Electrical and Electronics Engineers (IEEE), p. 190-196 7 p.

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

  31. Using Web Site Synthesis in an Experiment on the Causal Perception of Aviation Accidents

    Lee, J., Robertson, D., Leung, S. W. & Johnson, C., 2002, Workshop on the Investigation and Reporting of Incidents and Accidents (IRIA 2002). Glasgow, UK: Department of Computing Science, University of Glasgow, p. 221-230 10 p.

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

  32. Basic Gene Grammars and DNA-ChartParser for language processing of Escherichia coli promoter DNA sequences

    Leung, S. W., Mellish, C. & Robertson, D., 2001, In : Bioinformatics. 17, 3, p. 226-236 11 p.

    Research output: Contribution to journalArticle

  33. OpenKnowledge for Peer-to-peer Experimentation in Protein Identification by MS/MS

    Leung, S. W., Quan, X., Besana, P., Li, Q., Collins, M., Gerloff, D. & Robertson, D., 2011, In : Automated Experimentation. 3, 3, 14 p.

    Research output: Contribution to journalArticle

  34. Design Preferences and Cognitive Styles: Experimentation by Automated Website Synthesis

    Leung, S., Lee, J., Johnson, C. & Robertson, D., Jun 2012, In : Automated Experimentation. 4, 2, p. 1-8 8 p.

    Research output: Contribution to journalArticle

  35. Mapping a Business Process Model to a Semantic Web Services Model

    Li, G., Chen-Burger, J. & Robertson, D., 2004, Proceedings of the IEEE International Conference on Web Services. p. 746-749 4 p.

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

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

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

  38. Automated Experimentation for Ecological Networks

    Lurgi, M. & Robertson, D., 2011, In : Automated Experimentation. 3, 1, 22 p.

    Research output: Contribution to journalArticle

  39. Multi-agent Coordination Through Mutualistic Interactions

    Lurgi, M. & Robertson, D., 2011, Proceedings of the 12th International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems.

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

  40. Evolution in Ecological Agent Systems

    Lurgi, M. & Robertson, D., 2011, In : International Journal of Bio-Inspired Computation. 3, 6, p. 331-345 15 p.

    Research output: Contribution to journalArticle

  41. Automated Deployment of Argumentation Protocols

    Maghraby, A., Robertson, D., Grando, A. & Rovatsos, M., 2012, Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012. Verheij, B., Szeider, S. & Woltran, S. (eds.). IOS Press, p. 197-204 8 p. (Frontiers in Artificial Intelligence and Applications).

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

  42. Opportunistic Belief Reconciliation During Distributed Interactions

    Martin, P., Robertson, D. & Rovatsos, M., 2010, Proceedings of the 9th International Conference on Autonomous Agents and Multi-Agent Systems. International Foundation for Autonomous Agents and Multiagent Systems, Vol. 1. p. 433-440 8 p.

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

  43. Using Distributed Protocols as an Implementation of Dialogue Games

    McGinnis, J., Robertson, D. & Walton, C., 2003, Proceedings of the First European workshop on Multi-Agent Systems.

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

  44. Dynamic and Distributed Interaction Protocols

    McGinnis, J. & Robertson, D., 2004, Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning. Kudenko, D., Kazakov, D. & Alonso, E. (eds.). Springer-Verlag GmbH, p. 167-184 18 p. (Lecture Notes in Computer Science; vol. 3394).

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

  45. Realizing Agent Dialogues with Distributed Protocols

    McGinnis, J. & Robertson, D., 2004, Agent Communication: International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers. van Eijk, R. M., Huget, M-P. & Dignum, F. (eds.). Springer-Verlag GmbH, p. 106-119 14 p. (Lecture Notes in Computer Science; vol. 3396).

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

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

  47. Representing Interaction of Agents at Different Time Granularities

    Mota, E. & Robertson, D., 1996, Proceedings of the 3rd International Workshop on Temporal Representation and Reasoning. Key West, Florida: Institute of Electrical and Electronics Engineers (IEEE), p. 72-79 8 p.

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

  48. NatureTime: Temporal Granularity in Simulation of Ecosystems

    Mota, E., Robertson, D. & Smaill, A., 1996, In : Journal of Symbolic Computation. 22, 5-6, p. 665-698 34 p.

    Research output: Contribution to journalArticle

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

  50. Bootstrapping the next generation of Social Machines

    Murray-Rust, D. & Robertson, D., 2015, Crowdsourcing: Cloud-Based Software Development. Li, W., Huhns, M. N., Tsai, W-T. & Wu, W. (eds.). Springer-Verlag, p. 53-71 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)