{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:39Z","timestamp":1725664239022},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602996"},{"type":"electronic","value":"9783540447887"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60299-2_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:14:20Z","timestamp":1330280060000},"page":"328-344","source":"Crossref","is-referenced-by-count":1,"title":["Situated simplification"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Podelski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gert","family":"Smolka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Hassan A\u00eft-Kaci and Andreas Podelski. Towards a meaning of LIFE. In J. Maluszy\u0144ski and M. Wirsing, editors, Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming, Springer LNCS vol. 528, pages 255\u2013274. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54444-5_104"},{"issue":"4","key":"20_CR2","doi-asserted-by":"publisher","first-page":"1279","DOI":"10.1145\/183432.183526","volume":"16","author":"H. A\u00eft-Kaci","year":"1994","unstructured":"Hassan A\u00eft-Kaci and Andreas Podelski. Functions as passive constraints in life. ACM Transactions on Programming Languages and Systems (TOPLAS), 16(4):1279\u20131318, July 1994.","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"issue":"1\u20132","key":"20_CR3","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0304-3975(94)90209-7","volume":"122","author":"H. A\u00eft-Kaci","year":"1994","unstructured":"Hassan A\u00eft-Kaci, Andreas Podelski, and Gert Smolka. A feature-based constraint system for logic programming with entailment. Theoretical Computer Science, 122(1\u20132):263\u2013283, January 1994.","journal-title":"Theoretical Computer Science"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"K.L. Clark and S. Gregory. A relational language for parallel programming. In Proc. of the ACM Conference on Functional Programming Languages and Computer Architecture, pages 171\u2013178, 1981.","DOI":"10.1145\/800223.806776"},{"key":"20_CR5","volume-title":"Technical report","author":"A. Colmerauer","year":"1982","unstructured":"Alain Colmerauer. Prolog II reference manual and theoretical model. Technical report, Groupe Intelligence Artificielle, Universit\u00e9 Aix-Marseille II, October 1982."},{"issue":"2","key":"20_CR6","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","volume":"25","author":"B. Courcelle","year":"1983","unstructured":"Bruno Courcelle. Fundamental properties of infinite trees. Theoretical Computer Science, 25(2):95\u2013169, 1983.","journal-title":"Theoretical Computer Science"},{"key":"20_CR7","unstructured":"S. Haridi and S. Janson. Kernel Andorra Prolog and its computation model. In D.H.D. Warren and P. Szeredi, editors, Proceedings of the 7th International Conference on Logic Programming, pages 31\u201348. MIT Press, June 1990."},{"key":"20_CR8","unstructured":"M. Henz, M. Mehl, M. M\u00fcller, T. M\u00fcller, J. Niehren, R. Scheidhauer, C. Schulte, G. Smolka, R. Treinen, and J. W\u00fcrtz. The Oz Handbook. Research Report RR-94-09, Deutsches Forschungszentrum f\u00fcr K\u00fcnstliche Intelligenz, Stuhlsatzenhausweg 3, D-66123 Saarbr\u00fccken, Germany, 1994. Available through anonymous ftp from duck. dfki.uni-sb.de."},{"key":"20_CR9","first-page":"404","volume-title":"13th International Joint Conference on Artificial Intelligence, volume 1","author":"M. Henz","year":"1993","unstructured":"Martin Henz, Gert Smolka, and J\u00f6rg W\u00fcrtz. Oz\u2014a programming language for multi-agent systems. In Ruzena Bajcsy, editor, 13th International Joint Conference on Artificial Intelligence, volume 1, pages 404\u2013409, Chamb\u00e9ry, France, 30 August\u20133 September 1993. Morgan Kaufmann Publishers."},{"key":"20_CR10","unstructured":"Michael J. Maher. Logic semantics for a class of committed-choice programs. In Jean-Louis Lassez, editor, Proceedings of the Fourth International Conference on Logic Programming, pages 858\u2013876. MIT Press, 1987."},{"key":"20_CR11","unstructured":"Johan Montelius and Khayri A. M. Ali. An and\/or-parallel implementation of AKL. New Generation Computing, 13(4), December 1995."},{"issue":"3","key":"20_CR12","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0743-1066(85)90017-2","volume":"2","author":"L. Naish","year":"1985","unstructured":"Lee Naish. Automating control for logic programs. The Journal of Logic Programming, 2(3):167\u2013184, October 1985.","journal-title":"The Journal of Logic Programming"},{"key":"20_CR13","volume-title":"Technical report","author":"L. Naish","year":"1985","unstructured":"Lee Naish. The Mu-Prolog 3.2db reference manual. Technical report, Department of Computer Science, University of Melbourne, Victoria, Australia, 1985."},{"key":"20_CR14","unstructured":"Andreas Podelski and Peter Van Roy. The Beauty and the Beast algorithm: Quasilinear incremental tests of entailment and disentailment. In Maurice Bruynooghe, editor, Proceedings of the International Symposium on Logic Programming (ILPS), pages 359\u2013374. MIT Press, November 1994."},{"key":"20_CR15","first-page":"449","volume-title":"Operational semantics of constraint logic programming with coroutining","author":"A. Podelski","year":"1995","unstructured":"Andreas Podelski and Gert Smolka. Operational semantics of constraint logic programming with coroutining. In Leon Sterling, editor, Proceedings of the 12th International Conference on Logic Programming, pages 449\u2013463, Kanagawa, Japan, 1995. The MIT Press."},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Vijay Saraswat and Martin Rinard. Concurrent constraint programming. In Proceedings of the 17th ACM Conference on Principles of Programming Languages, pages 232\u2013245, San Francisco, CA, January 1990.","DOI":"10.1145\/96709.96733"},{"issue":"3","key":"20_CR17","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"Ehud Shapiro. The family of concurrent logic programming languages. ACM Computing Surveys, 21(3):413\u2013511, September 1989.","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"20_CR18","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0743-1066(94)90044-2","volume":"18","author":"G. Smolka","year":"1994","unstructured":"Gert Smolka and Ralf Treinen. Records for logic programming. The Journal of Logic Programming, 18(3):229\u2013258, April 1994.","journal-title":"The Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60299-2_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:55Z","timestamp":1605646675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60299-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602996","9783540447887"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-60299-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}