Computing Presuppositions and Implicatures in Mathematical Discourse

by Claus Zinn
Citations:1 - 1 self

Active Bibliography

1 Towards the Mechanical Verification of Textbook Proofs – Claus Zinn
An Intelligent Tutoring System for Induction Proofs – Alan Bundy, Johanna Moore, Claus Zinn
20 Understanding Informal Mathematical Discourse – Claus Werner Zinn - 2004
7 Understanding Mathematical Discourse – Claus Zinn, Universität Erlangen-nürnberg - 1999
13 Communicative intentions and conversational processes in human-human and human-computer dialogue – Matthew Stone - 2003
Checking Textbook Proofs – Claus Zinn - 1998
9 Presuppositions in Context: Constructing Bridges – Paul Piwek, Emiel Krahmer - 1997
Presuppositions in Context: Constructing Bridges – Book Chapter, How To Cite, Paul Piwek, Emiel Krahmer
Implicatures and hierarchies of presumptions – FABRIZIO MACAGNO - 2011
3 Segmented Discourse Representation Theory: Dynamic Semantics with Discourse Structure – Alex Lascarides, Nicholas Asher - 2001
Quotative Reference in Reportive comme Clauses – Laurent Roussarie, Marianne Desmets
4 Accommodation – David Beaver, Henk Zeevat - 2004
21 Context in dynamic interpretation – Craige Roberts - 2004
51 The semantics and pragmatics of presupposition – Nicholas Asher, Alex Lascarides - 1998
9 Imperatives in Dialogue – Alex Lascarides, Nicholas Asher - 2001
1 Presuppositions as Anaphors: towards a Full Understanding of Partial Matches – Emiel Krahmer, Kees Van Deemter - 1997
80 Representing Discourse in Context – Jan van Eijck, Hans Kamp - 1996
2 Knowledge Representation for Language Engineering – Matthew Stone
PRESUPPOSITION PROJECTION as PROOF CONSTRUCTION – Book Chapter, Emiel Krahmer, Paul Piwek