Edinburgh Research Explorer

Prof David Robertson

Vice-Principal & Head of College of Science & Engineering

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

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

  4. Declarative Specification

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  23. Domain-specific synthesis of simulation models

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

    Research output: Working paper

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

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

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

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

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

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

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

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

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

    Research output: Book/ReportBook

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

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

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

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

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

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

    Research output: Contribution to journalArticle

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

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

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

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

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

  44. Industrial Use of Safety-Related Expert Systems

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

    Research output: Working paper

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

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

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

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

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

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

  53. Flexible Multi-Agent Protocols

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

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

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

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

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

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