Artificial Intelligence and its Applications Institute

  • Postal addressShow on map

    10 Crichton Street, Informatics Forum

    EH8 9AB Edinburgh

    United Kingdom

Filter
Chapter

Search results

  • 2005

    Autonomous software

    Rovatsos, M. & Weiss, G., Aug 2005, Handbook of Software Engineering and Knowledge Engineering: Vol 3: Recent Advances. Chang, S. K. (ed.). World Scientific, 22 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-agent Platform

    Guo, L., Robertson, D. & Chen-Burger, Y-H., 2005, Multiagent System Technologies: Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedings. Eymann, T., Klügl, F., Lamersdorf, W., Klusch, M. & Huhns, M. N. (eds.). Berlin, Heidelberg: Springer, p. 35-46 12 p. (Lecture Notes in Computer Science; vol. 3550).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Psychological validity of schematic proofs

    Jamnik, M. & Bundy, A., 2005, Mechanizing Mathematical Reasoning: Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday. Springer, Vol. LNCS 2605. p. 321-341 (Lecture Notes in Computer Science; vol. 2605).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    File
  • 2004

    Using the coral System to Discover Attacks on Security Protocols

    Bundy, A., 2004, Computer Systems: Theory, Technology and Applications. Herbert, A. & Sp¨arck Jones, K. (eds.). Springer

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    File
  • 2003

    Data Access, Integration, and Management

    Atkinson, M., Chervenak, A. L., Kunszt, P., Narang, I., Paton, N. W., Pearson, D., Shoshani, A. & Watson, P., 2 Dec 2003, The Grid 2: Blueprint for a New Computing Infrastructure (2nd edition),. Foster, I. & Kesselman, C. (eds.). 2nd ed. Morgan Kaufmann, p. 391-398 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Rationale for Choosing the Open Grid Services Architecture

    Atkinson, M., 30 May 2003, Grid Computing: Making the Global Infrastructure a Reality. Berman, F., Fox, G. & Hey, T. (eds.). Chichester, UK: Wiley

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 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 proceeding › Chapter

  • 2002

    A Critique of Proof Planning

    Bundy, A., 2002, Computational Logic: Logic Programming and Beyond. Kakas, A. & Sabri, F. (eds.). Springer

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    File

  • 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 proceeding › Chapter

  • 2001

    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, p. 190-203 14 p. (Lecture Notes in Computer Science; vol. 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • The Automation of Proof by Mathematical Induction

    Bundy, A., 2001, Handbook of Automated Reasoning. Robinson, A. & Boronkov, A. (eds.). Elsevier, p. 845-911

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    File
  • 1987

    Applications of Knowledge Based Planning Systems

    Tate, A., 1987, Knowledge-based Expert Systems in Industry. Kriz, J. (ed.). Chichester: Ellis Horwood, p. 130-144 15 p. (Ellis Horwood books in Information Technology).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • 1986

    Knowledge-based Planning Techniques

    Tate, A., 1986, Expert Systems and Optimisation in Process Control. Mamdani, A. & Efstathiou, J. (eds.). Aldershot: Gower Publishing, (The Technical Press-Unicom applied information technology reports series).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • User Interface Working Group Final Report

    Tate, A., 1986, Methodology of Window Management: Proceedings of an Alvey Workshop at Cosener’s House, Abingdon, UK, April 1985. Hopgood, F. R. A. (ed.). Berlin: Springer, p. 181-194 14 p. (Eurographic Seminars: Tutorials and Perspectives in Computer Graphics).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter