{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:28:28Z","timestamp":1725632908685},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540641780"},{"type":"electronic","value":"9783642721694"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/978-3-642-72169-4_25","type":"book-chapter","created":{"date-parts":[[2011,11,10]],"date-time":"2011-11-10T20:55:26Z","timestamp":1320958526000},"page":"241-250","source":"Crossref","is-referenced-by-count":0,"title":["Die Extraktion von Restriktionen aus Aufgabenbeschreibungen f\u00fcr die statische, konzeptbasierte Diagnose von L\u00f6sungs- bzw. Schaltungsentw\u00fcrfen (aus der Pneumatik)"],"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","reference":[{"issue":"2","key":"25_CR1","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM 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 \u2013 263","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"25_CR2","first-page":"430","volume-title":"Proceedings REX-Workshop on stepwise refinement of distributed systems: models, formalisms, correctness","author":"W Damm","year":"1990","unstructured":"Damm, W., D\u00f6hmen, G., Gerstner, V., Josko, B. (1990). Modular Verification of Petri Nets. The Temporal Logic Approach, 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."},{"key":"25_CR3","volume-title":"Fortschritte der K\u00fcnstlichen Intelligenz (KI 96)","author":"C Herzog","year":"1996","unstructured":"Herzog, C. (1996). Syntaxorientierte vs. Ablauforientierte Diagnose in intelligenten Programmierumgebungen als Beispiel f\u00fcr den Einsatz konkurrierender Probleml\u00f6ser, in: M. Thielscher, S.-E. Bornscheuer (eds.) Fortschritte der K\u00fcnstlichen Intelligenz (KI 96), Dresden: Dresden University Press."},{"key":"25_CR4","volume-title":"Intention-based Diagnosis of Novice Programming Errors","author":"WL Johnson","year":"1986","unstructured":"Johnson, W.L. (1986). Intention-based Diagnosis of Novice Programming Errors. Los Altos: Morgan Kaufmann."},{"key":"25_CR5","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":"25_CR6","volume-title":"A structured planning and debugging environment for elementory programming","author":"ML Miller","year":"1979","unstructured":"Miller, M.L. (1979). A structured planning and debugging environment for elementory programming"},{"key":"25_CR7","first-page":"537","volume-title":"Artificial Intelligence in Education, IOS Press","author":"R Mizoguchi","year":"1997","unstructured":"Mizoguchi, R., Ikeda, M., Sinitsa, K. (1997). Roles of Shared Ontology in AI-ED Research, in: B. du Boulay, R. Mizoguchi (eds), Artificial Intelligence in Education, IOS Press, 537\u2013544."},{"key":"25_CR8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-3-642-78539-9_5","volume-title":"Simulation-Based Experiential Learning","author":"C M\u00f6bus","year":"1993","unstructured":"M\u00f6bus, C, Thole, H.J., Schr\u00f6der, O. (1993). Diagnosis of Intentions and Interactive Support of Planning in a Functional, Visual Programming Language, in D.M. Towne, T. de Jong, H. Spada (eds), Simulation-Based Experiential Learning, Berlin: Springer, 61\u201376."},{"key":"25_CR9","first-page":"138","volume-title":"Artificial Intelligence in Education","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-19, 1995, Charlottesville: AACE, 138\u2013145"},{"key":"25_CR10","volume-title":"Proceedings of EuroAIED 96, Lisbon, Portugal, Sept. 30 \u2014 Oct. 2","author":"C M\u00f6bus","year":"1996","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 \u2014 Oct. 2,"},{"key":"25_CR11","volume-title":"Mind Bugs: The origins of procedural misconceptions","author":"WR Murray","year":"1988","unstructured":"Murray, W.R. (1988). Automatic Program Debugging for Intelligent Tutoring Systems. Morgan Kaufmann Publishers, Inc. San Mateo, California. VanLehn, K., (1990). Mind Bugs: The origins of procedural misconceptions. MIT Press, Cambridge."},{"key":"25_CR12","volume-title":"Artificial Intelligence and Tutoring Systems","author":"E Wenger","year":"1987","unstructured":"Wenger, E., (1987). Artificial Intelligence and Tutoring Systems. Morgan Kaufmann Publishers, Inc., Los Altos, California."},{"key":"25_CR13","first-page":"680","volume-title":"Artificial Intelligence in Education","author":"J Willms","year":"1997","unstructured":"Willms, J., G\u00f6hler, H., M\u00f6bus, C, (1997a). 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":"25_CR14","volume-title":"Beitr\u00e4ge zum 8. Arbeitstreffen der GI-Fachgruppe 1.1.5\/7.0.1 \u201eIntelligente Lehr- und Lernsysteme\u201c","author":"J Willms","year":"19971997","unstructured":"Willms, J., G\u00f6hler, H., M\u00f6bus, C, (1997b). Die Integration von dynamischen und statischen Analysemethoden in einer intelligenten Lern- und Probleml\u00f6seumgebung, in: C. Herzog, Beitr\u00e4ge zum 8. Arbeitstreffen der GI-Fachgruppe 1.1.5\/7.0.1 \u201eIntelligente Lehr- und Lernsysteme\u201c, Duisburg, 18.\u201319. September 1997, \u201eBlaue Berichte\u201cder TU M\u00fcnchen, 1997."}],"container-title":["Informatik aktuell","Informatik und Ausbildung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-72169-4_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T01:33:14Z","timestamp":1606267994000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-72169-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540641780","9783642721694"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-72169-4_25","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1988]]}}}