1.  2
    Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation.Alison Pease, John Lawrence, Katarzyna Budzynska, Joseph Corneli & Chris Reed - 2017 - Artificial Intelligence 246 (C):181-219.
  2.  21
    Argumentation Theory for Mathematical Argument.Joseph Corneli, Ursula Martin, Dave Murray-Rust, Gabriela Rino Nesin & Alison Pease - 2019 - Argumentation 33 (2):173-214.
    To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences drawn about these objects and relationships as the discourse unfolds. We introduce a framework with these properties, which has been used to analyse mathematical dialogues and expository texts. The framework can recover salient elements of discourse at, and within, the sentence level, as well as the way mathematical content connects to form larger argumentative structures. (...)
    No categories
    Direct download (2 more)  
    Export citation  
    Bookmark   2 citations  
  3. Modelling serendipity in a computational context.Joseph Corneli, Alison Pease, Simon Colton, Anna Jordanous & Christian Guckelsberger - unknown
    No categories
    Export citation