{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T08:23:40Z","timestamp":1777710220080,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642143625","type":"print"},{"value":"9783642143632","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-14363-2_4","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T14:13:53Z","timestamp":1284992033000},"page":"63-80","source":"Crossref","is-referenced-by-count":19,"title":["Modeling Domains and Students with Constraint-Based Modeling"],"prefix":"10.1007","author":[{"given":"Antonija","family":"Mitrovic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0004-3702(90)90093-F","volume":"42","author":"J.R. Anderson","year":"1990","unstructured":"Anderson, J.R., Boyle, C.F., Corbett, A.T., Lewis, M.W.: Cognitive Modeling and Intelligent Tutoring. Artificial Intelligence\u00a042, 7\u201349 (1990)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"4_CR2","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1207\/s15327809jls0402_2","volume":"4","author":"J.R. Anderson","year":"1995","unstructured":"Anderson, J.R., Corbett, A.T., Koedinger, K.R., Pelletier, R.: Cognitive Tutors: Lessons Learned. Learning Sciences\u00a04(2), 167\u2013207 (1995)","journal-title":"Learning Sciences"},{"issue":"2","key":"4_CR3","first-page":"113","volume":"4","author":"N. Baghaei","year":"2006","unstructured":"Baghaei, N., Mitrovic, A., Irvin, W.: Problem-Solving Support in a Constraint-based Intelligent Tutoring System for UML. Technology, Instruction, Cognition and Learning\u00a04(2), 113\u2013137 (2006)","journal-title":"Technology, Instruction, Cognition and Learning"},{"issue":"2-3","key":"4_CR4","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s11412-007-9018-0","volume":"2","author":"N. Baghaei","year":"2007","unstructured":"Baghaei, N., Mitrovic, A., Irwin, W.: Supporting collaborative learning and problem-solving in a constraint-based CSCL environment for UML class diagrams. Computer-Supported Collaborative Learning\u00a02(2-3), 159\u2013190 (2007)","journal-title":"Computer-Supported Collaborative Learning"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-540-69132-7_29","volume-title":"Intelligent Tutoring Systems","author":"D. Barrow","year":"2008","unstructured":"Barrow, D., Mitrovic, A., Ohlsson, S., Grimley, M.: Assessing the Impact of Positive Feedback in Constraint-based ITSs. In: Woolf, B., et al. (eds.) ITS 2008. LNCS, vol.\u00a05091, pp. 250\u2013259. Springer, Heidelberg (2008)"},{"key":"4_CR6","unstructured":"Chi, M.T.H.: Self-explaining Expository Texts: The dual processes of generating inferences and repairing mental models. Advances in Instructional Psychology, 161\u2013238 (2000)"},{"key":"4_CR7","unstructured":"Galvez, J., Guzman, E., Conejo, R., Millan, E.: Student Knowledge Diagnosis using Item Response Theory and Constraint-based Modeling. In: Dimitrova, V., Mizoguchi, R., du Boulay, B., Graesser, A. (eds.) Proc. 14th Int. Conf. Artificial Intelligence in Education, pp. 291\u2013298 (2009)"},{"key":"4_CR8","first-page":"30","volume":"8","author":"K.R. Koedinger","year":"1997","unstructured":"Koedinger, K.R., Anderson, J.R., Hadley, W.H., Mark, M.A.: Intelligent Tutoring Goes to the Big City. Artificial Intelligence in Education\u00a08, 30\u201343 (1997)","journal-title":"Artificial Intelligence in Education"},{"key":"4_CR9","unstructured":"Le, N.-T., Menzel, W., Pinkwart, N.: Evaluation of a Constraint-Based Homework Assistance System for Logic Programming. In: Kong, S.C., Ogata, H., Arnseth, H.C., Chan, C.K.K., Hirashima, T., Klett, F., Lee, J.H.M., Liu, C.C., Looi, C.K., Milrad, M., Mitrovic, A., Nakabayashi, K., Wong, S.L., Yang, S.J.H. (eds.) Proc. 17th Int. Conf. Computers in Education, APSCE (2009)"},{"key":"4_CR10","volume-title":"Proc. 11th Int. Conference on Artificial Intelligence in Education AIED","author":"B. Martin","year":"2003","unstructured":"Martin, B., Mitrovic, A.: Domain Modeling: Art or Science? In: Hoppe, U., Verdejo, F., Kay, J. (eds.) Proc. 11th Int. Conference on Artificial Intelligence in Education AIED. IOS Press, Amsterdam (2003)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/11768012_21","volume-title":"Adaptive Hypermedia and Adaptive Web-Based Systems","author":"B. Martin","year":"2006","unstructured":"Martin, B., Mitrovi\u0107, A.: The Effect of Adapting Feedback Generality in ITSs. In: Wade, V., Ashman, H., Smyth, B. (eds.) AH 2006. LNCS, vol.\u00a04018, pp. 192\u2013202. Springer, Heidelberg (2006)"},{"key":"4_CR12","unstructured":"Martin, B., Kirkbride, T., Mitrovic, A., Holland, J., Zakharov, K.: An Intelligent Tutoring System for Medical Imaging. In: Bastiaens, T., Dron, J., Xin, C. (eds.) Proc. World Conf. E-Learning in Corporate, Government, Healthcare, and Higher Education. AACE, Vancouver, CA (2009)"},{"key":"4_CR13","unstructured":"Mathews, M., Mitrovic, A.: Investigating the Effectiveness of Problem Templates on Learning in ITSs. In: Luckin, R., Koedinger, K., Greer, J. (eds.) Proc. Artificial Intelligence in Education, pp. 611\u2013613 (2007)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1007\/3-540-45108-0_56","volume-title":"Intelligent Tutoring Systems","author":"M. Mayo","year":"2000","unstructured":"Mayo, M., Mitrovic, A.: Using a Probabilistic Student Model to Control Problem Difficulty. In: Gauthier, G., VanLehn, K., Frasson, C. (eds.) ITS 2000. LNCS, vol.\u00a01839, p. 524. Springer, Heidelberg (2000)"},{"issue":"2","key":"4_CR15","first-page":"124","volume":"12","author":"M. Mayo","year":"2001","unstructured":"Mayo, M., Mitrovic, A.: Optimising ITS Behaviour with Bayesian Networks and Decision Theory. Artificial Intelligence in Education\u00a012(2), 124\u2013153 (2001)","journal-title":"Artificial Intelligence in Education"},{"issue":"1","key":"4_CR16","first-page":"29","volume":"16","author":"W. Menzel","year":"2006","unstructured":"Menzel, W.: Constraint-based Modeling and Ambiguity. Artificial Intelligence in Education\u00a016(1), 29\u201363 (2006)","journal-title":"Artificial Intelligence in Education"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1007\/11774303_75","volume-title":"Intelligent Tutoring Systems","author":"N. Milik","year":"2006","unstructured":"Milik, N., Marshall, M., Mitrovi\u0107, A.: Teaching Logical Database Design in ERM-Tutor M. In: Ikeda, M., Ashley, K., Chan, T.-W. (eds.) ITS 2006. LNCS, vol.\u00a04053, pp. 707\u2013709. Springer, Heidelberg (2006)"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Mitrovic, A.: Learning SQL with a Computerized Tutor. In: 29th ACM SIGCSE Technical Symposium, pp. 307\u2013311 (1998a)","DOI":"10.1145\/274790.274318"},{"key":"4_CR19","unstructured":"Mitrovic, A.: A Knowledge-Based Teaching System for SQL. In: Ottmann, T., Tomek, I. (eds.) Proc. ED-MEDIA 1998, AACE, pp. 1027\u20131032 (1998b)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/3-540-68716-5_47","volume-title":"Intelligent Tutoring Systems","author":"A. Mitrovic","year":"1998","unstructured":"Mitrovic, A.: Experiences in Implementing Constraint-Based Modeling in SQL-Tutor. In: Goettl, B., Halff, H., Redfield, C., Shute, V. (eds.) ITS 1998. LNCS, vol.\u00a01452, pp. 414\u2013423. Springer, Heidelberg (1998c)"},{"issue":"2","key":"4_CR21","first-page":"173","volume":"13","author":"A. Mitrovic","year":"2003","unstructured":"Mitrovic, A.: An Intelligent SQL Tutor on the Web. Artificial Intelligence in Education\u00a013(2), 173\u2013197 (2003)","journal-title":"Artificial Intelligence in Education"},{"key":"4_CR22","unstructured":"Mitrovic, A.: The Effect of Explaining on Learning: a Case Study with a Data Normalization Tutor. In: Looi, C.-K., McCalla, G., Bredeweg, B., Breuker, J. (eds.) Proc. Conf. Artificial Intelligence in Education, pp. 499\u2013506 (2005)"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-540-27780-4_22","volume-title":"Adaptive Hypermedia and Adaptive Web-Based Systems","author":"A. Mitrovi\u0107","year":"2004","unstructured":"Mitrovi\u0107, A., Martin, B.: Evaluating Adaptive Problem Selection. In: De Bra, P., Nejdl, W. (eds.) AH 2004. LNCS, vol.\u00a03137, pp. 185\u2013194. Springer, Heidelberg (2004)"},{"issue":"2","key":"4_CR24","first-page":"121","volume":"17","author":"A. Mitrovic","year":"2007","unstructured":"Mitrovic, A., Martin, B.: Evaluating the Effect of Open Student Models on Self-Assessment. Artificial Intelligence in Education\u00a017(2), 121\u2013144 (2007)","journal-title":"Artificial Intelligence in Education"},{"key":"4_CR25","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/3-540-44963-9_42","volume-title":"User Modeling 2003","author":"A. Mitrovic","year":"2003","unstructured":"Mitrovic, A., Koedinger, K., Martin, B.: A Comparative Analysis of Cognitive Tutoring and Constraint-based Modeling. In: Brusilovsky, P., Corbett, A., de Rosis, F. (eds.) UM 2003. LNCS (LNAI), vol.\u00a02702, pp. 313\u2013322. Springer, Heidelberg (2003)"},{"issue":"4","key":"4_CR26","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MIS.2007.74","volume":"22","author":"A. Mitrovic","year":"2007","unstructured":"Mitrovic, A., Martin, B., Suraweera, P.: Intelligent Tutors for all: Constraint-based Modeling Methodology, Systems and Authoring. IEEE Intelligent Systems\u00a022(4), 38\u201345 (2007)","journal-title":"IEEE Intelligent Systems"},{"issue":"2","key":"4_CR27","first-page":"155","volume":"19","author":"A. Mitrovic","year":"2009","unstructured":"Mitrovic, A., Martin, B., Suraweera, P., Zakharov, K., Milik, N., Holland, J., McGuigan, N.: ASPIRE: an Authoring System and Deployment Environment for Constraint-based Tutors. Artificial Intelligence in Education\u00a019(2), 155\u2013188 (2009)","journal-title":"Artificial Intelligence in Education"},{"key":"4_CR28","unstructured":"Mitrovic, A., McGuigan, N., Martin, B., Suraweera, P., Milik, N., Holland, J.: Authoring Constraint-based Systems in ASPIRE: A Case Study of a Capital Investment Tutor. In: Proc. ED-MEDIA 2008, pp. 4607\u20134616 (2008)"},{"issue":"3-4","key":"4_CR29","first-page":"238","volume":"10","author":"A. Mitrovic","year":"1999","unstructured":"Mitrovic, A., Ohlsson, S.: Evaluation of a Constraint-Based Tutor for a Database Language. Artificial Intelligence in Education\u00a010(3-4), 238\u2013256 (1999)","journal-title":"Artificial Intelligence in Education"},{"issue":"4","key":"4_CR30","first-page":"409","volume":"15","author":"A. Mitrovic","year":"2004","unstructured":"Mitrovic, A., Suraweera, P., Martin, B., Weerasinghe, A.: DB-suite: Experiences with Three Intelligent, Web-based Database Tutors. Journal of Interactive Learning Research\u00a015(4), 409\u2013432 (2004)","journal-title":"Journal of Interactive Learning Research"},{"key":"4_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/11774303_5","volume-title":"Intelligent Tutoring Systems","author":"A. Mitrovic","year":"2006","unstructured":"Mitrovic, A., Suraweera, P., Martin, B., Zakharov, K., Milik, N., Holland, J.: Authoring Constraint-based Tutors in ASPIRE. In: Ikeda, M., Ashley, K., Chan, T.-W. (eds.) ITS 2006. LNCS, vol.\u00a04053, pp. 41\u201350. Springer, Heidelberg (2006)"},{"key":"4_CR32","unstructured":"Mitrovic, A., Weerasinghe, A.: Revisiting the Ill-Definedness and Consequences for ITSs. In: Dimitrova, V., Mizoguchi, R., du Boulay, B., Graesser, A. (eds.) Proc. 14th Int. Conf. Artificial Intelligence in Education (2009)"},{"key":"4_CR33","unstructured":"Oh, Y., Gross, M.D., Ishizaki, S., Do, Y.-L.: Constraint-based Design Critic for Flat-pack Furniture Design. In: Kong, S.C., Ogata, H., Arnseth, H.C., Chan, C.K.K., Hirashima, T., Klett, F., Lee, J.H.M., Liu, C.C., Looi, C.K., Milrad, M., Mitrovic, A., Nakabayashi, K., Wong, S.L., Yang, S.J.H. (eds.) Proc. 17th Int. Conf. Computers in Education, APSCE (2009)"},{"issue":"4","key":"4_CR34","first-page":"429","volume":"3","author":"S. Ohlsson","year":"1992","unstructured":"Ohlsson, S.: Constraint-based Student Modeling. Artificial Intelligence in Education\u00a03(4), 429\u2013447 (1992)","journal-title":"Artificial Intelligence in Education"},{"key":"4_CR35","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1037\/0033-295X.103.2.241","volume":"103","author":"S. Ohlsson","year":"1996","unstructured":"Ohlsson, S.: Learning from performance errors. Psychological Review\u00a0103, 241\u2013262 (1996)","journal-title":"Psychological Review"},{"key":"4_CR36","unstructured":"Ohlsson, S., Bee, N.: Strategy Variability: A Challenge to Models of Procedural Learning. In: Birnbaum, L. (ed.) Proc. Int. Conf. of the Learning Sciences, AACE, pp. 351\u2013356 (1991)"},{"issue":"2","key":"4_CR37","first-page":"101","volume":"5","author":"S. Ohlsson","year":"2007","unstructured":"Ohlsson, S., Mitrovic, A.: Fidelity and Efficiency of Knowledge representations for intelligent tutoring systems. Technology, Instruction, Cognition and Learning\u00a05(2), 101\u2013132 (2007)","journal-title":"Technology, Instruction, Cognition and Learning"},{"key":"4_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"775","DOI":"10.1007\/11774303_97","volume-title":"Intelligent Tutoring Systems","author":"P.G. Petry","year":"2006","unstructured":"Petry, P.G., Rosatelli, M.: AlgoLC: A Learning Companion System for Teaching and Learning Algorithms. In: Ikeda, M., Ashley, K.D., Chan, T.-W. (eds.) ITS 2006. LNCS, vol.\u00a04053, pp. 775\u2013777. Springer, Heidelberg (2006)"},{"key":"4_CR39","unstructured":"Riccucci, S., Carbonaro, A., Casadei, G.: An Architecture for Knowledge Management in Intelligent Tutoring Systems. In: Proc. IADIS Int. Cong. Cognition and Exploratory Learning in Digital Age (2005)"},{"issue":"1","key":"4_CR40","first-page":"1","volume":"14","author":"M. Rosatelli","year":"2004","unstructured":"Rosatelli, M., Self, J.: A Collaborative Case Study System for Distance Learning. Artificial Intelligence in Education\u00a014(1), 1\u201329 (2004)","journal-title":"Artificial Intelligence in Education"},{"key":"4_CR41","unstructured":"Siddappa, M., Manjunath, A.S.: Intelligent Tutor Generator for Intelligent Tutoring Systems. In: Proc. World Congress on Engineering and Computer Science, pp. 578\u2013583 (2008)"},{"key":"4_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/3-540-47987-2_41","volume-title":"Intelligent Tutoring Systems","author":"P. Suraweera","year":"2002","unstructured":"Suraweera, P., Mitrovic, A.: KERMIT: A Constraint-Based Tutor for Database Modelling. In: Cerri, S.A., Gouard\u00e9res, G., Paragua\u00e7u, F. (eds.) ITS 2002. LNCS, vol.\u00a02363, pp. 376\u2013387. Springer, Heidelberg (2002)"},{"issue":"3-4","key":"4_CR43","first-page":"375","volume":"14","author":"P. Suraweera","year":"2004","unstructured":"Suraweera, P., Mitrovic, A.: An Intelligent Tutoring System for Entity Relationship Modelling. Artificial Intelligence in Education\u00a014(3-4), 375\u2013417 (2004)","journal-title":"Artificial Intelligence in Education"},{"key":"4_CR44","doi-asserted-by":"crossref","unstructured":"Wang, T., Mitrovic, A.: Using neural networks to predict student\u2019s behaviour. In: Kinshuk, R., Lewis, K., Akahori, R., Kemp, T., Okamoto, L., Henderson, C.-H. (eds.) Proc. Int. Conf. Computers in Education, pp. 969\u2013973 (2002)","DOI":"10.1109\/CIE.2002.1186127"},{"issue":"1","key":"4_CR45","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/KES-2006-10101","volume":"10","author":"A. Weerasinghe","year":"2006","unstructured":"Weerasinghe, A., Mitrovic, A.: Facilitating Deep Learning through Self-Explanation in an Open-ended Domain. Int. J. of Knowledge-based and Intelligent Engineering Systems\u00a010(1), 3\u201319 (2006)","journal-title":"Int. J. of Knowledge-based and Intelligent Engineering Systems"},{"key":"4_CR46","unstructured":"Weerasinghe, A., Mitrovic, A.: A Preliminary Study of a General Model for Supporting Tutorial Dialogues. In: Proc. Int. Conf. Computers in Education, pp. 125\u2013132 (2008)"},{"key":"4_CR47","unstructured":"Weerasinghe, A., Mitrovic, A., Martin, B.: Towards individualized dialogue support for ill-defined domains. Artificial Intelligence in Education 14 (2009) (in print)"},{"key":"4_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-69132-7_7","volume-title":"Intelligent Tutoring Systems","author":"K. Zakharov","year":"2008","unstructured":"Zakharov, K., Mitrovic, A., Johnston, L.: Towards Emotionally-Intelligent Pedagogical Agents. In: Woolf, B.P., A\u00efmeur, E., Nkambou, R., Lajoie, S. (eds.) ITS 2008. LNCS, vol.\u00a05091, pp. 19\u201328. Springer, Heidelberg (2008)"},{"key":"4_CR49","first-page":"718","volume-title":"Proc. 12th Int. Conf. Artificial Intelligence in Education","author":"K. Zakharov","year":"2005","unstructured":"Zakharov, K., Mitrovic, A., Ohlsson, S.: Feedback Micro-Engineering in EER-Tutor. In: Looi, C.-K., McCalla, G., Bredeweg, B., Breuker, J. (eds.) Proc. 12th Int. Conf. Artificial Intelligence in Education, pp. 718\u2013725. IOS Press, Amsterdam (2005)"}],"container-title":["Studies in Computational Intelligence","Advances in Intelligent Tutoring Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14363-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T23:07:08Z","timestamp":1740524828000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14363-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642143625","9783642143632"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14363-2_4","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"value":"1860-949X","type":"print"},{"value":"1860-9503","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}