Projects per year
Fingerprint Dive into the research topics where Alison Pease is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Reasoning
Mathematics
Automated Reasoning
Mathematics
Discrete mathematics
Mathematics
Failure analysis
Engineering & Materials Science
Health
Engineering & Materials Science
Event-B
Mathematics
Formal Modeling
Mathematics
Cognitive Models
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 2013 2020
Council of Coaches: COUCH (joint with University of Twente, Roessingh Research and Development BV, Danish Board of Technology Foundation, University of Pierre and Marie Curie, Polytechnic University of Valencia, Innovation Sprint)
Conway, N., Pease, A. & Wake, D.
COMMISSION OF THE EUROPEAN COMMUNITIES
1/09/17 → 31/08/20
Project: Research
Example-Driven Machine-Human Collaboration in Mathematics
Engineering and Physical Sciences Research Council
1/06/17 → 31/05/19
Project: Research
Research Output 2001 2019
1
Citation
(Scopus)
125
Downloads
(Pure)
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
Open Access
File
argumentation
discourse
dialogue
Argumentation Theory
Discourse
Designing behaviour change support systems for behaviour transformation
De Franco, D. & Pease, A., 28 Mar 2019, In : CEUR Workshop Proceedings. 2340, p. 1-4 4 p.Research output: Contribution to journal › Conference article
Open Access
File
1
Citation
(Scopus)
124
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
Open Access
File
conversation
mathematics
Simplicity
occurrences
Term
Integrating argumentation with social conversation between multiple virtual coaches
Kantharaju, R. B., Pease, A., Reidsma, D., Pelachaud, C., Snaith, M., Bruijnes, M., Klaassen, R., Beinema, T., Huizing, G., Simonetti, D., Heylen, D. & Den Akker, H. O., 1 Jul 2019, IVA 2019 - Proceedings of the 19th ACM International Conference on Intelligent Virtual Agents. Association for Computing Machinery, p. 203-205 3 p. (IVA 2019 - Proceedings of the 19th ACM International Conference on Intelligent Virtual Agents).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
File
Opportunities for Computational Creativity in a Therapeutic Context
Cheatley, L., Moncur, W. & Pease, A., 2019, Proceedings of the 10th International Conference on Computational Creativity. Grace, K., Cook, M., Ventura, D. & Maher, M. L. (eds.). Association for Computational Creativity, p. 341-345 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
File