Edinburgh Research Explorer

Prof David Robertson

Vice-Principal & Head of College of Science & Engineering

  1. Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning

    Chen-Burger, Y-H. & Robertson, D., 2005, Springer-Verlag London. 322 p. (Advanced Information and Knowledge Processing; no. 1)

    Research output: Book/ReportBook

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

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

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

  5. Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures

    Zurawski, M., Smaill, A. & Robertson, D., 2008, The Semantic Web: 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.. p. 212-226 15 p. (Lecture Notes in Computer Science; vol. 5367).

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

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

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

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

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

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

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

  12. Choreographing Web Services

    Barker, A., Walton, C. D. & Robertson, D., Apr 2009, In : IEEE Transactions on Services Computing. 2, 2, p. 152-166 15 p.

    Research output: Contribution to journalArticle

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

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

  15. Computational modelling for decision-making: where, why, what, who and how

    Calder, M., Craig, C., Culley, D., de Cani, R., Donnelly, C. A., Douglas, R., Edmonds, B., Gascoigne, J., Gilbert, N., Hargrove, C., Hinds, D., C. Lane, D., Mitchell, D., Pavey, G., Robertson, D., Rosewell, B., Sherwin, S., Walport, M. & Wilson, A., 20 Jun 2018, In : Royal Society Open Science. 5, 15 p.

    Research output: Contribution to journalArticle

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

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

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

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

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