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

Previous 1 2 3 4 5 6 7 8 ...18 Next