Citation Context
Cited by in this index (0)
No articles in this index cite this work.
Cites in this index (2)
-
Argumentation
-
Argumentation
Also cites 47 works outside 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 ↗
-
Budzynska, K. 2013. Circularity in ethotic structures. Synthese 190(15): 3185–3207.Synthese ↗
-
Budzynska, K., M. Janier, C. Reed, and P. Saint-Dizier. 2016. Theoretical foundations for illocutionary struc…Argument & Computation ↗
-
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…
-
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 ↗
-
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 ↗
-
Harris, R., and C. D. Marco. 2017. Argument & Computation 8(3) [Special Issue on Rhetorical figures, argument…
-
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 ↗
-
Inglis, M., J.P. Mejia-Ramos, and A. Simpson. 2007. Modelling mathematical argumentation: the importance of q…Educational Studies in Mathematics ↗
-
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…
-
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. 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 ↗
-
Larvor, B. 2012. How to think about informal proofs. Synthese 187(2): 715–730.Synthese ↗
-
Lawrence, J., J. Visser, and C. Reed. 2017. Harnessing rhetorical figures for argument mining. Argument & Com…Argument & Computation ↗
-
Automated deduction—CADE-25
-
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…
-
Pease, A., A. Smaill, S. Colton, and J. Lee. 2009. Bridging the gap between argumentation theory and the phil…Foundations of Science ↗
-
Pedemonte, B. 2007. How can the relationship between argumentation and proof be analysed? Educational Studies…Educational Studies in Mathematics ↗
-
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) ↗
-
Sowa, J. F. 2008. Conceptual graphs. In Handbook of knowledge representation, ed. van Harmelen F, Lifschitz V…
-
Tanswell, F. 2015. A problem with the dependence of informal proofs on formal proofs. Philosophia Mathematica…Philosophia Mathematica ↗
-
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 ↗
-
Argumentation schemes
-
Tropics of discourse: essays in cultural criticism
-
Zack, V., and B. Graves. 2001. Making mathematical meaning through dialogue: “once you think of it, the Z min…Educational Studies in Mathematics ↗