Edinburgh Research Explorer

Prof David Robertson

Vice-Principal & Head of College of Science & Engineering

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  46. Running ECO simulation in PROLOG.

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Previous 1 2 Next