Edinburgh Research Explorer

Prof David Robertson

Vice-Principal & Head of College of Science & Engineering

  1. Article › Research › Peer-reviewed
  2. 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

  3. Pitfalls of Formality in Early System Design

    Robertson, D., 2002, In : Science of Computer Programming. 42, 1, p. 29-38 10 p.

    Research output: Contribution to journalArticle

  4. Programming the social computer

    Robertson, D. & Giunchiglia, F., Mar 2013, In : Philosophical Transactions A: Mathematical, Physical and Engineering Sciences. 371, 1987, 15 p., 20120379.

    Research output: Contribution to journalArticle

  5. Prolog Programming Techniques

    Brna, P., Bundy, A., Dodd, T., Eisenstadt, M., Looi, C. K., Pain, H., Robertson, D., Smith, B. & van Someren, M., Mar 1991, In : Instructional Science. 20, 2-3, p. 111-133 23 p.

    Research output: Contribution to journalArticle

  6. Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming

    Vasconcelos, W., Robertson, D., Sierra, C., Esteva, M., Sabater, J. & Wooldridge, M., 2004, In : Annals of Mathematics and Artificial Intelligence. 41, 2-4, p. 135-169 35 p.

    Research output: Contribution to journalArticle

  7. Reasoning about Distributed Knowledge-Transforming Peer Interactions

    Schorlemmer, M. & Robertson, D., 2011, In : IEEE Transactions on Knowledge and Data Engineering. 23, 9, p. 1419-1431 13 p.

    Research output: Contribution to journalArticle

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

  9. Secure information sharing in social agent interactions using information flow analysis

    Bijani, S., Robertson, D. & Aspinall, D., 3 Feb 2018, In : Engineering Applications of Artificial Intelligence. 70, p. 52-66 15 p.

    Research output: Contribution to journalArticle

  10. Sharing Choreographies in OpenKnowledge: A Novel Approach to Interoperability

    Besana, P., Patkar, V., Barker, A., Robertson, D. & Glasspool, D., 2009, In : Journal of Software. 4, 8

    Research output: Contribution to journalArticle

  11. Softening electronic institutions to support natural interaction

    Murray-Rust, D., Papapanagiotou, P. & Robertson, D., Feb 2016, In : Human Computation. 2, 2, 34 p.

    Research output: Contribution to journalArticle

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