{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:19:57Z","timestamp":1725632397684},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540546191"},{"type":"electronic","value":"9783642769825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/978-3-642-76982-5_36","type":"book-chapter","created":{"date-parts":[[2011,11,11]],"date-time":"2011-11-11T06:47:46Z","timestamp":1320994066000},"page":"299-305","source":"Crossref","is-referenced-by-count":0,"title":["Entwurf eines Hilfesystems f\u00fcr Petrinetzmodellierer"],"prefix":"10.1007","author":[{"given":"Knut","family":"Pitschke","sequence":"first","affiliation":[]},{"given":"Olaf","family":"Schr\u00f6der","sequence":"additional","affiliation":[]},{"given":"Claus","family":"M\u00f6bus","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","first-page":"289","volume-title":"Machine Learning, Vol. II","author":"JR Anderson","year":"1986","unstructured":"Anderson, J.R., Knowledge Compilation: The General Learning Mechanism. In: Michalski, R.S., Carbonell, J.G., Mitchell, T.M., Machine Learning, Vol. II, Los Altos: Morgan Kaufman, 1986, 289\u2013310"},{"key":"36_CR2","volume-title":"BI Wissenschaftsverlag","author":"B Baumgarten","year":"1990","unstructured":"Baumgarten, B., Petri-Netze - Grundlagen und Anwendungen. BI Wissenschaftsverlag, 1990"},{"key":"36_CR3","first-page":"430","volume-title":"Proceedings REX-Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctncss","author":"W Damm","year":"1990","unstructured":"Damm, W., D\u00f6hmen, G., Gerstner, V., Josko, B.. The Temporal Logic Approach. In de Bakker, J.W., de Roever, W.P., Rozenberg (eds), Proceedings REX-Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctncss. Springer: Lecture Notes in Computer Science 430, 1990"},{"key":"36_CR4","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF03037518","volume":"8","author":"S H\u00f6lldobler","year":"1990","unstructured":"H\u00f6lldobler, S., Schneeberger, J., A New Deduc\u00fcve Approach to Planning. New Generation Computing, 8, 1990, 225\u2013244","journal-title":"New Generation Computing"},{"key":"36_CR5","first-page":"387","volume-title":"Proceedings REX-Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Springer: Lecture Notes in Computer Science 430","author":"B Josko","year":"1990","unstructured":"Josko, B., Verifying the Correctncss of AADL Modules using Model Checking. In: de Bakker, J.W., de Roever, W.P., Rozenberg (eds), Proceedings REX-Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Springer: Lecture Notes in Computer Science 430, 1990, 387\u2013400"},{"key":"36_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-71549-5","volume-title":"Temporal Logic of Programs","author":"F Kr\u00f6ger","year":"1987","unstructured":"Kr\u00f6ger, F., Temporal Logic of Programs, Berlin: Springer, 1987"},{"key":"36_CR7","doi-asserted-by":"crossref","first-page":"329","DOI":"10.7551\/mitpress\/5605.003.0009","volume-title":"Production System Models of Learning and Development","author":"C Lewis","year":"1987","unstructured":"Lewis, C., Composition of Produc\u00fcons. In: Klahr, D., Langley, P., Neches, R. (eds), Production System Models of Learning and Development. Cambridge: MIT Press, 1987, 329\u2013358"},{"key":"36_CR8","first-page":"137","volume-title":"Advanced Research on Computers in Education. Elsevier North Holland","author":"C M\u00f6bus","year":"1991","unstructured":"M\u00f6bus. C., The Relevance of Computational Models of Knowledge Acquisition for the Design of Helps in the Problem Solving Monitor ABSYNT. In: Lewis, R, Otsuki, S. (eds), Advanced Research on Computers in Education. Elsevier North Holland, 1991, 137\u2013144"},{"key":"36_CR9","unstructured":"M\u00f6bus, C., Schr\u00f6der, O., Thole, H.-J., Runtime Modelling the Novice-Expert Shift in Programming Skills on a Rule-Schema- Case-Continuum, paper to be presented at the Workshop W.4 \u201cModelling for Intelligent Interaction\u201d, 12th International Joint Conference on Artificial Intelligence, IJCAI-91, Darling Harbour, Sydney, Australia, August 24\u201325,1991"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"M\u00f6bus, C., Thole, H.-J., Interactive Support for Planning Visual Programs in the Problem Solving Monitor ABSYNT: Giving Feedback to User Hypotheses on the Language Level. In: Norrie, D.H., Six, H.W., Computer Assisted Learning. Proceedings of the 3rd Int. Conf. on Computer Assisted Learning ICCAL, 1990, 36\u201349","DOI":"10.1007\/BFb0020870"},{"key":"36_CR11","volume-title":"Nets, Terms, and Formulas: Three Views of Concurrent Processes and Thcir Relationship","author":"E-R Olderog","year":"1989","unstructured":"Olderog, E.-R., Nets, Terms, and Formulas: Three Views of Concurrent Processes and Thcir Relationship. Universit\u00e4t Oldenburg, FB Informatik, 1989"},{"key":"36_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":"HA Partsch","year":"1990","unstructured":"Partsch, H.A., Specification and Transformation of Programs: A Formal Approach to Software Development. Berlin, Springer 1990"},{"key":"36_CR13","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","volume":"13","author":"FCN Pereira","year":"1980","unstructured":"Pereira, F.C.N., Warren, D.H.D., Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Transition Networks. Artificial Intelligence, 13, 1980, 231\u2013278","journal-title":"Artificial Intelligence"},{"key":"36_CR14","volume-title":"Petri Net Theory and the Modeling of Systems","author":"JL Peterson","year":"1981","unstructured":"Peterson, J.L., Petri Net Theory and the Modeling of Systems, Englewood Cliffs: Prentice Hall, 1981"},{"key":"36_CR15","volume-title":"Petri netze - eine Einf\u00fchrung","author":"W Reisig","year":"1986","unstructured":"Reisig, W., Petri netze - eine Einf\u00fchrung. Berlin: Springer, 1986"},{"key":"36_CR16","doi-asserted-by":"crossref","first-page":"221","DOI":"10.7551\/mitpress\/5605.003.0007","volume-title":"Production System Models of Learning and Development","author":"P Rosenbloom","year":"1987","unstructured":"Rosenbloom, P., Newell, A., Learning by Chunking. In: Klahr, D., Langley, P., Neches, R. (eds), Production System Models of Learning and Development. Cambridge: MIT Press, 1987, 221\u2013286"},{"key":"36_CR17","first-page":"105","volume":"1","author":"O Schr\u00f6der","year":"1990","unstructured":"Schr\u00f6der, O., Kohnert, K., Toward a Model of Instruction-Based Knowledge Acquisition: The Operational Knowledge for A Functional, Visual Programming Language. Journal of Artificial Intelligence in Education, 1,1989\/90, 105\u2013128","journal-title":"Visual Programming Language. Journal of Artificial Intelligence in Education"},{"key":"36_CR18","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1207\/s15516709cog0804_4","volume":"8","author":"D Sleeman","year":"1984","unstructured":"Sleeman, D., An Attempt to Understand Students\u2019 Understanding of Basic Algebra. Cognitive Science, 8 1984, 387\u2013412","journal-title":"Cognitive Science"},{"key":"36_CR19","first-page":"75","volume":"37","author":"K Spies","year":"1986","unstructured":"Spies, K., Hesse, F.W., Interaktion von Emotion und Kognition. Psychologische Rundschau, 37, 1986, 75\u201390","journal-title":"Psychologische Rundschau"},{"key":"36_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(91)90002-7","volume":"10","author":"T Tanaka","year":"1991","unstructured":"Tanaka, T., Definite-Clause Set Grammars: A Formalism for Problem Solving, Journal of Logic Programming, 1991, 10, 1\u201317","journal-title":"Journal of Logic Programming"},{"key":"36_CR21","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-1-4684-6350-7_2","volume-title":"Learning Issues for Intelligent Tutoring Systems","author":"K Lehn van","year":"1988","unstructured":"van Lehn, K., Toward a theory of Impasse-Driven Learning. In: Mandl, H., Lesgold, A. (eds), Learning Issues for Intelligent Tutoring Systems. New York, Springer, 1988, 19\u201341"},{"key":"36_CR22","volume-title":"Mind Bugs: The Origins of Procedural Misconceptions","author":"K Lehn van","year":"1990","unstructured":"van Lehn, K., Mind Bugs: The Origins of Procedural Misconceptions. MIT Press, 1990"},{"key":"36_CR23","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-3-642-82742-6_5","volume-title":"Computational Models of Learning","author":"JG Wolff","year":"1987","unstructured":"Wolff, J.G., Cognitive Development as Optimization. In: Bolc, L. (ed), Computational Models of Learning. Berlin, Springer, 1987, 161\u2013205"}],"container-title":["Informatik-Fachberichte","Informatik und Schule 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-76982-5_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T16:44:16Z","timestamp":1713113056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-76982-5_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540546191","9783642769825"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-76982-5_36","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1991]]}}}