Edinburgh Research Explorer

Prof David Robertson

Vice-Principal & Head of College of Science & Engineering

101 - 110 out of 180Page size: 10
???rss???
Sort by: Title

  1. 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 proceeding › Conference contribution

  2. 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 journal › Article

  3. 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 proceeding › Conference contribution

  4. 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 proceeding › Conference contribution

  5. 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 proceeding › Conference contribution

  6. 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 proceeding › Conference contribution

  7. 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 proceeding › Conference contribution

  8. 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 proceeding › Conference contribution

  9. 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 proceeding › Conference contribution

  10. 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 proceeding › Conference contribution

Previous 1...7 8 9 10 11 12 13 14 ...18 Next