Edinburgh Research Explorer

Prof David Robertson

Vice-Principal & Head of College of Science & Engineering

  1. Working paper › Research
  2. Automating reasoning support for design

    Hesketh, J., Robertson, D., Fuchs, N. & Bundy, A., 1996, School of Informatics , 36 p. (Division of Informatics Research Papers; no. 823).

    Research output: Working paper

  3. Domain-specific synthesis of simulation models

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

    Research output: Working paper

  4. Industrial Use of Safety-Related Expert Systems

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

    Research output: Working paper

  5. Book › Research
  6. 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

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

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

  9. Running ECO simulation in PROLOG.

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

    Research output: Book/ReportBook

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

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

    Research output: Book/ReportBook

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

  12. Chapter › Research
  13. 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

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

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

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

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

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

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

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

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

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

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

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

  25. Conference contribution › Research
  26. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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