{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:26:05Z","timestamp":1725488765616},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676553"},{"type":"electronic","value":"9783540451082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45108-0_44","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T02:34:48Z","timestamp":1186886088000},"page":"403-412","source":"Crossref","is-referenced-by-count":1,"title":["Evolution of the Hypotheses Testing Approach in Intelligent Problem Solving Environments"],"prefix":"10.1007","author":[{"given":"Janine","family":"Willms","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claus","family":"M\u00f6bus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,12]]},"reference":[{"key":"44_CR1","volume-title":"Rules of Mind","author":"J.R. Anderson","year":"1993","unstructured":"Anderson, J.R. (1993). Rules of Mind. Hillsdale: Erlbaum."},{"key":"44_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-18779-0","volume-title":"The Program Transformation System CIP-S","author":"F.L. Bauer","year":"1987","unstructured":"Bauer, F.L., Ehler, H., Horsch, A., M\u00f6ller, B., Partsch, H., Paukner, O., Pepper, P. (1987). The Munich Project CIP, Vol. II: The Program Transformation System CIP-S. Berlin: Springer (LNCS 292)."},{"issue":"2","key":"44_CR3","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, F.A. & Sistla, A.P. (1986). Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems, Vol. 8, No. 2, 244\u2013263","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"44_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Intelligent Tutoring Systems, Proceedings of ITS\u201996","author":"J. Folkers","year":"1996","unstructured":"Folkers, J., M\u00f6bus, C., Schr\u00f6der, O., Thole, H-J., (1996). An Intelligent Problem Solving Environment for Designing Explanation Models and for Diagnostic Reasoning in Probabilistic Domains, in: C. Frasson, G. Gaulthier, A.Lesgold, Intelligent Tutoring Systems, Proceedings of ITS\u201996, Montreal, Berlin: Springer, LNCS 1086."},{"key":"44_CR5","unstructured":"Gollwitzer, P.M. (1990). Action Phases and Mind-Sets. In E.T. Higgins, R.M. Sorrentino (eds): Handbook of Motivation and Cognition: Foundations of Social Behavior, 2, 53\u201392."},{"key":"44_CR6","unstructured":"IBM-Patentserver: \n                    http:\/\/patent.womplex.ibm.com\/"},{"key":"44_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1007\/3-540-52559-9_72","volume-title":"Proceedings REX-Workshop on stepwise refinement of distributed systems: models, formalisms, correctness","author":"B. Josko","year":"1990","unstructured":"Josko, B. (1990). Veryfying the correctness of AADL modules using model checking, in: J.W. de Bakker, W.P. de Roever, G. Rozenberg (eds.), Proceedings REX-Workshop on stepwise refinement of distributed systems: models, formalisms, correctness. Berlin: Springer, LNCS 430, 386\u2013400."},{"key":"44_CR8","first-page":"138","volume-title":"Artificial Intelligence in Education, Proceedings of AI-ED 95","author":"C. M\u00f6bus","year":"1995","unstructured":"M\u00f6bus, C. (1995). Towards an Epistemology of Intelligent Problem Solving Environments: The Hypothesis Testing Approach I, in: J. Greer (ed.), Artificial Intelligence in Education, Proceedings of AI-ED 95, Washington, D.C., August 16\u201319, 1995, Charlottesville: AACE, 138\u2013145."},{"key":"44_CR9","unstructured":"M\u00f6bus, C., (1996). Towards an Epistemology on Intelligent Problem Solving Environments: The Hypothesis Testing Approach II, in: Proceedings of EuroAIED 96, Lisbon, Portugal, Sept. 30\u2013Oct. 2."},{"key":"44_CR10","first-page":"394","volume-title":"Artificial Intelligence in Education: Knowledge and Media in Learning Systems","author":"C. M\u00f6bus","year":"1997","unstructured":"M\u00f6bus, C., Schr\u00f6der, O. (1997). Building Domain Models by Novices in Stochastics: Towards the Probabilistic Semantics of Verbalized Stochastic Relations, in: B. du Boulay, R. Mizoguchi, Artificial Intelligence in Education: Knowledge and Media in Learning Systems, Amsterdam: IOS Press, pp. 394\u2013401."},{"key":"44_CR11","volume-title":"Unified Theories of Cognition","author":"A. Newell","year":"1990","unstructured":"Newell, A. (1990). Unified Theories of Cognition, Canbridge: Harward Press."},{"key":"44_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61512-2","volume-title":"Specification and Transformation of Programs: A Formal Approach to Software Development","author":"H.A. Partsch","year":"1990","unstructured":"Partsch, H.A. (1990). Specification and Transformation of Programs: A Formal Approach to Software Development. Berlin: Springer."},{"key":"44_CR13","doi-asserted-by":"crossref","unstructured":"Van Lehn, K. (1988). Toward a Theory of Impasse-Driven Learning. In H. Mandl, A. Lesgold (eds): Learning Issues for Intelligent Tutoring Systems. Springer, 19\u201341.","DOI":"10.1007\/978-1-4684-6350-7_2"},{"key":"44_CR14","first-page":"680","volume-title":"Artificial Intelligence in Education","author":"J. Willms","year":"1997","unstructured":"Willms, J., G\u00f6hler, H., M\u00f6bus, C., (1997). Testing Hypotheses in an Engineering Domain: Combining Static and Dynamic Analysis of Pneumatic Circuits, in: B. Boulay, R. Mizoguchi (eds.): Artificial Intelligence in Education, Amsterdam: IOS-Press, 680\u2013682."},{"key":"44_CR15","unstructured":"Wordnet:\n                    http:\/\/www.cogsci.princeton.edu\/~wn"}],"container-title":["Lecture Notes in Computer Science","Intelligent Tutoring Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45108-0_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T16:44:44Z","timestamp":1548348284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45108-0_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676553","9783540451082"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45108-0_44","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}