Edinburgh Research Explorer

Prof David Robertson

Vice-Principal & Head of College of Science & Engineering

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

  3. 2018
  4. 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 othersNorrie, 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 journalEditorial

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

  6. ABIBA: An agent-based computing system for behaviour analysis used in human-agent interaction

    Cui, C., Murray-Rust, D., Robertson, D. & Nicodemus, K., 20 Jun 2018, Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection - International Workshops of PAAMS 2018, Proceedings. Toledo; Spain: Springer, Cham, p. 183-195 13 p. (Communications in Computer and Information Science; vol. 887).

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

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

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

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

  10. 2017
  11. Hazard prevention in mission plans for aerial vehicles based on soft institutions

    Correa da Silva, F. S., Chung, P. W. H., Zuffo, M. K., Papapanagiotou, P., Robertson, D. & Vasconcelos, W., 18 Mar 2017, In : Civil Aircraft Design and Research. 126, 3, p. 105-116 12 p.

    Research output: Contribution to journalArticle

  12. Designing a Social Machine for the Heart Manual Service

    Hanschke, V., Manataki, A., Alexandru, C., Papapanagiotou, P., Deighan, C., Taylor, L. & Robertson, D., 27 Feb 2017, Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 5: HEALTHINF, (BIOSTEC 2017). SCITEPRESS, p. 435-440 6 p.

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

  13. 2016
  14. 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., 19 Oct 2016, In : The Journal of Engineering. 24 p.

    Research output: Contribution to journalArticle

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

  16. 2015
  17. 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 journalArticle

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

  19. 2014
  20. Twelve Big Questions for Research on Social Collective Intelligence

    Anderson, S., Miorandi, D., Carreras, I. & Robertson, D., Aug 2014, Social Collective Intelligence: Combining the Powers of Humans and Machines to Build a Smarter Society. Springer International Publishing, p. 93-101 9 p. (Computational Social Sciences).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

  24. Metadata-driven Hypertext Content Publishing and Styling

    Bai, X., Haller, A., Klein, E. & Robertson, D., 2014, Proceedings of the Companion Publication of the 23rd International Conference on World Wide Web Companion. Republic and Canton of Geneva, Switzerland: International World Wide Web Conferences Steering Committee, p. 221-222 2 p.

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

  25. 2013
  26. 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

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

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

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

  31. The Use of Reputation as Noise-resistant Selection Bias in a Co-evolutionary Multi-agent System

    Chatzinikolaou, N. & Robertson, D., 2012, Proceedings of the Genetic and Evolutionary Computation Conference. ACM, p. 983-990 4 p.

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

  32. 2011
  33. RDFa2: Lightweight semantic enrichment for hypertext content: Lightweight Semantic Enrichment for Hypertext Content

    Bai, X., Klein, E. & Robertson, D., 4 Dec 2011, The Semantic Web: Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings. Springer Berlin Heidelberg, p. 318-333 16 p. (Lecture Notes in Computer Science; vol. 7185).

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

  34. Automated Experimentation for Ecological Networks

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

    Research output: Contribution to journalArticle

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

  36. Identifying the Need to Intervene: Analysis and Representation of Interaction Patterns in Group Programming Learning

    Castro, T., Fuks, H., Robertson, D. & Castro, A., 2011, Collaboration and Technology: 17th International Conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011. Proceedings. Springer-Verlag GmbH, p. 158-174 7 p. (Lecture Notes in Computer Science; vol. 6969).

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

  37. Intrusion Detection in Open Peer-to-Peer Multi-agent Systems

    Bijani, S. & Robertson, D., 2011, Managing the Dynamics of Networks and Services: 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011. Proceedings. Springer-Verlag GmbH, p. 177-180 4 p. (Lecture Notes in Computer Science).

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

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

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

  40. Probing Attacks on Multi-agent Systems from Electronic Institutions

    Bijani, S., Robertson, D. & Aspinall, D., 2011, Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers. Springer-Verlag GmbH, p. 33-50 18 p. (Lecture Notes in Computer Science; vol. 7169).

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

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

  42. Resilient peer communities

    Alexandru, C., Anderson, S., McKinstry, B., Ure, J. & Robertson, D., 2011, Resilience Engineering International Symposium. 7 p.

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

  43. 2010
  44. OKBook: Peer-to-peer community formation

    Bai, X., Vasconcelos, W. & Robertson, D., 30 May 2010, The Semantic Web: Research and Applications: 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 – June 3, 2010, Proceedings, Part II. Springer Berlin Heidelberg, p. 106-120 15 p. (Lecture Notes in Computer Science; vol. 6089).

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

  45. Delivering Clinical Decision Support Services: There is Nothing so Practical as a Good Theory

    Fox, J., Glasspool, D., Patkar, V., Austin, M., Black, L., South, M., Robertson, D. & Vincent, C., 2010, In : Journal of biomedical informatics. 43, 5, p. 841-853 13 p.

    Research output: Contribution to journalArticle

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

  47. Service Choreography Meets the Web of Data via Micro-Data

    Bai, X. & Robertson, D., 2010, Proceedings of the AAAI Spring Symposium Linked Data Meets Artificial Intelligence. Stanford, USA: AAAI Press, p. 8-13 6 p.

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

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

  50. Addressing Constraint Failures in Agent Interaction Protocol

    Hassan, F., Robertson, D. & Walton, C., 2009, Multi-Agent Systems for Society: 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers. Lukose, D. & Shi, Z. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 45-59 15 p. (Lecture Notes in Computer Science; vol. 4078).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  51. Mobile Widget Sharing by Mining Peer Groups

    Bai, X., Cheng, B. & Robertson, D., 2009, Proceedings of the First ESWC Workshop on Inductive Reasoning and Machine Learning on the Semantic Web. 12 p.

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

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

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

  54. 2008
  55. Using Multi-agent Platform for Pure Decentralised Business Workflows

    Guo, L., Robertson, D. & Chen-Burger, Y-H., Aug 2008, In : Web Intelligence and Agent Systems. 6, 3, p. 295-311 17 p.

    Research output: Contribution to journalArticle

  56. Addressing the Brittleness of Agent Interaction

    Hassan, F. & Robertson, D., 2008, Intelligent Agents and Multi-Agent Systems: 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings. Springer Berlin Heidelberg, p. 214-221 8 p. (Lecture Notes in Computer Science; vol. 5357).

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

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

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

  59. Distributed Workflows: the OpenKnowledge Experience

    Besana, P., Patkar, V., Glasspool, D. & Robertson, D., 2008, Proceedings of the International Workshop on Semantic Extensions to Middleware. Springer-Verlag GmbH, p. 965-975 11 p. (Lecture Notes in Computer Science; vol. 5333).

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

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

  61. Probabilistic Dialogue Models for Dynamic Ontology Mapping

    Besana, P. & Robertson, D., 2008, Uncertainty Reasoning for the Semantic Web I: ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers. da Costa, P., d'Amato, C., Fanizzi, N., Laskey, K., Laskey, K., Lukasiewicz, T., Nickles, M. & Pool, M. (eds.). Springer-Verlag GmbH, p. 41-51 11 p. (Lecture Notes in Computer Science; vol. 5327).

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

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

  64. How Service Choreography Statistics Reduce the Ontology Mapping Problem

    Besana, P. & Robertson, D., 1 Jul 2007, The Semantic Web: 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedings. Springer-Verlag GmbH, p. 44-57 14 p. (Lecture Notes in Computer Science; vol. 4825).

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

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

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

  67. Decentralised Clinical Guideline Modelling with the Lightweight Coordination Calculus

    Hu, B., Dupplaw, D., Robertson, D. & Lewis, P., 2007, Proceedings of the 2nd International Symposium on Languages in Biology and Medicine. CEUR Workshop Proceedings, 14 p. 1

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

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

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

  70. 2005
  71. 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 journalArticle

  72. Exploiting Interaction Contexts in P2P Ontology Mapping

    Besana, P., Robertson, D. & Rovatsos, M., 1 Jul 2005, 2nd International Workshop on Peer to Peer Knowledge Management. 9 p. (CEUR Workshop Proceedings; vol. 139).

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

  73. Addressing Constraint Failures in an Agent Interaction Protocol

    Hassan, F., Robertson, D. & Walton, C., 2005, Proceedings of the 8th Pacific Rim International Workshop on Multi-Agent Systems.

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

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

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

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

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

  78. Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-agent Platform

    Guo, L., Robertson, D. & Chen-Burger, Y-H., 2005, Multiagent System Technologies: Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedings. Eymann, T., Klügl, F., Lamersdorf, W., Klusch, M. & Huhns, M. N. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 35-46 12 p. (Lecture Notes in Computer Science; vol. 3550).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  79. Matchmaking and Brokering Multi-Party Interactions Using Historical Performance Data

    Lambert, D. & Robertson, D., 2005, Fourth International Joint Conference on Autonomous Agents and Multi-agent Systems.

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

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

  81. 2004
  82. 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

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

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

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

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

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

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

  89. 2003
  90. Knowledge management using business process modeling and workflow techniques

    Kuo, H-L., Chen-Burger, Y-H. & Robertson, D., 2003, 18th International Joint conference on Artificial Intelligence (IJCAI), Workshop on Knowledge Management and Organizational Memories. 13 p.

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

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

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

  93. Web Site Synthesis based on Computational Logic

    Cavalcanti, J. & Robertson, D., 2003, In : Information Systems Journal. 5, 3, p. 263-287 25 p.

    Research output: Contribution to journalArticle

  94. 2002
  95. 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

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

  97. Enterprise Modelling: A Declarative Approach for FBPML

    Chen-Burger, Y-H., Tate, A. & Robertson, D., 2002, ECAI 2002 Workshop #5 on Knowledge Management and Organizational Memories. 9 p.

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

  98. Flexible Multi-Agent Protocols

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

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

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

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

  101. On the Insufficiency of Ontologies: Problems in Knowledge Sharing and Alternative Solutions

    Correa da Silva, F. S., Vasconcelos, W. W., Robertson, D. S., Brilhante, V., Melo, A. C. V., Finger, M. & Agusti, J., 2002, In : Knowledge-Based Systems. 15, 3, p. 147-167 21 p.

    Research output: Contribution to journalArticle

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

  103. Using Web Site Synthesis in an Experiment on the Causal Perception of Aviation Accidents

    Lee, J., Robertson, D., Leung, S. W. & Johnson, C., 2002, Workshop on the Investigation and Reporting of Incidents and Accidents (IRIA 2002). Glasgow, UK: Department of Computing Science, University of Glasgow, p. 221-230 10 p.

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

  104. Verifying Web Site Properties Using Computational Logic

    Cavalcanti, J. & Robertson, D., 2002, Information Modelling for Internet Applications. van Bommel, P. (ed.). Idea Group Publishing, p. 22-39 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  105. 2001
  106. 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

  107. Synthesis of Web Sites from High Level Descriptions

    Cavalcanti, J. & Robertson, D., 2001, Web Engineering: Managing Diversity and Complexity in Web Application Development. Murugesan, S. & Deshpande, Y. (eds.). Springer-Verlag GmbH, p. 190-203 14 p. (Lecture Notes in Computer Science; vol. 2016).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  108. 2000
  109. WaRP - A Reactive Planner Integrated in an Environmental Decision-support System for Wastewater Treatment Plant Management

    Ceccaroni, L. & Robertson, D., 1 Aug 2000, Proceedings of the 14th European Conference on Artificial Intelligence. IOS Press, p. 491-495 5 p.

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

  110. A Heuristic Approach to Modelling Thinnings

    Daume, S. & Robertson, D., 2000, In : Silva Fennica. 34, 3, p. 237-249 13 p.

    Research output: Contribution to journalArticle

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

  112. An Architecture for the Deployment of Mobile Decision Support Systems

    Daume, S. & Robertson, D., 2000, In : Expert Systems with Applications. 19, 4, p. 305-318 14 p.

    Research output: Contribution to journalArticle

  113. Applying Experienceware to Support Ontology Deployment

    Kalfoglou, Y. & Robertson, D., 2000, Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering, Chicago.

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

  114. Argument-based Applications to Knowledge Engineering

    Carbogim, D., Robertson, D. & Lee, J., 2000, In : Knowledge Engineering Review. 15, 2, p. 119-149 31 p.

    Research output: Contribution to journalArticle

  115. Industrial Use of Safety-Related Expert Systems

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

    Research output: Working paper

  116. 1999
  117. 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 journalArticle

  118. A Case Study in Applying Ontologies to Augment and Reason About the Correctness of Specifications

    Kalfoglou, Y. & Robertson, D., 1999, Proceedings of the 11th International Conference on Software Engineering and Knowledge Engineering, Germany. p. 64-71 8 p.

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

  119. A Case-Based Reasoning Approach to Supporting Novice Programmers

    Bowles, A., Robertson, D. & Brna, P., 1999, Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study. Brna, P., Du Boulay, B. & Pain, H. (eds.). Ablex Publishing Corporation, p. 197-216 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  121. Contract-based Negotiation via Argumentation

    Carbogim, D. & Robertson, D., 1999, Proceedings of the Workshop on Multi-Agent Systems in Logic Programming (MAS-99) at the 16th International Conference on Logic Programming (ICLP-99).

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

  122. Evaluating Focus Theories for Dialogue Management

    Lecoeuche, R., Robertson, D., Barry, C. & Mellish, C., 1999, In : International Journal of Human-Computer Studies. 52, 1, p. 23-76 54 p.

    Research output: Contribution to journalArticle

  123. Managing Ontological Constraints

    Kalfoglou, Y. & Robertson, D., 1999, Proceedings of the IJCAI-99 workshop on Ontologies and Problem-Solving Methods (KRR5). Benjamins, V. R. (ed.). CEUR Publications, Vol. 18. 13 p. 5

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

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

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

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

    Research output: Book/ReportBook

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

  127. Use of Formal Ontologies to Support Error Checking in Specifications

    Kalfoglou, Y. & Robertson, D., 1999, Proceedings of the 11th European Workshop on Knowledge Acquisition, Modelling and Management (EKAW-99), Germany. Springer-Verlag GmbH, p. 207-221 15 p.

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

  128. Using Focus Rules in Requirements Elicitation Dialogues

    Lecoeuche, R., Robertson, D. & Barry, C., 1999, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), Stockholm, Sweden. William Kaufmann Inc., Vol. 1. p. 649-654 6 p.

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

  129. Why Ontologies are not Enough for Knowledge Sharing

    Correa da Silva, F. S., Vasconcelos, W. W., Agusti, J., Robertson, D. S. & Melo, A. C. V., 1999, Multiple Approaches to Intelligent Systems: 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999. Proceedings. Imam, I., Kodratoff, Y., El-Dessouki, A. & Ali, M. (eds.). Springer-Verlag GmbH, p. 520-529 10 p. (Lecture Notes in Computer Science; vol. 1611).

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

  130. 1998
  131. Domain-specific synthesis of simulation models

    Castro, A., Muetzelfeldt, R. & Robertson, D., 9 Aug 1998, 27 p.

    Research output: Working paper

  132. A Framework for Requirements Elicitation Through Mixed-Initiative Dialogue

    Lecoeuche, R., Mellish, C. & Robertson, D., 1 Apr 1998, 3rd IEEE International Conference on Requirements Engineering, Colorado Springs, USA. Institute of Electrical and Electronics Engineers (IEEE), p. 190-196 7 p.

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

  133. Graphical Input Sketches for Producing Formalised Behavioural Requirements

    Funk, P. & Robertson, D., 1 Apr 1998, Workshop on Visual Issues for Formal Methods (Visual'98) - part of TAPSoft'98. 16 p.

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

  134. A Visual Syntax for Logic and Logic Programming

    Agusti, J., Puigsegur, J. & Robertson, D., 1998, In : Journal of Visual Languages and Computing. 9, 4, p. 399-427 29 p.

    Research output: Contribution to journalArticle

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

  136. Cooperation Between Knowledge Based Systems

    Correa da Silva, F., Vasconcelos, W. & Robertson, D., 1998, Proceedings of the 4th World Congress on Expert Systems. Cantu, F., Soto, R., Liebowitz, J. & Sucar, E. (eds.). Monterey, Mexico: Cognizant Communication Corporation, p. 819-825 7 p.

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

  137. Formal Support for an Informal Business Modelling Method

    Chen-Burger, J. & Robertson, D., 1998, Proceedings of the 10th International Conference on Software Engineering and Knowledge Engineering, San Francisco, USA. Knowledge Systems Institute, Illinois

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

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

  139. User-System Dialogues and the Notion of Focus

    Lecoeuche, R., Mellish, C., Barry, C. & Robertson, D., 1998, In : Knowledge Engineering Review. 13, 4, p. 381-408 28 p.

    Research output: Contribution to journalArticle

  140. 1997
  141. 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

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

  143. 1996
  144. 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

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

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

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

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

  149. Declarative Specification

    Fuchs, N. & Robertson, D., 1996, In : Knowledge Engineering Review. 11, 4, p. 317-331 15 p.

    Research output: Contribution to journalArticle

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

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

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

  153. Visual Logic Programming Through Set Inclusion and Chaining

    Agusti, J., Puigsegur, J., Robertson, D. & Schorlemmer, W. M., 1996, Proceedings of the CADE-13 Visual Reasoning Workshop.

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

  154. 1995
  155. 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 journalArticle

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

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

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

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

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

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

  162. KBST: A Support Tool for Business Modelling in BSDM

    Chen-Burger, Y., Robertson, D., Fraser, J. & Lissoni, C., 1995, Proceedings of BCS Expert Systems-95. Cambridge, England: Cambridge University Press

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

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

  164. Supporting Customised Reasoning in the Agroforestry Domain

    Kendon, G., Walker, D., Robertson, D., Haggith, M., Sinclair, F. & Muetzelfeldt, R., 1995, In : The New Review of Applied Expert Systems. 1

    Research output: Contribution to journalArticle

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

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

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

  168. 1994
  169. Automated Reasoning with Uncertainties

    Correa da Silva, F., Robertson, D. & Hesketh, J., 1 Dec 1994, Knowledge Representation and Reasoning Under Uncertainty: Logic at Work. Masuch, M. & Polos, L. (eds.). Springer-Verlag GmbH, p. 57-79 23 p. (Lecture Notes in Computer Science; vol. 808).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  171. Applying Prolog Programming Techniques

    Bowles, A. W., Robertson, D., Vasconcelos, W. W., Vargas-Vera, M. & Bental, D., 1 Sep 1994, In : International Journal of Human-Computer Studies. 41, 3, p. 329-350 22 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

  179. Representing the Structure of Reserve Selection Arguments Using Logic Programs

    Goldsborough, D. & Robertson, D., 1994, Proceedings of the Eighth Annual Symposium on Geographical Information systems. Sawayama, G. (ed.).

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

  180. Requirements Specification of Telecommunication Services Assisted by Case-Based Reasoning

    Funk, P. & Robertson, D., 1994, Proceedings of the 2nd International Conference on Telecommunication Systems, Modelling and Analysis.

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

  181. 1993
  182. 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

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

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

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

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

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

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

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

  190. Representing Design Information and Safety Constraints

    Chung, P., Abbas, S. & Robertson, D., 1993, Proceedings of the Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. Gordon & Breach Science Publishers, p. 201-208 8 p.

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

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

  192. 1991
  193. Automated Reasoning about an Uncertain Domain

    Correa da Silva, F., Robertson, D. & Chung, P., 1 Oct 1991, Symbolic and Quantitative Approaches to Uncertainty: European Conference ECSQAU Marseille, France, October 15–17, 1991 Proceedings. Springer-Verlag GmbH, p. 141-145 5 p. (Lecture Notes in Computer Science; vol. 548).

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

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

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

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

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

  198. 1989
  199. 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 journalArticle

  200. 1988
  201. 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

  202. 1987
  203. 1986
  204. 1985
  205. Eco: An Intelligent Front End for Ecological Modelling

    Bundy, A., Uschold, M., Muetzelfeldt, R., Harding, N. & Robertson, D., 1985, In : Proceedings of the Working Conference on Artificial Intelligence in Simulation.

    Research output: Contribution to journalArticle

  206. Running ECO simulation in PROLOG.

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

    Research output: Book/ReportBook

  207. 1984
  208. 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