Computational modelling of mathematical reasoning

  • Bundy, Alan (Principal Investigator)
  • Dennis, Louise (Co-Investigator (External))
  • Fleuriot, Jacques (Co-Investigator (External))
  • Ireland, Andrew (Co-Investigator (External))
  • Jackson, Paul (Co-Investigator (External))
  • Richardson, Julian (Co-Investigator (External))
  • Smaill, Alan (Co-Investigator (External))

Project Details

StatusFinished
Effective start/end date1/10/9830/09/02

Funding

  • EPSRC: £914,659.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.
  • Lakatos and machine creativity

    Pease, A., Colton, S., Smaill, A. & Lee, J., 2002, Second Workshop on Creative Systems, Approaches to Creativity in Artificial Intelligence and Cognitive Science, European Conference on Artificial Intelligence (ECAI 2002). 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Semantic negotiation: Modelling ambiguity in dialogue

    Pease, A., Colton, S., Smaill, A. & Lee, J., 2002, Proceedings of the 6th Workshop on the semantics and pragmatics of dialogue (Edilog 2002). 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Deductive synthesis of recursive plans in linear logic

    Cresswell, S., Smaill, A. & Richardson, J., 1999, Recent Advances in AI Planning: 5th European Conference on Planning, ECP’99, Durham, UK, September 8-10, 1999. Proceedings. Springer-Verlag, p. 252-264 13 p. (Lecture Notes in Computer Science; vol. 1809).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution