{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:30:47Z","timestamp":1742380247347},"reference-count":22,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,1,22]],"date-time":"2014-01-22T00:00:00Z","timestamp":1390348800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2015,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper explores the contributions of Answer Set Programming (ASP) to the study of an established theory from the field of Second Language Acquisition:<jats:italic>Input Processing<\/jats:italic>. The theory describes default strategies that learners of a second language use in extracting meaning out of a text based on their knowledge of the second language and their background knowledge about the world. We formalized this theory in ASP, and as a result we were able to determine opportunities for refining its natural language description, as well as directions for future theory development. We applied our model to automating the prediction of how learners of English would interpret sentences containing the passive voice. We present a system,<jats:italic>PIas<\/jats:italic>, that uses these predictions to assist language instructors in designing teaching materials.<\/jats:p>","DOI":"10.1017\/s1471068413000653","type":"journal-article","created":{"date-parts":[[2014,1,22]],"date-time":"2014-01-22T15:10:40Z","timestamp":1390403440000},"page":"1-17","source":"Crossref","is-referenced-by-count":3,"title":["An application of answer set programming to the field of second language acquisition"],"prefix":"10.1017","volume":"15","author":[{"given":"DANIELA","family":"INCLEZAN","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,1,22]]},"reference":[{"key":"S1471068413000653_ref15","doi-asserted-by":"publisher","DOI":"10.1177\/1362168807084494"},{"key":"S1471068413000653_ref8","first-page":"422","volume-title":"Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR-08)","author":"Drescher","year":"2008"},{"key":"S1471068413000653_ref7","doi-asserted-by":"crossref","first-page":"177","DOI":"10.5334\/pb.933","article-title":"Simulating cross-language competition with the bilingual interactive activation model","volume":"38","author":"Dijkstra","year":"1998","journal-title":"Psychologica Belgica"},{"key":"S1471068413000653_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"S1471068413000653_ref6","first-page":"600","article-title":"The architecture of the bilingual word recognition system: From identification to decision","volume":"33","author":"Dijkstra","year":"2002","journal-title":"Bilingualism: Language and Cognition"},{"key":"S1471068413000653_ref17","doi-asserted-by":"publisher","DOI":"10.1111\/j.1944-9720.1993.tb01179.x"},{"key":"S1471068413000653_ref22","doi-asserted-by":"publisher","DOI":"10.1111\/j.1944-9720.2009.01033.x"},{"key":"S1471068413000653_ref18","doi-asserted-by":"publisher","DOI":"10.1111\/1467-9922.00203"},{"key":"S1471068413000653_ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90025-6"},{"key":"S1471068413000653_ref1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001807"},{"key":"S1471068413000653_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20832-4_24"},{"key":"S1471068413000653_ref14","unstructured":"Niemel\u00e4 I. 1998. Logic programs with stable model semantics as a constraint programming paradigm. In Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning, 72\u201379."},{"key":"S1471068413000653_ref10","first-page":"193","article-title":"Action languages","volume":"3","author":"Gelfond","year":"1998","journal-title":"Electronic Transactions on AI"},{"key":"S1471068413000653_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"S1471068413000653_ref21","doi-asserted-by":"publisher","DOI":"10.1017\/S0272263100011979"},{"key":"S1471068413000653_ref11","first-page":"8","volume-title":"Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR-12)","author":"Inclezan","year":"2012"},{"key":"S1471068413000653_ref16","first-page":"57","article-title":"Learners' comprehension of clitic pronouns: More evidence for a word order strategy","volume":"1","author":"VanPatten","year":"1984","journal-title":"Hispanic Linguistics"},{"key":"S1471068413000653_ref2","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068410000384"},{"key":"S1471068413000653_ref12","volume-title":"Making Communicative Language Teaching Happen","author":"Lee","year":"2003"},{"key":"S1471068413000653_ref20","first-page":"5","volume-title":"Input Processing in Second Language Acquisition","author":"VanPatten","year":"2004"},{"key":"S1471068413000653_ref5","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068408003645"},{"key":"S1471068413000653_ref19","volume-title":"From Input to Output: A Teacher's Guide to Second Language Acquisition","author":"VanPatten","year":"2003"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068413000653","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,24]],"date-time":"2022-03-24T07:59:22Z","timestamp":1648108762000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068413000653\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,22]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,1]]}},"alternative-id":["S1471068413000653"],"URL":"https:\/\/doi.org\/10.1017\/s1471068413000653","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1,22]]}}}