|
|
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
|
|
14
|
Understanding Informal Mathematical Discourse
– Claus Werner Zinn
- 2004
|
|
98
|
The Rhetorical Parsing, Summarization, and Generation of Natural Language Texts
– Daniel Marcu
- 1997
|
|
78
|
Informational Redundancy and Resource Bounds in Dialogue
– Marilyn A. Walker
- 1993
|
|
2
|
Learning the Structure of Task-Oriented Conversations from the Corpus of In-Domain Dialogs
– Ananlada Chotimongkol, W. Cohen, Carolyn Penstein Rosé
|
|
|
Learning the Structure of Task-Oriented Conversations from the Corpus of In-Domain Dialogs
– Ananlada Chotimongkol
- 2008
|
|
|
An Intelligent Tutoring System for Induction Proofs
– Alan Bundy, Johanna Moore, Claus Zinn
|
|
|
Modeling Narrative Discourse
– David K. Elson, David K. Elson
- 2012
|
|
4
|
Plan Recognition: Achievements, Problems, and Prospects
– Sandra Carberry
- 1996
|
|
62
|
Modeling The User's Plans And Goals
– Sandra Carberry
- 1988
|
|
17
|
Foundations of Assisted Cognition Systems
– Henry Kautz, Oren Etzioni, Dieter Fox, Dan Weld
- 2003
|
|
5
|
Managing Communicative Intentions in Dialogue Using a Collaborative Problem-Solving Model
– Nate Blaylock
- 2002
|
|
|
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
|
