Edinburgh Research Explorer

David Robertson

Vice-Principal & Head of College of Science & Engineering

  1. Conference contribution › Research
  2. 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

  3. Can Formal Argumentation Raise our Confidence in Safe Design?

    Robertson, D., 1999, Towards System Safety: Proceedings of the Seventh Safety-Critical Systems Symposium, Huntingdon, UK. Springer-Verlag GmbH, p. 225-238 14 p.

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

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

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

  7. Choreographing Web Services with Semantically Enhanced Scripting

    Bai, X., Klein, E. & Robertson, D., Dec 2012, Web Intelligence and Intelligent Agent Technology (WI-IAT): 2012 IEEE/WIC/ACM International Conferences on. Institute of Electrical and Electronics Engineers (IEEE), Vol. 1. p. 583-587 5 p.

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

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

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

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

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

  13. Contexts in Dynamic Ontology Mapping

    Besana, P. & Robertson, D., 2005, 2005 AAAI Workshop. Shvaiko, P. (ed.). AAAI Press, 4 p.

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

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

  15. Cooperation Between Knowledge Based Systems

    Correa da Silva, F., Vasconcelos, W. & Robertson, D., 1998, Proceedings of the 4th World Congress on Expert Systems. Cantu, F., Soto, R., Liebowitz, J. & Sucar, E. (eds.). Monterey, Mexico: Cognizant Communication Corporation, p. 819-825 7 p.

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

  16. Cross-Border Medical Research Using Multi-Layered and Distributed Knowledge

    Bella, G., Elliott, L., Das, S., Pavis, S., Turra, E., Robertson, D. & Giunchiglia, F., 3 Sep 2020, ECAI 2020. De Giacomo, G., Catala, A., Dilkina, B., Milano, M., Barro, S., Bugarín, A. & Lang, J. (eds.). IOS Press, p. 2956 - 2963 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 325).

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

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

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

  19. Discovery and Uncertainty in Semantic Web Services

    Recuerda, F. & Robertson, D., 2005, Proceedings of the ISWC 2005 Workshop on Uncertainty Reasoning for the Semantic Web. CEUR Workshop Proceedings, Vol. 173. 11 p.

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

  20. Distributed Specification

    Robertson, D., 1 Aug 1996, Proceedings of the 12th European Conference on Artificial Intelligence. Wahlster, W. (ed.). John Wiley & Sons Inc., p. 390-394 5 p.

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

  21. Distributed Workflows: the OpenKnowledge Experience

    Besana, P., Patkar, V., Glasspool, D. & Robertson, D., 2008, Proceedings of the International Workshop on Semantic Extensions to Middleware. Springer-Verlag GmbH, p. 965-975 11 p. (Lecture Notes in Computer Science; vol. 5333).

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