Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues

This publication has 28 references indexed in Scilit:

• The interaction of representation and reasoning
  Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2013
• From Argument Diagrams to Argumentation Mining in Texts
  International Journal of Cognitive Informatics and Natural Intelligence, 2013
• Letters
  2011
• Parsing and Disambiguation of Symbolic Mathematics in the Naproche System
  Lecture Notes in Computer Science, 2011
• Argument from Analogy in Law, the Classical Tradition, and Recent Theories
  Philosophy & Rhetoric, 2009
• The Informal Logic Of Mathematical Proof
  2007
• Analogical Reasoning
  2003
• How can logic best be applied to arguments?
  Logic Journal of the IGPL, 1997
• Intelligent Machinery, A Heretical Theory*
  Philosophia Mathematica, 1996
• A mechanically proof-checked encyclopedia of mathematics: Should we build one? Can we?
  1994