Automatic conjecture making in mathematics

Project Details

StatusFinished
Effective start/end date1/11/9931/10/02

Funding

  • EPSRC: £142,505.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