A congnitive model of axiom formulation and reformulation with application to AI and software engineering

  • Smaill, Alan (Principal Investigator)
  • Clark, Andy (Co-investigator)

Search results

  • 2012

    Utility-Based Generation of Referring Expressions

    Guhe, M., Apr 2012, In: Topics in Cognitive Science. 4, 2, p. 306-329 24 p.

    Research output: Contribution to journalArticlepeer-review

  • 2010

    Towards a cognitive model of conceptual blending

    Guhe, M., Smaill, A. & Pease, A., 5 Aug 2010, Proceedings of the 10th International Conference on Cognitive Modeling. p. 293-304 12 p.

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

    Open Access
    File
  • Mathematical reasoning with higher-order anti-unifcation

    Guhe, M., Pease, A., Smaill, A., Schmidt, M., Gust, H., Kühnberger, K-U. & Krumnack, U., 2010, Proceedings of the 32nd Annual Conference of the Cognitive Science Society. p. 1992-1997 6 p.

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

    Open Access
    File
  • Some aspects of analogical reasoning in mathematical creativity

    Pease, A., Guhe, M. & Smaill, A., 2010, Proceedings of the International Conference on Computational Creativity. p. 60-64 5 p.

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

    Open Access
    File
  • 2009

    A cognitive model of discovering commutativity

    Guhe, M., Pease, A. & Smaill, A., 2009, Proceedings of the 31st Annual Conference of the Cognitive Science Society. p. 727-732 6 p.

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

    Open Access
    File
  • Using information flow for modelling mathematical metaphors

    Guhe, M., Smaill, A. & Pease, A., 2009, Proc. of 9th Intern. Conf. on Cognitive Modeling. p. 258-263 6 p.

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