Example-Driven Machine-Human Collaboration in Mathematics

Research output

Research output per year 2017 2019

• 4 Article
• 2 Conference contribution

Research output per year

Research output per year

Search results

• 2019

  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 journal › Article › peer-review

  Open Access

  File

  • Argumentation Theory
  • argumentation
  • Discourse
  • discourse
  • Expository Text
  2 Citations (Scopus)

  271 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 journal › Article › peer-review

  Open Access

  File

  • conversation
  • mathematics
  • Corpus
  • Simplicity
  • Evidence
  5 Citations (Scopus)

  164 Downloads (Pure)
• 2017

  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 journal › Article › peer-review

  Open Access

  File

  • Lakatos
  • argumentation
  • Argumentation
  • Mathematics
  • mathematics
  14 Citations (Scopus)

  277 Downloads (Pure)

• Modelling the way mathematics is actually done

  Corneli, J., Martin, U., Murray-Rust, D., Pease, A., Puzio, R. & Nesin, G. R., 9 Sep 2017, FARM 2017: Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design. New York: Association for Computing Machinery (ACM), p. 10-19 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Semantics
  3 Citations (Scopus)

  343 Downloads (Pure)

• The argument web: an online ecosystem of tools, systems and services for argumentation

  Reed, C., Budzynska, K., Duthie, R., Janier, M., Konat, B., Lawrence, J., Pease, A. & Snaith, M., Jun 2017, In: Philosophy and Technology. 30, 2, p. 137-160 24 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Ecosystem
  • Argumentation
  • Argumentation Theory
  • Activity Type
  • Research Groups
  10 Citations (Scopus)

  249 Downloads (Pure)

• Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues

  Corneli, J., Martin, U., Murray-Rust, D. & Pease, A., 28 Jun 2017, Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Proceedings. Switzerland: Springer Verlag, Vol. 10383. p. 132-146 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10383 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Domain Knowledge
  • Dialogue
  • Websites
  • Pedagogy
  • Knowledge
  1 Citation (Scopus)