Citation Context
Cited by in this index (0)
No articles in this index cite this work.
References (96) · 2 in this index
-
The argument of mathematics
-
Aliseda, A. 2003. Mathematical reasoning versus abductive reasoning: a structural approach. Synthese 134(1–2)…Synthese ↗
-
Barany, M. 2010. ‘[B]ut this is blog maths and we’re free to make up conventions as we go along’: Polymath1 a…
-
Botting, D. 2015. Inferences and illocutions. Argument & Computation 6(3): 246–264.Argument & Computation ↗
-
Bringsjord, S., J. Taylor, A. Shilliday, M. Clark, K. Arkoudas, M. Schoelles, M. Destefano, and J. Wodicka. 2…
Show all 96 →
-
Budzynska, K. 2013. Circularity in ethotic structures. Synthese 190(15): 3185–3207.Synthese ↗
-
Budzynska, K., and C. Reed. 2011. Speech acts of argumentation: inference anchors and peripheral cues in dial…
-
Budzynska, K., M. Janier, C. Reed, and P. Saint-Dizier. 2013. Towards extraction of dialogical arguments. In …
-
Budzynska, K., M. Janier, J. Kang, C. Reed, P. Saint-Dizier, M. Stede, and O. Yaskorska. 2014a. Towards argum…
-
Budzynska, K., M. Janier, C. Reed, P. Saint-Dizier, M. Stede, and O. Yaskorska. 2014b. A model for processing…
-
Budzynska, K., M. Janier, J. Kang, B. Konat, C. Reed, P. Saint-Dizier, M. Stede, and O. Yaskorska. 2015. Auto…
-
Budzynska, K., M. Janier, C. Reed, and P. Saint-Dizier. 2016. Theoretical foundations for illocutionary struc…Argument & Computation ↗
-
Bundy, A. 1988. The use of explicit plans to guide inductive proofs. In Lusk E, Overbeek R (eds) 9th Internat…
-
Bundy, A. 2013. The interaction of representation and reasoning. Proceedings of the Royal Society of London A…
-
Argumentation
-
Chandrasekhar, et al. 2010. Group cannot be the union of conjugates. http://mathoverflow.net/q/34044 .
-
Corneli, J., U. Martin, D. Murray-Rust, and A. Pease. 2017a. Towards mathematical AI via a model of the conte…
-
Corneli, J., U. Martin, D. Murray-Rust, A. Pease, R. Puzio, and G. Rino Nesin. 2017b. Modelling the way mathe…
-
Corneli, J., A. Pease, and D. Stefanou. 2018. Social aspects of concept invention. In Concept invention: foun…
-
Cramer, M. 2013. Proof-checking mathematical texts in controlled natural language. Ph.D. thesis, Mathematisch…
-
Dauphin, J., and M. Cramer. 2018. ASPIC-END: structured argumentation with explanations and natural deduction…
-
Dove, I.J. 2009. Towards a theory of mathematical argument. Foundations of Science 14(1–2): 137–152.Foundations of Science ↗
-
The argument of mathematics
-
Dutilh Novaes, C. 2016. Reductio ad absurdum from a dialogical perspective. Philosophical Studies 173(10): 26…Philosophical Studies ↗
-
Epstein, S.L. 2015. Wanted: collaborative intelligence. Artificial Intelligence 221: 36–45.Artificial Intelligence ↗
-
Rhetorical figures in science
-
Fahnestock, J. 2004. Figures of argument (OSSA 2005 Keynote Address). Informal Logic 24(2).
-
Fiedler, A., and H. Horacek. 2007. Argumentation within deductive reasoning. International Journal of Intelli…International Journal of Intelligent Systems ↗
-
Furse, E. 1990. Why did AM run out of steam? Tech. rep., CS-90-4, Department of Computer Studies, University …
-
Ganesalingam, M. 2013. The language of mathematics: a linguistic and philosophical investigation, LNCS, vol 7…
-
Ganesalingam, M., and W. Gowers. 2017. A fully automatic theorem prover with human-style output. Journal of A…Journal of Automated Reasoning ↗
-
On the shape of mathematical argumentsLecture Notes in Computer Science ↗
-
Ginev, D. 2011. The structure of mathematical expressions. Master’s thesis. Bremen, Germany: Jacobs University.
-
Gowers, W. 2017. How do human mathematicians avoid big searches? https://www.newton.ac.uk/seminar/20170728133…
-
Gowers, W., and M. Ganesalingam. 2012. Modelling the mathematical discovery process. Maxwell Institute Lectur…
-
Groth, P., and L. Moreau. 2013. PROV-overview. An overview of the PROV family of documents. In World Wide Web…
-
Advances in semantic authoring and publishing, Studies on the Semantic Web
-
Harris, R., and C. D. Marco. 2017. Argument & Computation 8(3) [Special Issue on Rhetorical figures, argument…
-
Hayes, P. 2006. IKL guide. http://www.ihmc.us/users/phayes/IKL/GUIDE/GUIDE.html .
-
Hendrix, GG. 1975. Partitioned networks for the mathematical modeling of natural language semantics. Ph.D. th…
-
Associative networks: representation and use of knowledge by computers
-
Hersh, R. 1991. Mathematics has a front and a back. Synthese 88(2): 127–133.Synthese ↗
-
Iancu, M. 2017. Towards flexiformal mathematics. Ph.D. thesis, Jacobs University, Bremen, DE.
-
Inglis, M., J.P. Mejia-Ramos, and A. Simpson. 2007. Modelling mathematical argumentation: the importance of q…Educational Studies in Mathematics ↗
-
Argumentation
-
Kamp, H., and U. Reyle. 1993. From discourse to logic introduction to modeltheoretic semantics of natural lan…
-
Karttunen, L. 1976. Discourse referents. In Syntax and semantics, vol 7, ed. J.D. McCawley. Notes from the Li…
-
Content analysis: an introduction to its methodology
-
Kohlhase, M. 2012. The flexiformalist manifesto. In Voronkov A, Negru V, Ida T, Jebelean T, Petcu D, Watt S, …
-
Kohlhase, M., T. Koprucki, D. Müller, and K. Tabelow. 2017. Mathematical models as research data via flexifor…
-
Proofs and refutations: the logic of mathematical discovery
-
Lamport, L. 1995. How to write a proof. The American Mathematical Monthly 102(7): 600–608.The American Mathematical Monthly ↗
-
Lamport, L. 1999. Specifying concurrent systems with TLA $$^{+}$$ + . NATO Science Series, III: Computer and …NATO Science Series, III: Computer and Systems Sciences
-
Lamport, L. 2012. How to write a 21st century proof. Journal of Fixed Point Theory and Applications 11(1): 43–63.Journal of Fixed Point Theory and Applications ↗
-
Lamport, L. 2014. TLA $$^{+2}$$ + 2 : a preliminary guide. http://lamport.azurewebsites.net/tla/tla2-guide.pdf .
-
Lamport, L. 2015. The TLA $$^{+}$$ + hyperbook. http://lamport.azurewebsites.net/tla/hyperbook.html .
-
Larvor, B. 2012. How to think about informal proofs. Synthese 187(2): 715–730.Synthese ↗
-
Lawrence, J., F. Bex, C. Reed, and M. Snaith. 2012. AIFdb: infrastructure for the argument web. In Verheij B,…
-
Lawrence, J., J. Visser, and C. Reed. 2017. Harnessing rhetorical figures for argument mining. Argument & Com…Argument & Computation ↗
-
Maghraby, A., D. Robertson, A. Grando, and M. Rovatsos. 2012. Automated deployment of argumentation protocols…
-
Automated deduction—CADE-25
-
Martin, U., and A. Pease. 2013. What does mathoverflow tell us about the production of mathematics? In Novak …
-
Mercier, H., and D. Sperber. 2011. Why do humans reason? Arguments for an argumentative theory. Behavioral an…Behavioral and Brain Sciences ↗
-
Mitrović, J., C. OReilly, M. Mladenović, and S. Handschuh. 2017. Ontological representations of rhetorical fi…Argument & Computation ↗
-
Modgil, S., and J. McGinnis. 2007. Towards characterising argumentation based dialogue in the argument interc…
-
Moens, M. F. 2018. Argumentation mining: How can a machine acquire common sense and world knowledge? Argument…
-
National Research Council. 2014. Developing a 21st century global library for mathematics research. National …
-
Nielsen, M. et al. 2009–2018. Polymath wiki. http://michaelnielsen.org/polymath1/index.php?title=Main_Page .
-
Pease, A., and U. Martin. 2012. Seventy four minutes of mathematics: an analysis of the third Mini-Polymath p…
-
Pease, A., A. Smaill, S. Colton, and J. Lee. 2009. Bridging the gap between argumentation theory and the phil…Foundations of Science ↗
-
Pease, A., J. Lawrence, K. Budzynska, J. Corneli, and C. Reed. 2017. Lakatos-style collaborative mathematics …
-
Pedemonte, B. 2007. How can the relationship between argumentation and proof be analysed? Educational Studies…Educational Studies in Mathematics ↗
-
Reed, C., and K. Budzynska. 2010. How dialogues create arguments. In van Eemeren F, Garssen B, Godden D and M…
-
Reed, C., K. Budzynska, R. Duthie, M. Janier, B. Konat, J. Lawrence, A. Pease, and M. Snaith. 2017. The argum…Philosophy & Technology ↗
-
Robertson, D. 2012. Lightweight coordination calculus for agent systems: retrospective and prospective. Sprin…
-
Robinson, J.A. 1965. A machine-oriented logic based on the resolution principle. Journal of the ACM (JACM) 12…Journal of the ACM (JACM) ↗
-
Saint-Dizier, P. 2016. Argument mining: the bottleneck of knowledge and language resources. In Calzolari N, C…
-
Snaith, M., and C. Reed. 2012. TOAST: online ASPIC+ implementation. In Verheij B, Szeider S, and Woltran S (e…
-
Snaith, M., and C. Reed. 2016. Dialogue grammar induction. In Mohammed D and Lewinski M (eds) Argumentation a…
-
Snaith, M., J. Devereux, J. Lawrence, and C. Reed. 2010. Pipelining argumentation technologies. In Baroni P, …
-
Sowa, J. F. 2000. Knowledge representation: logical, philosophical, and computational foundations. MIT Press
-
Sowa, J. F. 2008. Conceptual graphs. In Handbook of knowledge representation, ed. van Harmelen F, Lifschitz V…
-
Sowa, J. F., and A. K. Majumdar. 2003. Analogical reasoning. In Aldo A, Lex W, and Ganter B (eds) Conceptual …
-
Tanswell, F. 2015. A problem with the dependence of informal proofs on formal proofs. Philosophia Mathematica…Philosophia Mathematica ↗
-
Tao, T., et al. 2009. IMO 2009 Q6 as a mini-polymath project. https://wp.me/p3qzP-Ef .
-
Tao, T., et al. 2011. Minipolymath3 project: 2011 IMO. https://wp.me/pAG2F-41 .
-
Trzeciak, J. 2012. Mathematical English usage. A dictionary. http://www.emis.de/monographs/Trzeciak/biglist.html .
-
van der Sandt, R.A. 1992. Presupposition projection as Anaphora resolution. Journal of Semantics 9(4): 333–37…Journal of Semantics ↗
-
van Oers, B. 2002. Fruits of polyphony: a commentary on a multiperspective analysis of mathematical discourse…Journal of the Learning Sciences ↗
-
Visser, J., F. Bex, C. Reed, and B. Garssen. 2011. Correspondence between the pragma-dialectical discussion m…Studies in Logic, Grammar and Rhetoric
-
Argumentation schemes
-
A handbook of mathematical discourse
-
Tropics of discourse: essays in cultural criticism
-
Wolska, M. A. 2015. Students’ language in computer-assisted tutoring of mathematical proofs. No. 40 in Saarbr…
-
Zack, V., and B. Graves. 2001. Making mathematical meaning through dialogue: “once you think of it, the Z min…Educational Studies in Mathematics ↗
-
Zinn, C. 2004. Understanding informal mathematical discourse. Ph.D. thesis, Institut fur Informatik, Universi…