{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:59Z","timestamp":1725456359528},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055033X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013547","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:44:01Z","timestamp":1132728241000},"page":"402-404","source":"Crossref","is-referenced-by-count":0,"title":["A brief description of the PROTOS-L system"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[]},{"given":"Gregor","family":"Meyer","sequence":"additional","affiliation":[]},{"given":"Heiner","family":"Semle","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"C. Beierle. An overview on planning applications in PROTOS-L. In Proceedings 13th IMACS World Congress on Computation and Applied Mathematics, Dublin, Ireland, July 1991. (to appear)."},{"key":"31_CR2","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, Springer-Verlag, Berlin, Heidelberg, New York, 1990."},{"key":"31_CR3","volume-title":"IWBS Report, IBM Germany","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, IBM Germany, Scientific Center, Inst. for Knowledge Based Systems, Stuttgart, 1991."},{"key":"31_CR4","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 ordersorted resolution. In V. Saraswat and K. Uedo, editors, Logic Programming: Proceedings of the 1991 International Symposium, MIT Press, San Diego, October 1991. (to appear)."},{"key":"31_CR5","unstructured":"H. Jasper. A logic-based programming environment for interactive applications. In Proc. Human Computer Interaction International, Stuttgart, 1991. (to appear)."},{"key":"31_CR6","volume-title":"Diplomarbeit Nr. 630","author":"G. Meyer","year":"1989","unstructured":"G. Meyer. Rule Evaluation on Databases in the PROTOS-L System. Diplomarbeit Nr. 630, Universit\u00e4t Stuttgart und IBM Deutschland GmbH, Stuttgart, December 1989. (in German)."},{"key":"31_CR7","unstructured":"W. Nutt and G. Smolka. Implementing TEL. SEKI-Report, FB Informatik, Universit\u00e4t Kaiserslautern, 1991. (in preparation)."},{"key":"31_CR8","volume-title":"Diplomarbeit Nr. 583","author":"H. Semle","year":"1989","unstructured":"H. Semle. Extension of an Abstract Machine for Order-Sorted Prolog to Polymorphism. Diplomarbeit Nr. 583, Universit\u00e4t Stuttgart und IBM Deutschland GmbH, Stuttgart, April 1989. (in German)."},{"key":"31_CR9","unstructured":"G. Smolka. TEL (Version 0.9), Report and User Manual. SEKI-Report SR 87-17, FB Informatik, Universit\u00e4t Kaiserslautern, 1988."},{"key":"31_CR10","unstructured":"D. Warren. An Abstract PROLOG Instruction Set. Technical Report 309, SRI, 1983."}],"container-title":["Lecture Notes in Computer Science","Processing Declarative Knowledge"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013547.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T15:07:58Z","timestamp":1607353678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013547"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055033X"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0013547","relation":{},"subject":[]}}