Understanding Mathematical Discourse (1999)

by Claus Zinn
Venue:DIALOGUE. AMSTERDAM UNIVERSITY
Citations:7 - 6 self

Active Bibliography

Checking Textbook Proofs – Claus Zinn - 1998
On the Relationship Between Structure and Reference in Mathematical Discourse – Claus Zinn
1 Towards the Mechanical Verification of Textbook Proofs – Claus Zinn
Structuring Textbook Proofs – Claus Zinn - 1999
3 Verifying Textbook Proofs – Claus Zinn - 1998
1 Computing Presuppositions and Implicatures in Mathematical Discourse – Claus Zinn
20 Understanding Informal Mathematical Discourse – Claus Werner Zinn - 2004
108 The Rhetorical Parsing, Summarization, and Generation of Natural Language Texts – Daniel Marcu - 1997
82 Informational Redundancy and Resource Bounds in Dialogue – Marilyn A. Walker - 1993
Learning the Structure of Task-Oriented Conversations from the Corpus of In-Domain Dialogs – Ananlada Chotimongkol - 2008
3 Learning the Structure of Task-Oriented Conversations from the Corpus of In-Domain Dialogs – Ananlada Chotimongkol - 2008
Anaphora and Discourse Structure Bonnie Webber – Aravind Joshi, Matthew Stone, Alistair Knott - 2002
An Intelligent Tutoring System for Induction Proofs – Alan Bundy, Johanna Moore, Claus Zinn
2 Modeling Narrative Discourse – David K. Elson, David K. Elson - 2012
Multiple Discourse Connectives in a Lexicalized Grammar for Discourse – Bonnie Lynn, Bonnie Lynn Webber, Alistair Knott, Aravind K. Joshi - 1999
Modelling Contractual Arguments – Chris Reed, Aspassia Daskalopulu - 1998
4 Plan Recognition: Achievements, Problems, and Prospects – Sandra Carberry - 1996
6 Managing Communicative Intentions in Dialogue Using a Collaborative Problem-Solving Model – Nate Blaylock - 2002
22 Foundations of Assisted Cognition Systems – Henry Kautz, Oren Etzioni, Dieter Fox, Dan Weld - 2003