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

Status	Finished
Effective start/end date	1/11/15 → 31/10/19

Funding

EPSRC: £156,889.00

14 Conference contribution
7 Article
3 Chapter (peer-reviewed)
1 Chapter
More

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, Cham, p. 1-35
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Open Access
File