Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation

Alison Pease (Lead / Corresponding author), John Lawrence, Katarzyna Budzynska, Joseph Corneli, Chris Reed

Computing

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

19 Citations (Scopus)

440 Downloads (Pure)

2 results

Filter

Finished
Example-Driven Machine-Human Collaboration in Mathematics
Pease, A.
Engineering and Physical Sciences Research Council
1/06/17 → 31/05/19
Project: Research
Argument Mining
Reed, C.
Engineering and Physical Sciences Research Council
1/01/16 → 31/12/19
Project: Research