{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:20Z","timestamp":1725455840824},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354051659X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0026312","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:35:17Z","timestamp":1132378517000},"page":"344-356","source":"Crossref","is-referenced-by-count":0,"title":["Integration of descriptive and procedural language constructs"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Sch\u00f6nfeld","sequence":"first","affiliation":[]},{"given":"Werner","family":"Stephan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","first-page":"151","volume-title":"Lecture Notes in Comp. Sci. 310","author":"M. Bezem","year":"1988","unstructured":"M. Bezem, Consistency of Rule-based Expert Systems, in: E. Lusk, R. Overbeek (Eds.), 9th Int. Conf. Automated Deduction, Lecture Notes in Comp. Sci. 310, Springer-Verlag, Berlin, 1988, pp. 151\u2013161."},{"key":"21_CR2","unstructured":"H. Boley, A Bird's-Eye-View of LISPLOG: The LISP\/PROLOG Integration with Initial-Cut Tools, University of Kaiserslautern, SEKI-Working-Paper, SWP-86-08 1987."},{"key":"21_CR3","volume-title":"Programming in Prolog","author":"W.F. Clocksin","year":"1981","unstructured":"W.F. Clocksin, C.S. Mellish, Programming in Prolog, Springer, New York, 1981."},{"key":"21_CR4","unstructured":"C.L. Forgy, J. McDermott: OPS, a Domain-Independent Production System Language, Proc. IJCAI'77, pp. 933\u2013939."},{"key":"21_CR5","unstructured":"H. Kleine B\u00fcning, Ulrich L\u00f6wen, and S. Schmitgen, Inconsistency of Production Systems, Schriftenreihe des Fachbereichs Mathematik, Universit\u00e4t \u2014 GH Duisburg, D-4100 Duisburg 1 (West Germany)."},{"key":"21_CR6","unstructured":"L.F. Mackert, I.B. Neumeier-Mackert, Communicating Rule Systems, in: Protocol Specification, Testing and Verification, Proc. International Symposium, Z\u00fcrich, Mai 1987."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"J. McCarthy, M. Sato, T. Huyashi, S. Igawashi, On the Model Theory of Knowledge, Stanford A.I. Lab. memo AIM-312, 1978.","DOI":"10.21236\/ADA065502"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/51607.51622","volume":"23.10","author":"F. Mellender","year":"1988","unstructured":"F. Mellender, An integration of Logic and Object-Oriented Programming, ACM SIGPLAN Notices 23.10 (1988), pp. 181\u2013185.","journal-title":"ACM SIGPLAN Notices"},{"key":"21_CR9","volume-title":"A Theory of Programming Language Semantics","author":"R. Milne","year":"1976","unstructured":"R. Milne, Ch. Strachey, A Theory of Programming Language Semantics, Chapman and Hall, London, 1976."},{"key":"21_CR10","first-page":"730","volume":"2","author":"W. Sch\u00f6nfeld","year":"1985","unstructured":"W. Sch\u00f6nfeld, PROLOG extensions based on tableau calculus, Proc. 9th Int. Conf. Artificial Intelligence, Aug. 1985, Los Angeles, Ca., Vol. 2, pp. 730\u2013732.","journal-title":"Los Angeles, Ca."},{"key":"21_CR11","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"J. E. Stoy","year":"1977","unstructured":"J. E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, Mass., 1977."}],"container-title":["Lecture Notes in Computer Science","CSL '88"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026312.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:56:06Z","timestamp":1607532966000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026312"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354051659X"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0026312","relation":{},"subject":[]}}