The integration and interaction of multiple mathematical Reasoning Processes

  • Bundy, Alan (Principal Investigator)
  • Aspinall, David (Co-Investigator (External))
  • Colton, Simon (Co-Investigator (External))
  • Fleuriot, Jacques (Co-Investigator (External))
  • Gow, Jeremy (Co-Investigator (External))
  • Grov, Gudmund (Co-Investigator (External))
  • Ireland, Andrew (Co-Investigator (External))
  • Jackson, Paul (Co-Investigator (External))
  • McNeill, Fiona (Co-Investigator (External))
  • Michaelson, Greg (Co-Investigator (External))
  • Smaill, Alan (Co-Investigator (External))

Project Details

StatusFinished
Effective start/end date1/11/15 → 31/10/19

Funding

  • EPSRC: £156,889.00

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint

  • Signature Entrenchment and Conceptual Changes in Automated Theory Repair

    Li, X., Bundy, A. & Philalithis, E., 18 Nov 2021, Proceedings of the Ninth Annual Conference on Advances in Cognitive Systems. Cognitive Systems Foundation, 17 p.

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

    Open Access
    File

  • 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
View all 28 research outputs