{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T20:53:45Z","timestamp":1725656025354},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540510390"},{"type":"electronic","value":"9783642746888"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/978-3-642-74688-8_11","type":"book-chapter","created":{"date-parts":[[2012,1,28]],"date-time":"2012-01-28T15:34:13Z","timestamp":1327764853000},"page":"96-105","source":"Crossref","is-referenced-by-count":0,"title":["Zeitbeschr\u00e4nkte Logische Programmierung"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Zell","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"JF Allen","year":"1984","unstructured":"J. F. Allen: Towards a General Theory of Action and Time, Artificial Intelligence 23 (1984), 123\u2013154","journal-title":"Artificial Intelligence"},{"key":"11_CR2","volume-title":"Logic Programming and Knowledge Engineering","author":"T Amble","year":"1987","unstructured":"T. Amble: Logic Programming and Knowledge Engineering, Addison-Wesley, 1987"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/BF03037077","volume":"3","author":"KA Bowen","year":"1985","unstructured":"K. A. Bowen: Meta-Level Programming and Knowledge Represenation, New Generation Computing, 3 (1985) pp 359\u2013383","journal-title":"New Generation Computing"},{"key":"11_CR4","volume-title":"Prolog Programming for Artificial Intelligence","author":"I Bratko","year":"1986","unstructured":"I. Bratko: Prolog Programming for Artificial Intelligence, Addison-Wesley, 1986"},{"key":"11_CR5","unstructured":"Clark, Gregory 84] K. Clark, S. Gregory: Parlog: Parallel Programming in Logic, Research Report DOC 84\/4, Imperial College, London, April 84 (revised June 85)."},{"key":"11_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96873-0","volume-title":"Programming in Prolog, 2nd ed","author":"WF Clocksin","year":"1984","unstructured":"W.F. Clocksin, C.S. Mellish: Programming in Prolog, 2nd ed., Springer, 1984"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0743-1066(88)90010-6","volume":"5","author":"SK Debray","year":"1988","unstructured":"S. K. Debray, D. S. Warren, Automatic Mode Inference for Logic Programs, The Journal of Logic Programming 1988, Vol. 5, pp. 207\u2013229","journal-title":"The Journal of Logic Programming"},{"key":"11_CR8","unstructured":"M. R. Genesereth: An Overview of Meta-Level Architecture, Proc. AAAI-83, 119\u2013124, 1983"},{"key":"11_CR9","volume-title":"Logical Foundations of Artificial Intelligence","author":"MR Genesereth","year":"1987","unstructured":"M.R. Genesereth, N. J. Nilsson: Logical Foundations of Artificial Intelligence, Morgan Kaufman Publishers, 1987"},{"key":"11_CR10","volume-title":"Proceedings of the Conf. on Principles of Prog. Lang","author":"J Jaffar","year":"1987","unstructured":"J. Jaffar, J.-L. Lassez: Constraint Logic Programming, Proceedings of the Conf. on Principles of Prog. Lang., Munich, 1987"},{"key":"11_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"J. W. Lloyd: Foundations of Logic Programming, Springer, 1987"},{"key":"11_CR12","volume-title":"DAI Research Paper","author":"CS Mellish","year":"1981","unstructured":"C. S. Mellish: The Automatic Generation of Mode Delcarations for Prolog Programs, DAI Research Paper 163, Univ. of Edinburgh, Dept. of Al, Aug. 1981"},{"key":"11_CR13","unstructured":"P. Maes, D. Nardi (ed.): Meta-level Architectures and Reflection, North-Holland, 1988"},{"key":"11_CR14","volume-title":"Negation and Control in Prolog, Lecture Notes in Computer Science","author":"L Naish","year":"1985","unstructured":"L. Naish: Negation and Control in Prolog, Lecture Notes in Computer Science, 238, Springer, 1985"},{"key":"11_CR15","volume-title":"Metaprogrammierung und Prolog","author":"G Neumann","year":"1988","unstructured":"G. Neumann: Metaprogrammierung und Prolog, Addison-Wesley, 1988"},{"key":"11_CR16","volume-title":"Fundamentals of Artificial Intelligence","author":"E Shapiro","year":"1986","unstructured":"E. Shapiro: Concurrent Prolog: A Progress Report, in: W. Bibel, Ph. Jorrand (eds.), Fundamentals of Artificial Intelligence, Springer-Verlag, 1986"},{"key":"11_CR17","volume-title":"Concurrent Prolog","author":"E Shapiro","year":"1987","unstructured":"E. Shapiro: Concurrent Prolog, Vol. 1 & 2, MIT Press, 1987"},{"key":"11_CR18","volume-title":"The Art of Prolog","author":"L Sterling","year":"1986","unstructured":"L. Sterling, E. Shapiro: The Art of Prolog, MIT Press, 1986"},{"key":"11_CR19","volume-title":"Logic Programming\u201985","author":"K Ueda","year":"1986","unstructured":"K. Ueda: Guarded Horn Clauses, ICOT Technical Report TR 103, ICOT, 1986. Also in: Logic Programming\u201985, E. Wada (ed.), Lecture Notes in Comp. Sc. 221, Springer, 1986"}],"container-title":["Informatik-Fachberichte","5. \u00d6sterreichische Artificial-Intelligence-Tagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-74688-8_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T02:32:59Z","timestamp":1606271579000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-74688-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540510390","9783642746888"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-74688-8_11","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1989]]}}}