Example-Driven Machine-Human Collaboration in Mathematics

Project Details

StatusFinished
Effective start/end date1/06/1731/05/19

Funding

  • Engineering and Physical Sciences Research Council (EP/P017320/1): £99,932.00

Research Output

  • 4 Article
  • 2 Conference contribution

Argumentation Theory for Mathematical Argument

Corneli, J., Martin, U., Murray-Rust, D., Rino Nesin, G. & Pease, A., Jun 2019, In : Argumentation. 33, 2, p. 173-214 42 p.

Research output: Contribution to journalArticle

Open Access
File
  • 1 Citation (Scopus)
    194 Downloads (Pure)

    Explanation in mathematical conversations: An empirical investigation

    Pease, A., Aberdein, A. & Martin, U., 11 Mar 2019, In : Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 377, 2140, 20180159.

    Research output: Contribution to journalArticle

    Open Access
    File
  • 3 Citations (Scopus)
    171 Downloads (Pure)

    Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation

    Pease, A., Lawrence, J., Budzynska, K., Corneli, J. & Reed, C., May 2017, In : Artificial Intelligence. 246, p. 181-219 39 p.

    Research output: Contribution to journalArticle

    Open Access
    File
  • 11 Citations (Scopus)
    261 Downloads (Pure)