Edinburgh Research Explorer

Prof David Robertson

Vice-Principal & Head of College of Science & Engineering

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

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

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

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

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

  6. Industrial Use of Safety-Related Expert Systems

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

    Research output: Working paper

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

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

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

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

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

    Research output: Contribution to journalEditorial

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

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

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

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

  15. Building Large-Scale Prolog Programs using a Techniques Editing System

    Vargas-Vera, M., Vasconcelos, W. W. & Robertson, D., 1 Oct 1993, Proceedings of the International Logic Programming Symposium. MIT Press

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

  16. Combining Prolog Programs in a Techniques Editing System

    Vargas-Vera, M., Robertson, D. & Inder, R., 1 Jul 1993, Proceedings of Third International Workshop on Logic Programming Synthesis and Transformation. Springer-Verlag GmbH

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

  17. Building large-scale Prolog programs using a techniques editing system

    Vargas-Vera, M., Vasconcelos, W. & Robertson, D., 1993, Logic Programming, Proceedings of the 1993 International Symposium (ILPS 1993). p. 636 1 p.

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

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

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

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

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

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

  21. Flexible Multi-Agent Protocols

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

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

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

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

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

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

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

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

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

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

Previous 1 2 3 4 Next