• 126 Citations
  • 7 h-Index
20012018
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.

Reasoning Mathematics
Automated Reasoning Mathematics
Discrete mathematics Mathematics
Event-B Mathematics
Formal Modeling Mathematics
Cognitive Models Mathematics
Domain Knowledge Mathematics
Formal Model Mathematics

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

Research Output 2001 2018

Measuring persuasiveness in behaviour change support systems

De Franco, D., Pease, A. & Snaith, M. 1 Jan 2018 In : CEUR Workshop Proceedings. 2102, p. 41-47 7 p.

Research output: Contribution to journalConference article

3 Citations
Open Access
File
argumentation
mathematics
dialogue
Social aspects
Theorem proving

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 proceedingConference contribution

Open Access
File
Semantics
1 Citations

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 journalArticle

Open Access
File
Ecosystem
World Wide Web
Argumentation
Argumentation Theory
Research Groups

Theory blending: extended algorithmic aspects and examples

Martinez, M., Abdel-Fattah, A. M. H., Krumnack, U., Gómez-Ramírez, D., Smaill, A., Besold, T. R., Pease, A., Schmidt, M., Guhe, M. & Kühnberger, K. U. May 2017 In : Annals of Mathematics and Artificial Intelligence. 80, 1, p. 65-89 25 p.

Research output: Contribution to journalArticle

Open Access
File
Cognitive Science
Patents and inventions
Modeling
Logic
Distinct