{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:41Z","timestamp":1725663881195},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540559306"},{"type":"electronic","value":"9783540473121"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55930-2_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T05:46:40Z","timestamp":1330235200000},"page":"80-90","source":"Crossref","is-referenced-by-count":1,"title":["Knowledge based PPS applications in PROTOS-L"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"7_CR1","unstructured":"H.-J. Appelrath, A. B. Cremers, and O. Herzog. The Eureka Project PROTOS. Stuttgart, 1990."},{"key":"7_CR2","unstructured":"C. Beierle. An overview on planning applications in PROTOS-L. In R. Vichnevetsky and J. H. Miller, editors, Proceedings 13th IMACS World Congress on Computation and Applied Mathematics, Dublin, Ireland, July 1991."},{"key":"7_CR3","series-title":"LNAI 418","volume-title":"Sorts and Types for Artificial Intelligence","author":"C. Beierle","year":"1990","unstructured":"C. Beierle. Types, modules and databases in the logic programming language PROTOS-L. In K. H. Bl\u00e4sius, U. Hedtst\u00fcck, and C.-R. Rollinger, editors, Sorts and Types for Artificial Intelligence. LNAI 418, Springer-Verlag, Berlin, 1990."},{"key":"7_CR4","volume-title":"IWBS Report 175","author":"C. Beierle","year":"1991","unstructured":"C. Beierle, S. B\u00f6ttcher, and G. Meyer. Draft Report of the Logic Programming Language PROTOS-L. IWBS Report 175, IBM Germany, Scientific Center, Inst. for Knowledge Based Systems, Stuttgart, 1991."},{"key":"7_CR5","first-page":"272","volume-title":"Logic Programming: Proceedings of the 1991 International Symposium","author":"C. Beierle","year":"1991","unstructured":"C. Beierle, G. Meyer, and H. Semle. Extending the Warren Abstract Machine to polymorphic order-sorted resolution. In V. Saraswat and K. Ueda, editors, Logic Programming: Proceedings of the 1991 International Symposium, pages 272\u2013286, MIT Press, Cambridge, MA, 1991."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"S. B\u00f6ttcher. A tool kit for knowledge based production planning systems. In Proc. Int. Conference on Database and Expert System Applications, Vienna, 1990.","DOI":"10.1007\/978-3-7091-7553-8_13"},{"issue":"3","key":"7_CR7","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1016\/0954-1810(91)90034-L","volume":"6","author":"P. Burke","year":"1991","unstructured":"P. Burke and P. Prosser. A distributed asynchronous system for predicative and reactive scheduling. Artificial Intelligence in Engineering, 6(3):106\u2013124, 1991.","journal-title":"Artificial Intelligence in Engineering"},{"key":"7_CR8","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, MA, 1989."},{"key":"7_CR9","unstructured":"J. Jachemich. Global production planning and scheduling at the HOECHST fibres business unit. PROTOS Working Paper, Hoechst AG, Frankfurt, 1990."},{"key":"7_CR10","unstructured":"J. Jachemich. Rule based scheduling in a fibre plant. In R. Vichnevetsky and J. H. Miller, editors, Proceedings 13th IMACS World Congress on Computation and Applied Mathematics, Dublin, Ireland, July 1991."},{"key":"7_CR11","unstructured":"H. Jasper. A logic-based programming environment for interactive applications. In Proc. Human Computer Interaction International, Stuttgart, 1991."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"T. Ludwig and B. Walter. EFTA: A database algebra for deductive retrieval of feature terms. Data and Knowledge Engineering, 6, 1990.","DOI":"10.1016\/0169-023X(91)90019-T"},{"key":"7_CR13","volume-title":"IWBS Report","author":"G. Meyer","year":"1992","unstructured":"G. Meyer. A Poor Man's Deductive Database. IWBS Report, IBM Deutschland GmbH, Stuttgart, 1992."},{"key":"7_CR14","unstructured":"G. Smolka. TEL (Version 0.9), Report and User Manual. SEKI-Report SR 87-17, FB Informatik, Universit\u00e4t Kaiserslautern, 1988."},{"key":"7_CR15","volume-title":"Studienarbeit Nr. 1088","author":"O. Wauschkuhn","year":"1992","unstructured":"O. Wauschkuhn. Untersuchung zur verteilten Produktionsplanung mit Methoden der logischen Programmierung. Studienarbeit Nr. 1088, Universit\u00e4t Stuttgart und IBM Deutschland GmbH, Stuttgart, March 1992."},{"key":"7_CR16","volume-title":"An Example for Knowledge Based Production Planning with PROTOS-L","author":"H. Wittmann","year":"1991","unstructured":"H. Wittmann. An Example for Knowledge Based Production Planning with PROTOS-L. Diplomarbeit, Universit\u00e4t Stuttgart und IBM Deutschland GmbH, Stuttgart, 1991. (in German)."}],"container-title":["Lecture Notes in Computer Science","Logic Programming in Action"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55930-2_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:02:17Z","timestamp":1605628937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55930-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540559306","9783540473121"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-55930-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}