{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:47Z","timestamp":1725562607519},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222187"},{"type":"electronic","value":"9783540259459"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25945-9_9","type":"book-chapter","created":{"date-parts":[[2010,8,4]],"date-time":"2010-08-04T07:44:04Z","timestamp":1280907844000},"page":"86-95","source":"Crossref","is-referenced-by-count":2,"title":["A Proposal of Diagnosis for an ITS for Computational Logic"],"prefix":"10.1007","author":[{"given":"Jose A.","family":"Maestro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mar\u00eda Ar\u00e1nzazu","family":"Sim\u00f3n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"L\u00f3pez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alejandra","family":"Mart\u00ednez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos J.","family":"Alonso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Sim\u00f3n, A., Mart\u00ednez, A., L\u00f3pez, M., Maestro, J., Marqu\u00e9s, J., Alonso, C.: Learning Computational Logic with an Intelligent Tutoring System: SIAL. In: First International Congress on Tools for Teaching Logic, pp. 161\u2013168. U. of Salamanca (2000)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1007\/3-540-45108-0_82","volume-title":"Intelligent Tutoring Systems","author":"A. Mart\u00ednez","year":"2000","unstructured":"Mart\u00ednez, A., Sim\u00f3n, M., Maestro, J., L\u00f3pez, M., Alonso, C.: Student Modelling and Interface Design in SIAL. In: Gauthier, G., VanLehn, K., Frasson, C. (eds.) ITS 2000. LNCS, vol.\u00a01839, p. 659. Springer, Heidelberg (2000)"},{"key":"9_CR3","volume-title":"Symbolic logic and mechanical theorem proving","author":"C.L. Chang","year":"1987","unstructured":"Chang, C.L., Lee, R.C.T.: Symbolic logic and mechanical theorem proving. Academic Press, London (1987)"},{"key":"9_CR4","first-page":"79","volume-title":"Computers and Education in the 21st Century","author":"L. Aranda","year":"2000","unstructured":"Aranda, L., Torres, S., Trella, M., Conejo, R.: BabelWin: An environment for learning and monitoring reading and writing skills. In: Computers and Education in the 21st Century, pp. 79\u201392. Kluwer Academic Pub., The Netherlands (2000)"},{"key":"9_CR5","volume-title":"Mind in society: The development of higher psychological processes","author":"L. Vygotsky","year":"1978","unstructured":"Vygotsky, L.: Mind in society: The development of higher psychological processes. Harvard University Press, Cambridge (1978)"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1080\/1049482920020202","volume":"2","author":"P. Dillenbourg","year":"1992","unstructured":"Dillenbourg, P., Self, J.: A framework for learner modelling. Interactive Learning Environments\u00a02, 111\u2013137 (1992)","journal-title":"Interactive Learning Environments"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1007\/3-540-45108-0_76","volume-title":"Intelligent Tutoring Systems","author":"B. Ferrero","year":"2000","unstructured":"Ferrero, B., Fernandez-Castro, I., Urretavizcaya, M.: Multiple Paradigms for a Generic Diagnostic Proposal. In: Gauthier, G., VanLehn, K., Frasson, C. (eds.) ITS 2000. LNCS, vol.\u00a01839, p. 653. Springer, Heidelberg (2000)"},{"key":"9_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0535-0","volume-title":"Computer-based diagnostic systems","author":"C. Price","year":"1999","unstructured":"Price, C.: Computer-based diagnostic systems. Springer, Heidelberg (1999)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/3-540-45108-0_42","volume-title":"Intelligent Tutoring Systems","author":"B. Martin","year":"2000","unstructured":"Martin, B., Mitrovic, A.: Tailong Feedback by Correcting Students Answers. In: Gauthier, G., VanLehn, K., Frasson, C. (eds.) ITS 2000. LNCS, vol.\u00a01839, pp. 383\u2013392. Springer, Heidelberg (2000)"},{"key":"9_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4073.001.0001","volume-title":"Knowledge Engineering and Management, The CommonKADS Methodology","author":"G. Schreiber","year":"1999","unstructured":"Schreiber, G., Akkermans, H., Anjewierden, A., de Hoog, R., Shadbolt, N., Van de Velde, W., Wielinga, B.: Knowledge Engineering and Management, The CommonKADS Methodology. The MIT Press, Cambridge (1999)"}],"container-title":["Lecture Notes in Computer Science","Current Topics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25945-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T16:56:52Z","timestamp":1558285012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25945-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222187","9783540259459"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25945-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}