{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T11:10:02Z","timestamp":1749726602216,"version":"3.41.0"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[1999,7]]},"DOI":"10.1023\/a:1008388812468","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T14:41:38Z","timestamp":1040568098000},"page":"363-384","source":"Crossref","is-referenced-by-count":3,"title":["Unnatural Language Processing"],"prefix":"10.1007","volume":"8","author":[{"given":"J.","family":"Oberlander","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Monaghan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Cox","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Stenning","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Tobin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"205627_CR1","volume-title":"Hyperproof","author":"J. Barwise","year":"1994","unstructured":"Barwise, J. and Etchemendy, J., 1994, Hyperproof, Stanford, CA: CSLI Publications."},{"key":"205627_CR2","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1145\/65943.65948","volume":"7","author":"F.R. Campagnoni","year":"1989","unstructured":"Campagnoni, F.R. and Ehrlich, K., 1989, \u201cInformation retreival using a hypertext-based help system,\u201d ACM Transactions on Information Systems\n7, 271\u2013291.","journal-title":"ACM Transactions on Information Systems"},{"key":"205627_CR3","first-page":"237","volume-title":"Proceedings of the 16th Annual Meeting of the Cognitive Science Society, Atlanta, GA, August","author":"R. Cox","year":"1994","unstructured":"Cox, R., Stenning, K., and Oberlander, J., 1994, \u201cGraphical effects in learning logic: Reasoning, representation and individual differences,\u201d pp. 237\u2013242 in Proceedings of the 16th Annual Meeting of the Cognitive Science Society, Atlanta, GA, August, A. Ram and K. Eisett, eds., Hillsdale, NJ: Lawrence Erlbaum Associates."},{"key":"205627_CR4","first-page":"239","volume-title":"Cognitive Process Instruction","author":"A.A. di Sessa","year":"1979","unstructured":"di Sessa, A.A., 1979, \u201cOn 'learnable' representations of knowledge: A meaning for the computational metaphor,\u201d pp. 239\u2013288 in Cognitive Process Instruction, J. Lochhead and J. Clement, eds., Philadelphia, PA: The Franklin Institute Press."},{"key":"205627_CR5","first-page":"61","volume":"19","author":"T. Dunning","year":"1993","unstructured":"Dunning, T., 1993, \u201cAccurate methods for the statistics of surprise and coincidence,\u201d Computational Linguistics\n19, 61\u201374.","journal-title":"Computational Linguistics"},{"key":"205627_CR6","series-title":"ETS Research Report","volume-title":"Construct validity of the GRE analytical test: A resource document","author":"R. Duran","year":"1987","unstructured":"Duran, R., Powers, D., and Swinton, S., 1987, \u201cConstruct validity of the GRE analytical test: A resource document,\u201d ETS Research Report 87-11, Princeton, NJ: Educational Testing Service."},{"key":"205627_CR7","volume-title":"A Primer of Multivariate Statistics","author":"R.J. Harris","year":"1975","unstructured":"Harris, R.J., 1975, A Primer of Multivariate Statistics, London: Academic Press."},{"key":"205627_CR8","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1037\/0022-0663.86.3.389","volume":"86","author":"R.E. Mayer","year":"1994","unstructured":"Mayer, R.E. and Sims, V.K., 1994, \u201cFor whom is a picture worth a thousand words? Extensions of a dual-coding theory of multimedia learning,\u201d Journal of Educational Psychology\n86, 389\u2013401.","journal-title":"Journal of Educational Psychology"},{"key":"205627_CR9","unstructured":"Monaghan, P., 1995, \u201cA corpus-based analysis of individual differences in proof-style,\u201d M.Sc. Thesis, Centre for Cognitive Science, University of Edinburgh."},{"key":"205627_CR10","first-page":"403","volume-title":"Language, Logic and Computation: Volume 1","author":"J. Oberlander","year":"1996","unstructured":"Oberlander, J., Cox, R., and Stenning, K., 1996, \u201cProof styles in multimodal reasoning,\u201d pp. 403\u2013414 in Language, Logic and Computation: Volume 1, J. Seligman and D. Westerst\u00e5hl, eds., Stanford, CA: CSLI Publications."},{"key":"205627_CR11","first-page":"201","volume-title":"Proceedings of the 18th Annual Meeting of the Cognitive Science Society, La Jolla, CA, July","author":"J. Oberlander","year":"1996","unstructured":"Oberlander, J., Cox, R., Mongahan, P., Stenning, K., and Tobin, R., 1996, \u201cIndividual differences in proof structures following multimodal logic teaching,\u201d pp. 201\u2013206 in Proceedings of the 18th Annual Meeting of the Cognitive Science Society, La Jolla, CA, July, G.W. Cottrell, ed., Hillsdale, NJ: Lawrence Erlbaum Associates."},{"key":"205627_CR12","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1080\/1049482930030302","volume":"3","author":"B. Schwarz","year":"1993","unstructured":"Schwarz, B. and Dreyfus, T., 1993, \u201cMeasuring integration of information in multirepresentational software,\u201d Interactive Learning Environments\n3, 177\u2013198.","journal-title":"Interactive Learning Environments"},{"key":"205627_CR13","first-page":"1","volume-title":"Aptitude, Learning, and Instruction, Volume 3: Conative and Affective Process Analysis","author":"R.E. Snow","year":"1987","unstructured":"Snow, R.E., 1987, \u201cAptitude complexes,\u201d pp. 1\u20139 in Aptitude, Learning, and Instruction, Volume 3: Conative and Affective Process Analysis, R.E. Snow and M.J. Farr, eds., Hillsdale, NJ: Lawrence Erlbaum Associates."},{"key":"205627_CR14","first-page":"607","volume-title":"Situation Theory and Its Applications","author":"K. Stenning","year":"1991","unstructured":"Stenning, K. and Oberlander, J., 1991, \u201cReasoning with words, pictures and calculi: Computation versus justification,\u201d pp. 607\u2013621 in Situation Theory and Its Applications, Volume 2, J. Barwise, J.M. Gawron, G. Plotkin, and S. Tutiya, eds., Chicago, IL: Chicago University Press."},{"key":"205627_CR15","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1207\/s15516709cog1901_3","volume":"19","author":"K. Stenning","year":"1995","unstructured":"Stenning, K. and Oberlander, J., 1995, \u201cA cognitive theory of graphical and linguistic reasoning: Logic and implementation,\u201d Cognitive Science\n19, 97\u2013140.","journal-title":"Cognitive Science"},{"key":"205627_CR16","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1080\/01690969508407099","volume":"10","author":"K. Stenning","year":"1995","unstructured":"Stenning, K., Cox, R., and Oberlander, J., 1995, \u201cContrasting the cognitive effects of graphical and sentential logic teaching: Reasoning, representation and individual differences,\u201d Language and Cognitive Processes\n10, 333\u2013354.","journal-title":"Language and Cognitive Processes"},{"key":"205627_CR17","first-page":"114","volume-title":"Thinking: Readings in Cognitive Science","author":"P.C. Wason","year":"1977","unstructured":"Wason, P.C., 1977, \u201cSelf-contradictions,\u201d pp. 114\u2013128 in Thinking: Readings in Cognitive Science, P.N. Johnson-Laird and P.C. Wason, eds., Cambridge: Cambridge University Press."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008388812468.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008388812468\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008388812468.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:30:27Z","timestamp":1749724227000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008388812468"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,7]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,7]]}},"alternative-id":["205627"],"URL":"https:\/\/doi.org\/10.1023\/a:1008388812468","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[1999,7]]}}}