Artificial Intelligence and its Applications Institute

  • Postal addressShow on map

    10 Crichton Street, Informatics Forum

    EH8 9AB Edinburgh

    United Kingdom

Filter
Chapter (peer-reviewed)

Search results

  • 2024

    A graphical representation of verification proof plans

    Lin, Y., Bundy, A. & Grov, G., 4 Sept 2024, The Practice of Formal Methods. Cavalcanti, A. & Baxter, J. (eds.). Springer, p. 292-313 22 p. (Lecture Notes in Computer Science; vol. 14780).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Multiview learning in biomedical applications

    Serra, A., Galdi, P. & Tagliaferri, R., Jan 2024, Artificial Intelligence in the Age of Neural Networks and Brain Computing, Second Edition. Kozma, R., Alippi, C., Choe, Y. & Carlo Morabito, F. (eds.). 2 ed. Academic Press, p. 307-324 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2023

    Boolean Connectives and Deep Learning: Three Interpretations

    Mendez-Lucero, M-A. & Belle, V., 2023, Compendium of Neurosymbolic Artificial Intelligence. Hitzler, P., Sarker, M. K. & Eberhart, A. (eds.). IOS Press, Vol. 369. p. 100-113 (Frontiers in Artificial Intelligence and Applications; vol. 369).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File
  • 2021

    Modelling virtual bargaining using logical representation change

    Bundy, A., Philalithis, E. & Li, X., 20 Jul 2021, Human-Like Machine Intelligence. Muggleton, S. H. & Chater, N. (eds.). Oxford University Press, p. 68-89

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File

  • The History of the DReaM Group

    Bundy, A., 24 May 2021, Mathematical Reasoning: The History and Impact of the DReaM Group. Michaelson, G. (ed.). 1 ed. Springer, p. 1-35

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File
  • 2020

    Dimension Reduction Techniques in a Brain–Computer Interface Application

    Cozza, F., Galdi, P., Serra, A., Pasqua, G., Pavone, L. & Tagliaferri, R., 2020, Neural Approaches to Dynamics of Signal Exchanges. Esposito, A., Faundez-Zanuy, M., Carlo Morabito, F. & Pasero, E. (eds.). 1 ed. Springer, Vol. 151. p. 107-118 12 p. (Smart Innovation, Systems and Technologies; vol. 151).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2019

    Intelligent geometry tools

    Davenport, J., Fleuriot, J., Quaresma, P., Recio, T. & Wang, D., 31 Dec 2019, Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements . Suda, M. & Winkler, S. (eds.). Open Publishing Association, p. 51-52 2 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 311).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access

  • 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, p. 59-71 11 p. (Mathematics Education in the Digital Era; vol. 14).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File

  • 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 proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File
  • 2018

    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, p. 221-239 19 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 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, p. 21-60 39 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2016

    PriGuardTool: A Web-Based Tool to Detect Privacy Violations Semantically

    Kökciyan, N. & Yolum, P., 16 Dec 2016, Engineering Multi-Agent Systems. Baldoni, M., Müller, J. P., Nunes, I. & Zalila-Wenkstern, R. (eds.). Cham: Springer, p. 81-98 18 p. (Lecture Notes in Computer Science (LNCS); vol. 10093).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2015

    The Fourth Automated Negotiation Competition

    Gal, Y. & Ilany, L., Dec 2015, Next Frontier in Agent-Based Complex Automated Negotiation. Springer, p. 129-136 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Negotiating Privacy Constraints in Online Social Networks

    Mester, Y., Kökciyan, N. & Yolum, P., 15 Nov 2015, Advances in Social Computing and Multiagent Systems: International Workshop on Collaborative Agents Research and Development (CARE), and International Workshop on Multiagent Foundations of Social Computing (MFSC). Koch, F., Guttmann, C. & Busquets, D. (eds.). Cham: Springer, p. 112-129 18 p. (Communications in Computer and Information Science (CCIS); vol. 541).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 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, p. 53-71 19 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 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, p. 9-23 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Worker-centric Design for Software Crowdsourcing: Towards Cloud Careers

    Murray-Rust, D., Scekic, O. & Lin, D., 2015, Crowdsourcing: Cloud-Based Software Development. Li, W., Huhns, M. N., Tsai, W-T. & Wu, W. (eds.). Springer, p. 39-50 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2014

    Using Planning to Adapt to Dynamic Environments

    Tate, A., 23 Jun 2014, Adaptive, Dynamic, and Resilient Systems. Suri, N. & Cabri, G. (eds.). Taylor & Francis, p. 243-257 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • The Simple-Meta Agent

    Ilany, L. & Gal, Y., 24 Jan 2014, (E-pub ahead of print) Novel Insights in Agent-based Complex Automated Negotiation. Springer, p. 197-200 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2013

    Plan Recognition and Visualization in Exploratory Learning Environments

    Amir, O., Gal, Y., Yaron, D., Karabinos, M. & Belford, R., 7 Nov 2013, Educational Data Mining. Springer, Vol. 524. p. 289-327 39 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • BRAM Agent

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

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2012

    Negotiating in a brave new world: Challenges and opportunities for the field of negotiation science

    J. Gelfand, M. & Gal, Y., 12 Apr 2012, The Psychology of Negotiations in the 21st Century Workplace. 1st ed. New York, USA: Routledge, p. 443-464 22 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2009

    Semantics-Based Process Support for Grid Applications

    Nadarajan, G., Manataki, A. & Chen-Burger, J., 2009, Grid Technology for Maximizing Collaborative Decision Management and Support: Advancing Effective Virtual Organizations. Bessis, N. (ed.). IGI Global, p. 61-82 22 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Women in Computing

    Gürer, D., Light, J., Björkman, C., Davies, R., Hancock, M., Condon, A., Craig, A., Galpin, V., Martin, U., Pohl, M., Wiltner, S., Suriya, M., Spertus, E., Cohoon, J. M., Townsend, G. C. & Gabbert, P., 2009, Wiley Encyclopedia of Computer Science and Engineering. Wiley, p. 3099-3122 24 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2005

    Kinetic modelling of the E. coli metabolism

    Demin, O., Plyusnina, T., Lebedeva, G., Zobova, E., Metelkin, E., Kolupaev, A., Goryanin, I. & Tobin, F., 2005, Systems Biology: Definitions and Perspectives. Alberghina, L. & Westerhoff, H. V. (eds.). Springer, Vol. 13. p. 31-67 37 p. (Topics in Current Genetics).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2004

    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, p. 59-103 45 p. (Natural Computing Series).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 1999

    A Survey of Automated Deduction

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

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 1987

    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 proceeding › Chapter (peer-reviewed) › peer-review