• Refine your search:
  • 
    Keyword:
    
    • Proof Understanding (2)
    • discourse analysis (2)
    • discourse representation theory (2)
    • proof planning (2)
    • text understanding (2)
    • Component Metadata Infrastructure (CMDI (1)
    • Computational linguistics. Natural language processing (1)
    • Discourse Representation (1)
    • Discourse Representation Theory (1)
    • P98-98.5 (1)
    •   more
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2018 (1)
    • 2006 (2)
    • 2004 (1)
    • 2000 (4)
    • 1999 (5)
    • 1998 (1)
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 Hits 1 – 20 of 23 1 The Language Resource Switchboard Claus Zinn 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 Charles Callaway; Myroslava Dzikovska; Colin Matheson... In: http://www.activemath.org/pubs/callaway.pdf (2006) BASE Show details 3 Using dialogue to learn math in the LeActiveMath project Charles Callaway; Myroslava Dzikovska; Colin Matheson... In: http://homepages.inf.ed.ac.uk/ccallawa/papers/ecai2006.pdf (2006) BASE Show details 4 Generating Tutorial Feedback with Affect Johanna D. Moore; Kaska Porayska-pomsta; Sebastian Varges... 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 Mark G. Core; Johanna D. Moore; Claus Zinn 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 Mark G. Core; Johanna D. Moore; Claus Zinn 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 Claus Zinn 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 Mark G. Core; Johanna D. Moore; Claus Zinn In: http://people.ict.usc.edu/~traum/cs599f05/core00supporting.pdf (2000) BASE Show details 9 Structuring Textbook Proofs Claus Zinn 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 Claus Zinn In: http://www8.informatik.uni-erlangen.de/IMMD8/staff/Zinn/./WIP/iwcs.ps.gz (1999) BASE Show details 11 Understanding Mathematical Discourse Claus Zinn 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 Claus Zinn In: http://sites.google.com/site/clauszinn/verifying-informal-proofs/iwcs-rev.pdf?attredirects=0 (1999) BASE Show details 13 Understanding Mathematical Discourse Claus Zinn In: http://sites.google.com/site/clauszinn/verifying-informal-proofs/fullproc.pdf?attredirects=0 (1999) BASE Show details 14 Checking Textbook Proofs Claus Zinn 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 Claus Zinn; Oliver Scheuer In: http://www.activemath.org/pubs/studentTracking.pdf BASE Show details 16 *University of Edinburgh Johanna D. Moore; Kaska Porayska-pomsta; Sebastian Varges... In: http://www.aaai.org/Papers/FLAIRS/2004/Flairs04-156.pdf BASE Show details 17 An Evolving eScience Environment for Research Data in Linguistics Claus Zinn; Peter Wittenburg; Jacquelijn Ringersma 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 Emanuel Dima; Erhard Hinrichs; Claus Zinn 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 Claus Zinn In: http://www8.informatik.uni-erlangen.de/IMMD8/staff/Zinn/./WIP/acl-ws99.ps.gz BASE Show details 20 Checking Textbook Proofs Claus Zinn In: http://faui8l.informatik.uni-erlangen.de/IMMD8/staff/Zinn/./WIP/ijcai99.ps.gz BASE Show details Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 23 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0