Edinburgh Research Explorer

Prof David Robertson

Vice-Principal & Head of College of Science & Engineering

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

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

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

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

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

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

  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. KBST: A Support Tool for Business Modelling in BSDM

    Chen-Burger, Y., Robertson, D., Fraser, J. & Lissoni, C., 1995, Proceedings of BCS Expert Systems-95. Cambridge, England: Cambridge University Press

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

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

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

Previous 1 2 3 4 5 6 7 8 ...18 Next