Edinburgh Research Explorer

David Robertson

Vice-Principal & Head of College of Science & Engineering

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

  2. A Case-Based Reasoning System to Support the Relaxation of Building Regulations

    Yang, S. & Robertson, D., 1995, In: International Journal of Construction Information Technology. 3, 2, p. 29-48 20 p.

    Research output: Contribution to journalArticlepeer-review

  3. A case-based reasoning system for regulatory information

    Yang, S. A. & Robertson, D., 1 Mar 1994, Case Based Reasoning: Prospects for Applications (Digest No. 1994/057), IEE Colloquium on. Institute of Electrical and Electronics Engineers (IEEE), p. 3/1-3/3 3 p.

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

  4. Use of Case-Based Reasoning in the Domain of Building Regulations

    Yang, S., Robertson, D. & Lee, J., 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. 292-306 15 p. (Lecture Notes in Computer Science; vol. 982).

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

  5. KICS: A Knowledge-Intensive Case-Based Reasoning System for Building Regulations and Case Histories

    Yang, S., Robertson, D. & Lee, J., 1993, Proceedings of 4th International Conference on AI and Law. ACM, p. 254-263 10 p.

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

  6. Adaptive Agent Model: an Agent Interaction and Computation Model

    Xiao, L., Robertson, D., Croitoru, M., Lewis, P., Dashmapatra, S., Dupplaw, D. & Hu, B., 2007, Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International. Institute of Electrical and Electronics Engineers (IEEE), p. 153-158 6 p.

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

  7. Knowledge Driven Phenotyping

    Wu, H., Wang, M., Zeng, Q., Chen, W., Nind, T., Jefferson, E., Bennie, M., Black, C., Pan, J. Z., Sudlow, C. & Robertson, D., 1 Dec 2019, (Accepted/In press) Digital Personalized Health and Medicine: Proceedings of MIE 2020. Pape-Haugaard, L. B., Lovis, C., Madsen, I. C., Weber, P., Nielsen, P. H. & Scott, P. (eds.). IOS Press, p. 1327-1328 2 p. (Studies in Health Technology and Informatics; vol. 270).

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

  8. The Role of Agent Interaction in Models of Computing: Panelist Reviews

    Wegner, P., Arbab, F., Goldin, D., McBurney, P., Luck, M. & Robertson, D., 22 Dec 2005, In: Electronic Notes in Theoretical Computer Science. 141, 5, p. 181 - 198 18 p.

    Research output: Contribution to journalArticlepeer-review

  9. Investigating motility and pattern formation in pluripotent stem cells through agent-based modeling

    Wang, M., Tsanas, A., Blin, G. & Robertson, D., Oct 2019, Proceedings - 2019 IEEE 19th International Conference on Bioinformatics and Bioengineering, BIBE 2019. Institute of Electrical and Electronics Engineers Inc., p. 909-913 5 p. 8941912. (Proceedings - 2019 IEEE 19th International Conference on Bioinformatics and Bioengineering, BIBE 2019).

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

  10. Agent-based modelling of Pattern Formation in Pluripotent Stem Cells: Initial Experiments and Results

    Wang, M., Robertson, D., Blin, G., Lowell, S. & Tsanas, T., 1 Feb 2019, Proceedings - 2018 11th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics, CISP-BMEI 2018. Li, Q., Li, W. & Wang, L. (eds.). Institute of Electrical and Electronics Engineers Inc., 8633048

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

  11. Predicting pattern formation in embryonic stem cells using a minimalist, agent-based probabilistic model

    Wang, M., Tsanas, T., Blin, G. & Robertson, D., 1 Oct 2020, In: Scientific Reports. 10

    Research output: Contribution to journalArticlepeer-review

  12. Flexible Multi-Agent Protocols

    Walton, C. & Robertson, D., 2002, Proceedings of UKMAS 2002. 12 p.

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

  13. A Lifecycle for Models of Large Multi-Agent Systems

    Vasconcelos, W., Robertson, D., Agusti, J., Sierra, C., Wooldridge, M., Parsons, S., Walton, C. & Sabater, J., 2002, Agent-Oriented Software Engineering II Second International Workshop, AOSE 2001 Montreal, Canada, May 29, 2001 Revised Papers and Invited Contributions. Springer-Verlag GmbH, p. 297-317 21 p. (Lecture Notes in Computer Science; vol. 2222).

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

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

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

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

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

  18. An Environment for Building Prolog Programs Based on Knowledge about their Construction

    Vargas-Vera, M. & Robertson, D., 1 Oct 1994, Proceedings of the 10th Workshop on Logic Programming (WLP 94), Zurich.

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

  19. An Intelligent Front End for Ecological Modelling

    Uschold, M., Muetzelfeldt, R., Bundy, A., Harding, N. & Robertson, D., 1984, Advances in Artificial Intelligence, Proceedings of the Sixth European Conference on Artificial Intelligence, ECAI-84, Pisa, Italy, September 5-7, 1984. North-Holland, 1985. European Conference on Artificial Intelligence (ECAI), p. 13-22

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

  20. Enabling Services for Distributed Environments: Ontology Extraction and Knowledge Base Characterisation

    Sleeman, D., Potter, S., Robertson, D. & Schorlemmer, W. M., 2002, Proceedings of the Workshop on Knowledge Transformation for the Semantic Web KTSW 2002. Omelayenko, B. & Klein, M. (eds.). p. 85-92 8 p.

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

  21. Ontology Extraction in Distributed Environments

    Sleeman, D., Potter, S., Robertson, D. & Schorlemmer, M., 2003, Knowledge Transformation for the Semantic Web. Omelayenko, B. & Klein, M. (eds.). IOS Press, Vol. 95. p. 80-91 12 p. (Frontiers in Artificial Intelligence and Applications).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  22. The OpenKnowledge System: an interaction-centered approach to knowledge sharing

    Siebes, R., Dupplaw, D., Kotoulas, S., Perreau de Pinninck, A., van Harmelen, F. & Robertson, D., Nov 2007, On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS: OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I. Springer Berlin Heidelberg, p. 381-390 10 p. (Lecture Notes in Computer Science; vol. 4803).

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

  23. RESPIRE: The National Institute for Health Research's (NIHR) Global Respiratory Health Unit

    Sheikh, A., Campbell, H., Balharry, D., Baqui, A. H., Bogaert, D., Cresswell, K., Cunningham, S., Dockerell, D., El Arifeen, S., Fletcher, M., Grant, M., Shariff Ghazali, S., Habib, G. M. M., Hazir, T., Isaac, R., Juvekar, S., Khoo, E. M., McKinstry, B., Morris, A., Nair, H. & 17 others, Norrie, J., Nwaru, B., Pinnock, H., Robertson, D., Saha, S. K., Salvi, S., Schwarze, J., Simpson, C., Sridhar, D., Stoddart, A., Weller, D., Whyte, M., Worth, A., Williams, S., Yusuf, O., Zumla, A. & Rudan, I., Dec 2018, In: Journal of Global Health. 8, 2, p. 020314

    Research output: Contribution to journalEditorialpeer-review

  24. Formal Knowledge Management in Distributed Environments

    Schorlemmer, W. M., Potter, S., Robertson, D. & Sleeman, D., 2002, Workshop on Knowledge Transformation for the Semantic Web, 15th European Conference on Artificial Intelligence ECAI-2002. 1 p.

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

  25. Knowledge Life-Cycle Management over a Distributed Architecture

    Schorlemmer, M., Potter, S., Robertson, D. & Sleeman, D., 2002, In: Expert Update. 5, 3, p. 2-19 18 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

  29. A Lightweight Capability Communication Mechanism

    Robertson, D., Agusti, J., Correa da Silva, F., Vasconcelos, W. & de Melo, A. C. V., 2000, Intelligent Problem Solving. Methodologies and Approaches: 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000 New Orleans, Louisiana, USA, June 19–22, 2000 Proceedings. Springer Berlin Heidelberg, p. 660-672 13 p. (Lecture Notes in Computer Science; vol. 1821).

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

  30. Domain Specific Problem Description

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

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

  31. A Lightweight Method for Coordination of Agent Oriented Web Services

    Robertson, D., 2004, Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers. Springer Berlin Heidelberg, p. 183-197 15 p. (Lecture Notes in Computer Science; vol. 3476).

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

  32. Making Specification Design more Accountable

    Robertson, D. & Hesketh, J., 1994, Proceedings of ONR/ARPA/AFOSR/ARO/NSF workshop on Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development. 7 p.

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

  33. Application of logic programming to decision support systems in ecology

    Robertson, D., Haggith, M., Kendon, G., Agusti, J. & Goldsborough, D., 1995, In: AI Applications. 3, 9, p. 23-38 16 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

  40. Running ECO simulation in PROLOG.

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

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

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

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

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

  58. Industrial Use of Safety-Related Expert Systems

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

    Research output: Working paper

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  80. The Use of Prolog for Improving the Rigour and Accessibility of Ecological Modelling

    Muetzelfeldt, R., Robertson, D., Bundy, A. & Uschold, M., Jul 1989, In: Ecological Modelling. 46, 1-2, p. 9–34 26 p.

    Research output: Contribution to journalArticlepeer-review

  81. Time Granularity in Simulation Models of Ecosystems

    Mota, E., Haggith, M., Smaill, A. & Robertson, D., 1995, Proceedings of the IJCAI-95 Workshop on Executable Temporal Logics.

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

  82. Representing Interaction of Agents at Different Time Granularities

    Mota, E. & Robertson, D., 1996, Proceedings of the 3rd International Workshop on Temporal Representation and Reasoning. Key West, Florida: Institute of Electrical and Electronics Engineers (IEEE), p. 72-79 8 p.

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

  83. NatureTime: Temporal Granularity in Simulation of Ecosystems

    Mota, E., Robertson, D. & Smaill, A., 1996, In: Journal of Symbolic Computation. 22, 5-6, p. 665-698 34 p.

    Research output: Contribution to journalArticlepeer-review

  84. Using Distributed Protocols as an Implementation of Dialogue Games

    McGinnis, J., Robertson, D. & Walton, C., 2003, Proceedings of the First European workshop on Multi-Agent Systems.

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

  85. Dynamic and Distributed Interaction Protocols

    McGinnis, J. & Robertson, D., 2004, Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning. Kudenko, D., Kazakov, D. & Alonso, E. (eds.). Springer-Verlag GmbH, p. 167-184 18 p. (Lecture Notes in Computer Science; vol. 3394).

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

  86. Realizing Agent Dialogues with Distributed Protocols

    McGinnis, J. & Robertson, D., 2004, Agent Communication: International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers. van Eijk, R. M., Huget, M-P. & Dignum, F. (eds.). Springer-Verlag GmbH, p. 106-119 14 p. (Lecture Notes in Computer Science; vol. 3396).

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

  87. Opportunistic Belief Reconciliation During Distributed Interactions

    Martin, P., Robertson, D. & Rovatsos, M., 2010, Proceedings of the 9th International Conference on Autonomous Agents and Multi-Agent Systems. International Foundation for Autonomous Agents and Multiagent Systems, Vol. 1. p. 433-440 8 p.

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

  88. Automated Deployment of Argumentation Protocols

    Maghraby, A., Robertson, D., Grando, A. & Rovatsos, M., 2012, Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012. Verheij, B., Szeider, S. & Woltran, S. (eds.). IOS Press, p. 197-204 8 p. (Frontiers in Artificial Intelligence and Applications).

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

  89. Automated Experimentation for Ecological Networks

    Lurgi, M. & Robertson, D., 2011, In: Automated Experimentation. 3, 1, 22 p.

    Research output: Contribution to journalArticlepeer-review

  90. Multi-agent Coordination Through Mutualistic Interactions

    Lurgi, M. & Robertson, D., 2011, Proceedings of the 12th International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems.

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

  91. Evolution in Ecological Agent Systems

    Lurgi, M. & Robertson, D., 2011, In: International Journal of Bio-Inspired Computation. 3, 6, p. 331-345 15 p.

    Research output: Contribution to journalArticlepeer-review

  92. On the Relation Between Incidence Calculus and ATMS

    Liu, W., Bundy, A. & Robertson, D., 1 Nov 1993, Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 Proceedings. Clarke, M., Kruse, R. & Moral, S. (eds.). Springer-Verlag GmbH, Vol. 747. p. 249-256 8 p. (Lecture Notes in Computer Science; vol. 747).

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

  93. Recovering Incedence Functions

    Liu, W., Bundy, A. & Robertson, D. S., 1993, Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 Proceedings. London, UK, UK: Springer Berlin Heidelberg, p. 241-248 8 p. (Lecture Notes in Computer Science).

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

  94. Mapping a Business Process Model to a Semantic Web Services Model

    Li, G., Chen-Burger, J. & Robertson, D., 2004, Proceedings of the IEEE International Conference on Web Services. p. 746-749 4 p.

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

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

  96. Design Preferences and Cognitive Styles: Experimentation by Automated Website Synthesis

    Leung, S., Lee, J., Johnson, C. & Robertson, D., Jun 2012, In: Automated Experimentation. 4, 2, p. 1-8 8 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 Next