• 237 Citations
  • 9 h-Index
20012020
If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 1 Similar Profiles
Reasoning Mathematics
Automated Reasoning Mathematics
Discrete mathematics Mathematics
argumentation Social Sciences
creativity Social Sciences
Event-B Mathematics
artificial intelligence Social Sciences
Formal Modeling Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2013 2020

Research Output 2001 2019

12 Downloads (Pure)

Argumentation Theory for Mathematical Argument

Corneli, J., Martin, U., Murray-Rust, D., Rino Nesin, G. & Pease, A., 4 Jan 2019, In : Argumentation. 42 p.

Research output: Contribution to journalArticle

Open Access
File
argumentation
discourse
dialogue
Argumentation Theory
Discourse

Designing behaviour change support systems for behaviour transformation

De Franco, D. & Pease, A., 9 Apr 2019, In : CEUR Workshop Proceedings. 2340, 4 p.

Research output: Contribution to journalConference article

1 Citation (Scopus)
4 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
conversation
mathematics
Simplicity
occurrences
Term
4 Downloads (Pure)

A dialogue game for multi-party goal-setting in health coaching

Snaith, M., De Franco, D., Beinema, T., Op Den Akker, H. & Pease, A., 2018, Computational Models of Argument - Proceedings of COMMA 2018. Modgil, S., Budzynska, K., Lawrence, J. & Budzynska, K. (eds.). IOS Press, Vol. 305. p. 337-344 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 305).

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

Open Access
File
Health

Automating "human-like" example-use in mathematics

Pease, A. & Martin, U., 14 Jul 2018, In : CEUR Workshop Proceedings. 2261, p. 6-15 10 p.

Research output: Contribution to journalConference article

Open Access
File
Patents and inventions
Testing