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 AccessFile7 Citations (Scopus)695 Downloads (Pure) -
Explanation in mathematical conversations: An empirical investigation
Pease, A., Aberdein, A. & Martin, U. (Lead / Corresponding author), 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 AccessFile12 Citations (Scopus)276 Downloads (Pure) -
2017
Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
Pease, A. (Lead / Corresponding author), 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 AccessFile25 Citations (Scopus)564 Downloads (Pure) -
Modelling the way mathematics is actually done
Corneli, J., Martin, U., Murray-Rust, D., Pease, A., Puzio, R. & Nesin, G. R., 9 Sept 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 AccessFile4 Citations (Scopus)915 Downloads (Pure) -
The argument web: an online ecosystem of tools, systems and services for argumentation
Reed, C. (Lead / Corresponding author), 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 AccessFile22 Citations (Scopus)435 Downloads (Pure) -
Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
Corneli, J. (Lead / Corresponding author), 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
4 Citations (Scopus)