• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (10)
    • subject to license (0)

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 Hits 1 – 10 of 10 1 Student translations of natural language into logic: The Grade Grinder corpus release 1.0. Technical Report OP-TR-01. Available from openproof.stanford.edu Dave Barker-plummer; Richard Cox; Robert Dale In: http://www.comp.mq.edu.au/%7Erdale/publications/papers/2011/EDMCorpus2011.pdf (2011) BASE Show details 2 Graphical revelations: Comparing students’ translation errors in graphics and logic Richard Cox; Robert Dale; John Etchemendy... In: http://www.comp.mq.edu.au/%7Erdale/publications/papers/2008/article_61.pdf (2008) BASE Show details 3 Unnatural Language Discourse: An Empirical Study of Multimodal Proof Styles Jon Oberlander; Padraic Monaghan; Richard Cox... In: ftp://ftp.cogsci.ed.ac.uk/pub/graphics/jolli98MS.ps (1998) BASE Show details 4 Individual Differences in Proof Structures Following Multimodal Logic Teaching Jon Oberlander; Richard Cox; Padraic Monaghan... In: ftp://ftp.cogsci.ed.ac.uk/pub/graphics/cogsci96b.ps (1996) BASE Show details 5 Proofs as Discourse: An Empirical Study Jon Oberlander; Richard Cox; Keith Stenning In: ftp://ftp.cogsci.ed.ac.uk/pub/graphics/stanford95.ps (1995) BASE Show details 6 The Impact of Syntax on the Interpretation and Graphical Depiction of Underspecified Propositions Aaron Kalb; Dave Barker-plummer; Deonne Castaneda... In: http://www.ics.mq.edu.au/%7Erdale/publications/papers/2010/PaperRC130510.pdf BASE Show details 7 Using Edit Distance to Analyse Errors in a Natural Language to Logic Translation Corpus Dave Barker-plummer; Robert Dale; Richard Cox In: http://www.comp.mq.edu.au/%7Erdale/publications/papers/2012/EDM12.pdf BASE Show details 8 Individual differences in proof structures following multimodal logic teaching Jon Oberl; Richard Cox; Padraic Monaghan... In: http://prolearn.dcs.warwick.ac.uk/sesame2mot/papers/oberlander96individual.pdf BASE Show details 9 The Mental Organisation of External Representations Richard Cox; Beate Grawemeyer In: http://www.cogs.susx.ac.uk/users/beateg/Cox%26Grawemeyer_CR.pdf BASE Show details 10 Student Translations of Natural Language into Logic: The Grade Grinder Corpus Release 1.0 Dave Barker-plummer; Richard Cox; Robert Dale In: http://educationaldatamining.org/EDM2011/wp-content/uploads/proc/edm2011_paper28_full_Barker-Plummer.pdf BASE Show details

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 10 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0