| 1 |
The Language Resource Switchboard
|
|
|
|
In: Computational Linguistics, Vol 44, Iss 4, Pp 631-639 (2018) (2018)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Using dialogue to learn math in the LeActiveMath project
|
|
|
|
In: http://www.activemath.org/pubs/callaway.pdf (2006)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Using dialogue to learn math in the LeActiveMath project
|
|
|
|
In: http://homepages.inf.ed.ac.uk/ccallawa/papers/ecai2006.pdf (2006)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Generating Tutorial Feedback with Affect
|
|
|
|
In: http://www.iccs.informatics.ed.ac.uk/~jmoore/papers/FlairsFinalUS.pdf (2004)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Supporting constructive learning with a feedback planner. AAAI fall symposium on building dialogue systems for tutorial applications
|
|
|
|
In: https://www.aaai.org/Papers/Symposia/Fall/2000/FS-00-01/FS00-01-001.pdf (2000)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Supporting Constructive Learning with a Feedback Planner
|
|
|
|
In: http://www.cogsci.ed.ac.uk/~zinn/./Publications/aaai-fs00.ps.gz (2000)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Towards the Mechanical Verification of Textbook Proofs
|
|
|
|
In: http://sites.google.com/site/clauszinn/verifying-informal-proofs/wollic-final.pdf?attredirects=0 (2000)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Supporting constructive learning with a feedback planner
|
|
|
|
In: http://people.ict.usc.edu/~traum/cs599f05/core00supporting.pdf (2000)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Structuring Textbook Proofs
|
|
|
|
In: http://faui8l.informatik.uni-erlangen.de/IMMD8/staff/Zinn/./WIP/acl99.ps.gz (1999)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
A DRT-based approach for formula parsing in textbook proofs
|
|
|
|
In: http://www8.informatik.uni-erlangen.de/IMMD8/staff/Zinn/./WIP/iwcs.ps.gz (1999)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Understanding Mathematical Discourse
|
|
|
|
In: http://www8.informatik.uni-erlangen.de/IMMD8/staff/Zinn/./WIP/amstelogue-fullproc.ps.gz (1999)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Parsing formulae in textbook proofs
|
|
|
|
In: http://sites.google.com/site/clauszinn/verifying-informal-proofs/iwcs-rev.pdf?attredirects=0 (1999)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Understanding Mathematical Discourse
|
|
|
|
In: http://sites.google.com/site/clauszinn/verifying-informal-proofs/fullproc.pdf?attredirects=0 (1999)
|
|
Abstract:
Discourse Understanding is hard. This seems to be especially true for mathematical discourse, that is proofs. Restricting discourse to mathematical discourse allow us, however, to study the subject matter in its purest form. This domain of discourse is rich and welldefined, highly structured, offers a well-defined set of discourse relations and forces/allows us to apply mathematical reasoning. We give a brief discussion on selected linguistic phenomena of mathematical discourse, and an analysis from the mathematician’s point of view. Requirements for a theory of discourse representation are given, followed by a discussion of proofs plans that provide necessary context and structure. A large part of semantics construction is defined in terms of proof plan recognition and instantiation by matching and attaching.
|
|
URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.189.2096
http://sites.google.com/site/clauszinn/verifying-informal-proofs/fullproc.pdf?attredirects=0
|
|
BASE
|
|
Hide details
|
|
|
| 14 |
Checking Textbook Proofs
|
|
|
|
In: http://www8.informatik.uni-erlangen.de/IMMD8/staff/Zinn/./WIP/epia99.ps.gz (1998)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Getting to Know your Student in Distance Learning Contexts
|
|
|
|
In: http://www.activemath.org/pubs/studentTracking.pdf
|
|
BASE
|
|
Show details
|
|
|
| 16 |
*University of Edinburgh
|
|
|
|
In: http://www.aaai.org/Papers/FLAIRS/2004/Flairs04-156.pdf
|
|
BASE
|
|
Show details
|
|
|
| 17 |
An Evolving eScience Environment for Research Data in Linguistics
|
|
|
|
In: http://www.lrec-conf.org/proceedings/lrec2010/pdf/36_Paper.pdf
|
|
BASE
|
|
Show details
|
|
|
| 18 |
A Metadata Editor to Support the Description of Linguistic Resources
|
|
|
|
In: http://www.lrec-conf.org/proceedings/lrec2012/pdf/468_Paper.pdf
|
|
BASE
|
|
Show details
|
|
|
| 19 |
On the Relationship Between Structure and Reference in Mathematical Discourse
|
|
|
|
In: http://www8.informatik.uni-erlangen.de/IMMD8/staff/Zinn/./WIP/acl-ws99.ps.gz
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Checking Textbook Proofs
|
|
|
|
In: http://faui8l.informatik.uni-erlangen.de/IMMD8/staff/Zinn/./WIP/ijcai99.ps.gz
|
|
BASE
|
|
Show details
|
|
|
|
|
