{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:34:26Z","timestamp":1740548066073,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540229483"},{"type":"electronic","value":"9783540301394"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30139-4_18","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T02:21:25Z","timestamp":1284862885000},"page":"187-196","source":"Crossref","is-referenced-by-count":2,"title":["Role-Based Specification of the Behaviour of an Agent for the Interactive Resolution of Mathematical Problems"],"prefix":"10.1007","author":[{"given":"Miguel A.","family":"Mora","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Moriy\u00f3n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Saiz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Beeson, M.: Mathpert, a computerized learning environment for Algebra, Trigonometry and Calculus. Journal of Artificial Intelligence in Education, 65\u201376 (1990)"},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"802","DOI":"10.1007\/3-540-47987-2_80","volume-title":"Intelligent Tutoring Systems","author":"J. B\u00fcdenbender","year":"2002","unstructured":"B\u00fcdenbender, J., Frischauf, A., Goguadze, G., Melis, E., Libbrecht, P., Ullrich, C.: Using Computer Algebra Systems as Cognitive Tools. In: Cerri, S.A., Gouard\u00e9res, G., Paragua\u00e7u, F. (eds.) ITS 2002. LNCS, vol.\u00a02363, p. 802. Springer, Heidelberg (2002) ISBN 3-540-43750-9"},{"issue":"2","key":"18_CR3","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0747-7171(86)80021-9","volume":"2","author":"B.W. Char","year":"1986","unstructured":"Char, B.W., Fee, G.J., Geddes, K.O., Gonnet, G.H., Monagan, M.B.: A tutorial introduction to MAPLE. Journal of Symbolic Computation\u00a02(2), 179\u2013200 (1986)","journal-title":"Journal of Symbolic Computation"},{"key":"18_CR4","volume-title":"Watch what I do. Programming by Demonstration","author":"A. Cypher","year":"1993","unstructured":"Cypher, A.: Watch what I do. Programming by Demonstration. MIT Press, Cambridge (1993)"},{"issue":"1","key":"18_CR5","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/MCISE.2004.1255826","volume":"6","author":"F. Diez","year":"2004","unstructured":"Diez, F., Moriyon, R.: Solving Mathematical Exercises that Involve Symbolic Computations. Computing in Science and Engineering\u00a06(1), 81\u201384 (2004)","journal-title":"Computing in Science and Engineering"},{"key":"18_CR6","unstructured":"Koedinger, K.R., Anderson, J.R., Hadley, W.H., Mark, M.A.: Intelligent tutoring goes to school in the big city. Int. Journal of Artificial Intelligence in Education\u00a08 (1997)"},{"key":"18_CR7","unstructured":"Mora, M., Moriy\u00f3n, A., Saiz, R.,, F.: Mathematics Problem-based Learning through Spreadsheet-like Documents. In: Proc. International Conference on the Teaching of Mathematics, Crete, Greece (2002), http:\/\/www.math.uoc.gr\/~ictm2\/"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Mora, M., Moriy\u00f3n, A., Saiz, R.,, F.: Building Mathematics Learning Applications by Means of ConsMath. In: Proceedings of IEEE Frontiers in Education Conference, Boulder, CO, pp. F3F1\u2013F3F6 (November 2003)","DOI":"10.1109\/FIE.2003.1264744"},{"issue":"3\/4","key":"18_CR9","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1504\/IJCEELL.2003.003275","volume":"13","author":"M.A. Mora","year":"2003","unstructured":"Mora, M.A., Moriy\u00f3n, R., Saiz, F.: Developing applications with a framework for the analysis of the learning process and collaborative tutoring. International Journal Cont. Engineering Education and Lifelong Learning\u00a013(3\/4), 268\u2013279 (2003)","journal-title":"International Journal Cont. Engineering Education and Lifelong Learning"},{"key":"18_CR10","volume-title":"Differential equations: with applications and historical notes","author":"G.F. Simmons","year":"1981","unstructured":"Simmons, G.F.: Differential equations: with applications and historical notes. McGraw-Hill, New York (1981)"},{"key":"18_CR11","unstructured":"Sorgatz, A., Hillebrand, R.: MuPAD. Linux Magazin (12\/95) (1995)"},{"key":"18_CR12","volume-title":"The Mathematica Book","author":"S. Wolfram","year":"1999","unstructured":"Wolfram, S.: The Mathematica Book, 4th edn. Cambridge University Press, Cambridge (1999)","edition":"4"}],"container-title":["Lecture Notes in Computer Science","Intelligent Tutoring Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30139-4_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T22:40:08Z","timestamp":1740523208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30139-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229483","9783540301394"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30139-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}