Student translations of natural language into logic: The grade grinder corpus release 1.0

EDM 2011 - Proceedings of the 4th International Conference on Educational Data Mining

Volumn , Issue , 2011, Pages 51-60

  Barker Plummer, Dave ^a   Cox, Richard ^b   Dale, Robert ^c  

^a STANFORD UNIVERSITY   (United States)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

^c MACQUARIE UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EDUCATIONAL DATA MINING; ERROR PATTERNS; FIRST ORDER LOGIC; LINGUISTIC FEATURES; NATURAL LANGUAGES; ON-LINE ASSESSMENT; TEACHING PRACTICES;

CURRICULA; DATA MINING; GRINDING MILLS;

STUDENTS;

EID: 84857473074     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. Barker-Plummer, D., Cox, R., and Dale, R. 2009. Dimensions of difficulty in translating natural language into first order logic. In Second International Conference on Educational Data Mining. Cordoba Spain.
2. Barker-Plummer, D., Cox, R., and Dale, R. 2011. Student translations of natural language into logic: The Grade Grinder corpus release 1.0. Technical Report OP-TR-01. Available from openproof.stanford.edu.
3. Barker-Plummer, D., Cox, R., Dale, R., and Etchemendy, J. 2008. An empirical study of errors in translating natural language into logic. In Proceedings of the 30th Annual Cognitive Science Society Conference, V. Sloutsky, B. Love, and K. McRae, Eds. Lawrence Erlbaum Associates.
4. Barker-Plummer, D., Dale, R., and Cox, R. 2011. Impedance effects of visual and spatial content upon language-to-logic translation accuracy. In Proceedings of the 32nd Annual Cognitive Science Society Conference, C. Hoelscher, T. F. Shipley, and L. Carlson, Eds. Lawrence Erlbaum Associates.
5. Barwise, J., Etchemendy, J., Allwein, G., Barker-Plummer, D., and Liu, A. 1999. Language, Proof and Logic. CSLI Publications and University of Chicago Press.
6. Corbett, A. T. and Anderson, J. R. 1989. Feedback timing and student control in the lisp intelligent tutoring system. In Proceedings of the Fourth International Conference on Artificial Intelligence and Education, D. Bierman, J. Brueker, and J. Sandberg, Eds. IOS Press Amsterdam Netherlands.
7. Cox, R., Dale, R., Etchemendy, J., and Barker-Plummer, D. 2008. Graphical revelations: Comparing students' translation errors in graphics and logic. In Proceedings of the Fifth International Conference on the Theory and Application of Diagrams, G. Stapleton, J. Howse, and J. Lee, Eds. Lecture Notes in Computer Science LNAI 5223, Berlin: Springer Verlag.
8. Koedinger, K., Baker, R., Cunningham, K., Skogsholm, A., Leber, B., and Stamper, J. 2010. A data repository for the EDM community: The PSLC datashop. In Handbook of Educational Data Mining, C. Romero, S. Ventura, M. Pechenizky, and R. Baker, Eds. CRC Press Boca Raton Florida.