{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T16:18:29Z","timestamp":1725639509537},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540508786"},{"type":"electronic","value":"9783642745638"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/978-3-642-74563-8_4","type":"book-chapter","created":{"date-parts":[[2011,12,5]],"date-time":"2011-12-05T21:44:38Z","timestamp":1323121478000},"page":"78-99","source":"Crossref","is-referenced-by-count":0,"title":["KI-Programmierung"],"prefix":"10.1007","author":[{"given":"H.","family":"Stoyan","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-74403-7","volume-title":"Zur Logik der Logik-Programmierung","author":"C Beckstein","year":"1988","unstructured":"C. Beckstein: Zur Logik der Logik-Programmierung. Dissertation, Erlangen, 1988 (erscheint als Springer-IFB)"},{"key":"4_CR2","first-page":"115","volume-title":"A Deductive Solution for Plan Generation","author":"W Bibel","year":"1986","unstructured":"W. Bibel: A Deductive Solution for Plan Generation. New Generation Computing, 1986, S.115\u2013132"},{"key":"4_CR3","volume-title":"Introduction to Artificial Intelligence","author":"E Charniak","year":"1985","unstructured":"E. Charniak, D. McDermott: Introduction to Artificial Intelligence. Addison Wesley, Reading, Mass. etc., 1985"},{"issue":"3","key":"4_CR4","first-page":"166","volume":"6","author":"R Hall","year":"1985","unstructured":"R. Hall, D. Kibler: Artificial Intelligence Research. AI Magazine, Vol. 6 (1985), No. 3, S.166\u2013178","journal-title":"AI Magazine"},{"key":"4_CR5","volume-title":"Foundations of Logical Programming","author":"JW Lloyd","year":"1986","unstructured":"J.W. Lloyd: Foundations of Logical Programming. Springer, Berlin etc., 1986"},{"key":"4_CR6","volume-title":"Dialogische Logik. Wissensch","author":"P Lorenzen","year":"1978","unstructured":"P. Lorenzen, K. Lorenz: Dialogische Logik. Wissensch. Buchges., Darmstadt, 1978"},{"key":"4_CR7","volume-title":"Principles of Artificial Intelligence","author":"N Nilsson","year":"1980","unstructured":"N. Nilsson: Principles of Artificial Intelligence. Tioga Pub., Palo Alto, 1980"},{"key":"4_CR8","volume-title":"Artificial Intelligence \u2014 Eine Einf\u00fchrung","author":"J Retti","year":"1984","unstructured":"J. Retti et al.: Artificial Intelligence \u2014 Eine Einf\u00fchrung. Teubner, Stuttgart, 1984"},{"key":"4_CR9","volume-title":"The Nonlinear Nature of Plans. 3","author":"E Sacerdoti","year":"1985","unstructured":"E. Sacerdoti: The Nonlinear Nature of Plans. 3. IJCAI, Tbilissi, 1985"},{"key":"4_CR10","volume-title":"Programmiermethoden der KI","author":"H Stoyan","year":"1988","unstructured":"H. Stoyan: Programmiermethoden der KI. Springer, Berlin, etc., 1988"},{"key":"4_CR11","series-title":"GWAI-84, Springer IFB 103","volume-title":"Programming Styles in Artificial Intelligence","author":"H Stoyan","year":"1985","unstructured":"H. Stoyan: Programming Styles in Artificial Intelligence. GWAI-84, Springer IFB 103, Berlin etc., 1985"},{"key":"4_CR12","volume-title":"What is the Benefit of Artificial Intelligence for Robotics?","author":"H Stoyan","year":"1984","unstructured":"H. Stoyan: What is the Benefit of Artificial Intelligence for Robotics? Proc. Intelligent Robots and Computer Vision. Vol.521, SPIE, Bellingham, 1984"},{"key":"4_CR13","unstructured":"Tate: Interacting Goals and Their Use. 3rd IJCAI 1975, S.215\u2013218"}],"container-title":["Informatik-Fachberichte","K\u00fcnstliche Intelligenz"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-74563-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T09:49:16Z","timestamp":1555753756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-74563-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540508786","9783642745638"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-74563-8_4","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1989]]}}}