Edinburgh Research Explorer

David Robertson

Vice-Principal & Head of College of Science & Engineering

  1. 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)peer-review

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

  3. A Collaboration Model for Community-Based Software Development with Social Machines

    Murray-Rust, D., Scekic, O., Truong, H-L., Robertson, D. & Dustdar, S., 2014, Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom), 2014 International Conference on . Institute of Electrical and Electronics Engineers (IEEE), p. 84-93 10 p.

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

  4. LSCitter: building social machines by augmenting existing social networks with interaction models

    Murray-Rust, D. & Robertson, D., 2014, Proceedings of the companion publication of the 23rd international conference on World wide web companion. ACM, p. 875-880 6 p.

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

  5. A Collaboration Model for Community-Based Software Development with Social Machines

    Murray-Rust, D., Scekic, O., Papapanagiotou, P., Truong, H., Robertson, D. & Dustdar, S., 17 Dec 2015, In: EAI Endorsed Transactions on Collaborative Computing. 1, 5, 13 p.

    Research output: Contribution to journalArticlepeer-review

  6. Towards Executable Representations of Social Machines

    Murray-Rust, D., Davoust, A., Papapanagiotou, P., Manataki, A., van Kleek, M., Shadbolt, N. & Robertson, D., 2018, Diagrammatic Representation and Inference: Diagrams 2018. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). SpringerLink, p. 765-769 4 p. (Lecture Notes in Computer Science; vol. 10871).

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

  7. Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems

    Osman, N., Robertson, D. & Walton, C., 2005, Proceedings of the Third European Workshop on Multi-agent Systems. p. 248-259 12 p.

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

  8. Dynamic Verification of Trust in Distributed Open Systems

    Osman, N. & Robertson, D., 2007, Twentieth International Joint Conference on Artificial Intelligence.

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

  9. Social Machines for All

    Papapanagiotou, P., Davoust, A., Murray-Rust, D., Manataki, A., van Kleek, M., Shadbolt, N. & Robertson, D., 15 Jul 2018, 17th International Conference on Autonomous Agents and Multiagent Systems . p. 1208-1212 5 p.

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

  10. An Extension of the Temporal Synchrony Solution to Dynamic Variale Bindings in a Connectionist System

    Park, NS., Robertson, D. & Stenning, K., 1993, University of Edinburgh, Department of Artificial Intelligence.

    Research output: Book/ReportBook

  11. Extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system

    Park, N. S., Robertson, D. & Stenning, K., 1995, In: Knowledge-Based Systems. 8, 6, p. 345-357 13 p.

    Research output: Contribution to journalArticlepeer-review

  12. A connectionist representation of symbolic components, dynamic bindings and basic inference operations

    Park, N. S. & Robertson, D., 1 Aug 1996, Proceedings of the ECAI-96 Workshop on Neural Networks and Structured Knowledge. 7 p.

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

  13. A localist network architecture for logical inference

    Park, N. S. & Robertson, D., 1997, Connectionist-Symbolic Integration. Sun, R. & Alexandre, F. (eds.). Lawrence Erlbaum Associates, p. 245-263 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  14. From dynamic bindings to symbolic knowledge representation using synchronous activity of neurons

    Park, N. S., Robertson, D. & Stenning, K., 1 May 1994, Proceedings of conference on oscillations in neural systems.

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

  15. Reasoning with Limited Unification in a Connectionist Rule-Based System

    Park, N. S., Robertson, D. & Stenning, K., 1 Jun 1994, Proceedings of ILP Workshop on Logic and Reasoning with Neural Networks.

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

  16. A localist network architecture for logical inference based on temporal synchrony approach to dynamic variable binding

    Park, N. S. & Robertson, D., 1 Aug 1995, Proceedings of IJCAI95 Workshop on Connection-Symbolic Integration: From Unified to Hybrid Approaches.

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

  17. Extension of the temporal synchrony approach to dynamic variable bindingin a connectionist inference system

    Park, N. S., Robertson, D. & Stenning, K., Dec 1995, In: Knowledge-Based Systems. 8, 6, p. 345 - 357 13 p.

    Research output: Contribution to journalArticlepeer-review

  18. Symbolic knowledge encoding using a dynamic binding mechanism and an embedded inference mechanism

    Park, N. S., Robertson, D. & Stenning, K., 1999, Oscillations in Neural Systems. Levine, D., Brown, B. & Shirey, T. (eds.). Lawrence Erlbaum Associates, p. 343-368 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  19. A Visual Logic Programming Language

    Puigsegur, J., Agusti, J. & Robertson, D., 1996, Proceedings of the 12th IEEE Symposium on Visual Languages. Institute of Electrical and Electronics Engineers (IEEE), p. 214-221 8 p.

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

  20. Peer-to-Peer Experimentation in Protein Structure Prediction: an Architecture, Experiment and Initial Results

    Quang, X., Walton, C., Gerloff, D., Sharman, J. & Robertson, D., 2007, Distributed, High-Performance and Grid Computing in Computational Biology: International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings. Springer Berlin Heidelberg, p. 75-98 24 p. (Lecture Notes in Computer Science; vol. 4360).

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

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

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

  23. An Open System for Social Computation

    Robertson, D., Moreau, L., Murray-Rust, D. & O'Hara, K., 2014, DEF YEARBOOK 2014 - Social Networks and Social Machines, Surveillance and Empowerment. O'Hara, K., Nguyen, C. & Haynes, P. (eds.). 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  24. Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing

    Robertson, D., Barker, A., Besana, P., Bundy, A., Chen-Burger, Y-H., Dupplaw, D., Giunchiglia, F., van Harmelen, F., Hassan, F., Kotoulas, S., Lambert, D., Li, G., McGinnis, J., McNeill, F., Osman, N., de Pinninck, A., Siebes, R., Sierra, C. & Walton, C., 2009, Advances in Web Semantics I: Ontologies, Web Services and Applied Semantic Web. Dillon, T., Chang, E., Meersman, R. & Sycara, K. (eds.). Springer-Verlag GmbH, p. 81-129 49 p. (Lecture Notes in Computer Science; vol. 4891).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. Multi-level cooperative dialogue in intelligent front-ends

    Robertson, D., Jan 1991, In: Artificial Intelligence in Engineering. 6, 1, p. 17 - 21 5 p.

    Research output: Contribution to journalArticlepeer-review

  26. An Empirical Study of the LSS Specification Toolkit in Use

    Robertson, D., 1996, Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, Nevada, USA. Knowledge Systems Institute, Illinois, p. 153-160 8 p.

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

  27. Open Knowledge: Coordinating Knowledge Sharing Through Peer--to--Peer Interaction

    Robertson, D., Giunchiglia, F., van Harmelen, F., Marchese, M., Sabou, M., Schorlemmer, M., Shadbolt, N., Siebes, R., Sierra, C., Walton, C., Dasmahapatra, S., Dupplaw, D., Lewis, P., Yatskevich, M., Kotoulas, S., Perreau de Pinninck, A. & Loizou, A., 2008, Proceedings of Languages, Methodologies and Development Tools for Multi-agent Systems workshop. Springer-Verlag GmbH, p. 1-18 18 p. (Lecture Notes in Computer Science; vol. 5118).

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

  28. Healthcare data safe havens: towards a logical architecture and experiment automation

    Robertson, D., Giunchiglia, F., Pavis, S., Turra, E., Bella, G., Elliot, E., Morris, A., Atkinson, M., McAllister, G., Manataki, A., Papapanagiotou, P. & Parsons, M., 1 Nov 2016, In: The Journal of Engineering. 2016, 11, p. 431-440 10 p.

    Research output: Contribution to journalArticlepeer-review

  29. Running ECO simulation in PROLOG.

    Robertson, D., 1985, Department of Artificial Intelligence, University of Edinburgh.

    Research output: Book/ReportBook

  30. The ECO Program Construction System: Ways of Increasing Its Representational Power and Their Effects on the User

    Robertson, D., Bundy, A., Uschold, M. & Muetzelfeldt, B., 1988, Department of Artificial Intelligence, University of Edinburgh.

    Research output: Book/ReportBook

  31. Multi-agent Coordination as Distributed Logic Programming

    Robertson, D., 2004, Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings. Springer Berlin Heidelberg, p. 416-430 15 p. (Lecture Notes in Computer Science; vol. 3132).

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

  32. Expressing Program Requirements using Refinement Lattices

    Robertson, D., Agusti, J., Hesketh, J. & Levy, J., 1993, Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings. Komorowski, J. & Ras, Z. W. (eds.). Springer-Verlag GmbH, p. 245-254 10 p. (Lecture Notes in Computer Science; vol. 689).

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

  33. 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 journalArticlepeer-review

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

  35. An Empirical Study of the LSS Specification Toolkit in Use

    Robertson, D., 1998, In: Journal of Systems and Software. 42, 2, p. 115-123 9 p.

    Research output: Contribution to journalArticlepeer-review

  36. Eco-Logic: Logic-Based Approaches to Ecological Modelling

    Robertson, D., Bundy, A., Meutzelfeldt, R., Haggith, M. & Uschold, M., 1991, MIT Press.

    Research output: Book/ReportBook

  37. Desert Island Column: The Books Don't Work

    Robertson, D., Oct 1999, In: Automated Software Engineering. 6, 4, p. 441-443 3 p.

    Research output: Contribution to journalArticlepeer-review

  38. Pitfalls of Formality in Early System Design

    Robertson, D., 1998, Proceedings of the ARO/NSF Monterey Workshop on Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development.

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

  39. Software Blueprints: Lightweight Uses of Logic in Conceptual Modelling

    Robertson, D. & Agusti, J., 1999, Addison Wesley/ACM Press. 220 p.

    Research output: Book/ReportBook

  40. The Application of Logic Programming to Decision Support Systems in Ecology

    Robertson, D., Haggith, M., Kendon, G., Agusti, J. & Goldsborough, D., 1995, In: Artificial Intelligence Applications in Resource Management. 9, 3

    Research output: Contribution to journalArticlepeer-review

  41. A Simple Prolog Techniques Editor for Novice Users

    Robertson, D., 1 Apr 1991, Proceedings of 3rd Annual Conference on Logic Programming. Wiggins, G. A., Mellish, C. & Duncan, T. (eds.). Edinburgh: Springer-Verlag GmbH, p. 190-205 16 p. (Workshops in Computing).

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

  42. The Application of Knowledge-Based Techniques to Support Resource Management Decisions

    Robertson, D., Haggith, M., Kendon, G., Agusti, J. & Goldsborough, D., 1993, Proceedings of IJCAI workshop on AI in Agriculture.

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

  43. Pragmatics in the Synthesis of Logic Programs

    Robertson, D. & Agusti, J., 1999, Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers. Flener, P. (ed.). Springer-Verlag GmbH, p. 41-60 20 p. (Lecture Notes in Computer Science; vol. 1559).

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

  44. Layered Design of KBS from Specification to Hardware

    Robertson, D., Park, N. S. & Agusti, J., 1994, Proceedings of ECAI workshop on formal specification of knowledge-based systems. 15 p.

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

  45. Lightweight Formal Specification

    Robertson, D., 1995, Proceedings of ONR/ARPA/AFOSR/ARO/NSF workshop on Increasing the Practical Impact of Formal Methods for Software Architectures.

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

  46. Expressing Program Requirements using Refinement Lattices

    Robertson, D., Agusti, J., Hesketh, J. & Levy, J., 1994, In: Fundamenta Informaticae. 21, 3, p. 163-183 21 p.

    Research output: Contribution to journalArticlepeer-review

  47. Industrial Use of Safety-Related Expert Systems

    Robertson, D. & Fox, J., 2000.

    Research output: Working paper