Edinburgh Research Explorer

Centre for Intelligent Systems and their Applications

Organisational unit: Research Institute

  1. Chapter (peer-reviewed) › Research › Peer-reviewed
  2. A Common Type of Rigorous Proof that Resists Hilbert’s Programme

    Bundy, A. & Jamnik, M., 28 Oct 2019, Proof Technology in Mathematics Research and Teaching. Springer-Verlag GmbH, p. 59-71 11 p. (Mathematics Education in the Digital Era; vol. 14).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  3. A Survey of Automated Deduction

    Bundy, A., 1999, Artificial Intelligence Today: Recent Trends and Developments. Wooldridge, M. J. & Veloso, M. (eds.). Springer Berlin Heidelberg, p. 153-174 22 p. (Lecture Notes in Computer Science; vol. 1600).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  4. Applications of Knowledge-based Planning Systems

    Tate, A., 1987, Expertensysteme: Nutzen für ihr Unternehmen. Savory, S. E. (ed.). Munich: Oldenbourg Verlag, p. 237-249 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  5. BRAM Agent

    Fishel, R., Bercovitch, M. & Gal, Y., 2013, Complex Automated Negotiations: Theories, Models, and Software Competitions. Springer-Verlag Berlin Heidelberg, p. 213-216 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  6. Bootstrapping the next generation of Social Machines

    Murray-Rust, D. & Robertson, D., 2015, Crowdsourcing: Cloud-Based Software Development. Li, W., Huhns, M. N., Tsai, W-T. & Wu, W. (eds.). Springer-Verlag, p. 53-71 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  7. Computer-Assisted Theorem Proving in Synthetic Geometry

    Narboux, J., Janicic, P. & Fleuriot, J., 1 Aug 2018, Handbook of Geometric Constraint Systems Principles . 1st ed. New York, USA: Chapman and Hall/CRC, p. 21-60 39 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  8. Formal Conceptual Blending in the (Co-)Invention of (Pure) Mathematics

    Gómez-Ramírez, D. D. J. & Smaill, A., 6 Oct 2018, Concept Invention: Foundations, Implementation, Social Aspects and Applications. Springer, Cham, p. 221-239 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  9. Hardy, Littlewood and polymath

    Martin, U. & Pease, A., 2015, Mathematics, Substance and Surmise: Views on the Meaning and Ontology of Mathematics. Davis, E. & Davis, P. J. (eds.). Cham: Springer International Publishing AG, p. 9-23 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  10. Journeys in mathematical landscapes: genius or craft?

    Lane, L., Martin, U., Murray-Rust, D., Pease, A. & Tanswell, F., Oct 2019, Proof Technology in Mathematics Research and Teaching. Hanna, G., Reid, D. & de Villiers, M. (eds.). Springer, p. 197-212 16 p. (Mathematics education in the digital era).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  11. Kinetic modelling as a modern technology to explore and modify living cells

    Demin, O. V., Lebedeva, G., Kolupaev, A. G., Zobova, EA., Plyusnina, T. Y., Lavrova, AI., Dubinsky, A., Goryacheva, EA., Tobin, F. & Goryanin, I., 2004, Modelling in Molecular Biology. Springer Berlin Heidelberg, p. 59-103 45 p. (Natural Computing Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

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