Alan Bundy

View Scopus Profile

Alan Bundy

PROF

 https://orcid.org/0000-0002-0578-6474
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

  • 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
  • 2019

    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
  • 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