{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:25:18Z","timestamp":1725495918903},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647706"},{"type":"electronic","value":"9783540687160"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-68716-5_30","type":"book-chapter","created":{"date-parts":[[2007,11,22]],"date-time":"2007-11-22T13:39:03Z","timestamp":1195738743000},"page":"244-253","source":"Crossref","is-referenced-by-count":3,"title":["Diagrammatic Reasoning for Geometry ITS to Teach Auxiliary Line Construction Problems"],"prefix":"10.1007","author":[{"given":"Noboru","family":"Matsuda","sequence":"first","affiliation":[]},{"given":"Toshio","family":"Okamoto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,28]]},"reference":[{"key":"30_CR1","unstructured":"J. R. Anderson, C. F. Boyle, and G. Yost. The geometry tutor. In Proceedings of the 9th IJCAI, pages 1\u20137, 1985. 244, 244"},{"key":"30_CR2","unstructured":"L. M. Baker and K. Dunbar. Constraints on the experimental design process in real-world science. In Proc. of Cognitive Science Society, pages 154\u2013159. Lawrence Erlbaum Associates, 1996. 246"},{"key":"30_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1007\/3-540-61327-7_143","volume-title":"Proc. of ITS96","author":"P. Bernat","year":"1996","unstructured":"P. Bernat and J. Morinet-Lambert. A new way for visual reasoning in geometry education. In Proc. of ITS96, pages 448\u2013456. Springer Verlag, 1996. Lecture Notes in Computer Science No.1086. 244"},{"key":"30_CR4","unstructured":"C. Desmoulins. On relationship between semantics and explanation in an ITS for teaching geometry. In Proc. of Artificial Intelligence in Education, pages 129\u2013136, 1993. 244"},{"key":"30_CR5","unstructured":"H. Gelernter. Realization of a geometry-theorem proving machine. In E. A. Feigenbaum and J. Feldman, editors, Computers and Thought, pages 134\u2013152. McGraw-Hill Book Company, 1963. 244, 249"},{"key":"30_CR6","series-title":"Advances in Instructional Psychology","volume-title":"A Study of Problem Solving","author":"J. G. Greeno","year":"1978","unstructured":"J. G. Greeno. A Study of Problem Solving, volume 1 of R. Glaser (Ed.), Advances in Instructional Psychology. Erlbaum, Hillsdale, N.J, 1978. 247"},{"issue":"6","key":"30_CR7","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3758\/BF03198261","volume":"7","author":"J. G. Greeno","year":"1979","unstructured":"J. G. Greeno and M. E. Magone. Theory of constructions and set in problem solving. Memory & Cognition, 7(6):445\u2013461, 1979. 244","journal-title":"Memory & Cognition"},{"key":"30_CR8","unstructured":"K. R. Koedinger. Emergent properties and structural constraints: Advantages of diagrammatic representations for reasoning. In Working Notes of AAAI Stanford Spring Symposium on Diagrammatic Reasoning, pages 151\u2013156, 1992. 244"},{"key":"30_CR9","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1016\/0364-0213(90)90008-K","volume":"14","author":"K. R. Koedinger","year":"1990","unstructured":"K. R. Koedinger and J. R. Anderson. Abstract planning and perceptual chunks: Elements of experties in geometry. Cognitive Science, 14:511\u2013550, 1990. 244, 246","journal-title":"Cognitive Science"},{"key":"30_CR10","unstructured":"K. R. Koedinger and J. R. Anderson. Reifying implicit planning in geometry: Guidelines for model-based intelligent tutoring system design. In S. Lajoie and S. Derry, editors, Computers as Cognitive Tools. Erlbaum, 1993. 244"},{"key":"30_CR11","unstructured":"A. W. Kushniruk, V. L. Patel, and D. M. Fleiszer. Complex dicision making in providing surgical intensive care. In Proc. of Cognitive Science Society, pages 287\u2013292. Lawrence Erlbaum Associates, 1995. 246"},{"key":"30_CR12","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0364-0213(87)80026-5","volume":"11","author":"J. H. Larkin","year":"1987","unstructured":"J. H. Larkin and H. A. Simon. Why a diagram is (sometimes) worth ten thousand words. Cognitive Science, 11:65\u201399, 1987. 244","journal-title":"Cognitive Science"},{"key":"30_CR13","unstructured":"T. McDougal and K. Hammond. A recognition model of geometry theorem-proving. In Proc. of Cognitive Science Society, pages 106\u2013111. Lawrence Erlbaum Associates, 1992. 244"},{"key":"30_CR14","unstructured":"N. H. Narayanan and B. Chandrasekaran. Reasoning visually about spatial interactions. In Proc. of IJCAI, pages 360\u2013365, 1991. 244"},{"key":"30_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(75)90013-2","volume":"6","author":"A. J. Nevins","year":"1975","unstructured":"A. J. Nevins. Plane geometry theorem proving using forward chaining. Artificial Intelligence, 6:1\u201323, 1975. 244, 246","journal-title":"Artificial Intelligence"},{"key":"30_CR16","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/S1042-8143(89)80008-1","volume":"1","author":"M. Suwa","year":"1989","unstructured":"M. Suwa and H. Motoda. Acquisition of associative knowledge by the frustration-based learning method in an auxiliary-line problem. Knowledge Aquisition, 1:113\u2013137, 1989. 244","journal-title":"Knowledge Aquisition"},{"key":"30_CR17","unstructured":"University Joseph Fourier of Grenoble and the CNRS. CABRI Geometry. \n                    http:\/\/www-cabri.imag.fr\/index-e.html\n                    \n                  . 244, 244"},{"key":"30_CR18","unstructured":"R. Wong. Construction heuristics for geometry and a vector algebra representation of geometry. Technical report, Project MAC, MIT, 1972. 244"},{"issue":"2","key":"30_CR19","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0364-0213(99)80022-6","volume":"21","author":"J. Zhang","year":"1996","unstructured":"J. Zhang. The nature of external representation in problem solving. Cognitive Science, 21(2):179\u2013217, 1996. 244","journal-title":"Cognitive Science"}],"container-title":["Lecture Notes in Computer Science","Intelligent Tutoring Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-68716-5_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T20:09:33Z","timestamp":1551125373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-68716-5_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647706","9783540687160"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-68716-5_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}