{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:38Z","timestamp":1725663818365},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573227"},{"type":"electronic","value":"9783540480631"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57322-4_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:48:24Z","timestamp":1330242504000},"page":"85-95","source":"Crossref","is-referenced-by-count":0,"title":["An algebraic approach to knowledge-based modeling"],"prefix":"10.1007","author":[{"given":"Gerhard","family":"Schw\u00e4rzler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"No.1","key":"5_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0954-1810(88)90037-4","volume":"3","author":"C. Price","year":"1988","unstructured":"Price, C., Lee M.: \u201cApplications of deep knowledge\u201d. Artificial Intelligence in engineering, 1988, Vol. 3, No. 1, pp.1\u20137.","journal-title":"Artificial Intelligence in engineering"},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","volume":"24","author":"J. Kleer de","year":"1984","unstructured":"de Kleer, J., and Brown, J.S.: \u201cA Qualitative Physics Based on Confluences\u201d Artificial Intelligence 24, (1984), p. 7\u201383.","journal-title":"Artificial Intelligence"},{"key":"5_CR3","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"K.D. Forbus","year":"1984","unstructured":"Forbus, K.D.: \u201cQualitative Process Theory\u201d. Artificial Intelligence 24, (1984), p. 85\u2013168.","journal-title":"Artificial Intelligence"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0004-3702(86)90073-1","volume":"29","author":"B. Kuipers","year":"1986","unstructured":"Kuipers, B.: \u201cQualitative Simulation\u201d Artificial Intelligence 29, (1986), p. 289\u2013338.","journal-title":"Artificial Intelligence"},{"key":"5_CR5","unstructured":"Struss, P.: \u201cMathematical aspects of qualitative modelling\u201d Artificial Intelligence in Engineering (1988), pp. 156\u2013169."},{"key":"5_CR6","first-page":"435","volume":"11","author":"I. Bratko","year":"1988","unstructured":"Bratko, I., Mosetic, I., Lavrac, N.: \u201cAutomatic Synthesis and Compression of Cardiological Knowledge\u201d Machine Intelligence 11, (1988), pp. 435\u2013454.","journal-title":"Machine Intelligence"},{"key":"5_CR7","unstructured":"Schw\u00e4rzler G.: \u201cKnowledge-Based Modeling of Cooperative Processes\u201d PhD Thesis, ETH Z\u00fcrich, to appear 1992."},{"key":"5_CR8","volume-title":"Report No. 86-06","author":"E. Engeler","year":"1986","unstructured":"Engeler, E.: \u201cModelling of Cooperative Processes\u201d Report No. 86-06, Math. Dept. ETH Z\u00fcrich, 1986."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Engeler, E.: \u201cCumulative Logic Programs and Modelling\u201d Logic Colloquium '86, Drake, F., Truss, J., (Editors), North Holland, 1988.","DOI":"10.1016\/S0049-237X(09)70652-4"},{"key":"5_CR10","volume-title":"\u201cSketch of a New Discipline of Modelling\u201d Report","author":"E. Engeler","year":"1988","unstructured":"Engeler, E.: \u201cSketch of a New Discipline of Modelling\u201d Report Math. Dept. ETH Z\u00fcrich, 1988."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Engeler, E.: \u201cAlgebras and Combinators\u201d Algebra Universalis, (1981), p 389\u2013392.","DOI":"10.1007\/BF02483849"},{"key":"5_CR12","unstructured":"Engeler, E.: \u201cEquations in Combinatory Algebras\u201d. Proceedings of \u201dLogic of Programs '83\u201d, SLNCS 164, (1984)."},{"key":"5_CR13","volume-title":"PhD Thesis No. 9357","author":"K. Aberer","year":"1991","unstructured":"Aberer K.: \u201cCombinatory Differential Fields and Constructive Analysis\u201d PhD Thesis No. 9357, ETH Zurich, (1991)."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57322-4_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:11:31Z","timestamp":1605629491000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57322-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573227","9783540480631"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-57322-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}