Pease, Alison http://orcid.org/0000-0003-1856-9599
Lawrence, John
Budzynska, Katarzyna
Corneli, Joseph
Reed, Chris
Funding for this research was provided by:
Polish National Science Centre (2011/03/B/HS1/04559)
EPSRC (EP/G060347/1, EP/N014871/1, EP/K037293/1)
European Commission (611553)
This article is maintained by: Elsevier
Article Title: Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
Journal Title: Artificial Intelligence
CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.artint.2017.02.006
Content Type: article
Copyright: © 2017 The Authors. Published by Elsevier B.V.