{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:48:14Z","timestamp":1743104894204,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421443"},{"type":"electronic","value":"9783540451532"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45153-6_22","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T15:24:20Z","timestamp":1194967460000},"page":"225-235","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Stratified Partial-Order Logic Programming"],"prefix":"10.1007","author":[{"given":"Mauricio","family":"Osorio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan Carlos","family":"Nieves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,16]]},"reference":[{"key":"22_CR1","unstructured":"Alfred V. Aho, Ravi Setvi, and Jeffrey D. Ullman. Compilers Principles, Techniques, and Tools. Addison Wesley, 1988."},{"key":"22_CR2","unstructured":"Rachel Ben-Eliyahu and Rina Dechter. Propositional Semantics for Disjunctive Logic Programs. In K. R. Apt, editor, LOGIC PROGRAMMING: Proceedings of the 1992 Joint International Conference and Symposium, pages 813\u2013827, Cambridge, Mass., November 1992. MIT Press."},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1137\/0204036","volume":"4","author":"D. Brand","year":"1975","unstructured":"D. Brand. Proving theorems with the mofication method. SIAM Journal, 4:412\u2013430, 1975.","journal-title":"SIAM Journal"},{"key":"22_CR4","series-title":"CSLI Lecture Notes","volume-title":"Nonmonotonic Reasoning: An Overview","author":"G. Brewka","year":"1997","unstructured":"Gerd Brewka, J\u00fcrgen Dix, and Kurt Konolige. Nonmonotonic Reasoning: An Overview. CSLI Lecture Notes 73. CSLI Publications, Stanford, CA, 1997."},{"key":"22_CR5","unstructured":"Michael Gelfond and Vladimir Lifschitz. The Stable Model Semantics for Logic Programming. In R. Kowalski and K. Bowen, editors, 5th Conference on Logic Programming, pages 1070\u20131080. MIT Press, 1988."},{"issue":"1","key":"22_CR6","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/S0743-1066(98)10012-2","volume":"38","author":"D. Jana","year":"1999","unstructured":"D. Jana and Bharat Jayaraman. Set constructors, finite sets, and logical semantics. Journal of Logic Programming, 38(1):55\u201377, 1999.","journal-title":"Journal of Logic Programming"},{"issue":"4","key":"22_CR7","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/0743-1066(92)90005-N","volume":"11","author":"B. Jayaraman","year":"1992","unstructured":"Bharat Jayaraman. Implementation of subset-equational programs. Journal of Logic Programming, 11(4):299\u2013324, 1992.","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"22_CR8","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0743-1066(99)00005-9","volume":"41","author":"B. Jayaraman","year":"2000","unstructured":"Bharat Jayaraman and K. Moon. Subset logic programs and their implementation. Journal of Logic Programming, 41(2):71\u2013110, 2000.","journal-title":"Journal of Logic Programming"},{"key":"22_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"John W. Lloyd. Foundations of Logic Programming. Springer, Berlin, 1987. 2nd edition.","edition":"2nd"},{"key":"22_CR10","unstructured":"Bharat Jayaraman Mauricio Osorio and J. C. Nieves. Declarative pruning in a functional query language. In Danny De Schreye, editor, Proceedings of the International Conference on Logic Programming, pages 588\u2013602. MIT Press, 1999."},{"issue":"3","key":"22_CR11","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0167-6423(98)00018-5","volume":"34","author":"B. Jayaraman","year":"1999","unstructured":"Bharat Jayaraman Mauricio Osorio and David Plaisted. Theory of partial-order programming. Science of Computer Programming, 34(3):207\u2013238, 1999.","journal-title":"Science of Computer Programming"},{"key":"22_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-49545-2_4","volume-title":"Logics in Artificial Intelligence (JELIA\u2019 98)","author":"M. Osorio","year":"1998","unstructured":"Mauricio Osorio. Semantics of partial-order programs. In J. Dix and L.F. del Cerro and U. Furbach, editors, Logics in Artificial Intelligence (JELIA\u2019 98), LNCS 1489, pages 47\u201361. Springer, 1998."},{"key":"22_CR13","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/BFb0023802","volume-title":"Nonmonotonic Extensions of Logic Programming","author":"M. Osorio","year":"1997","unstructured":"Mauricio Osorio and Bharat Jayaraman. Aggregation and WFS+. In J. Dix, L. Pereira, and T. Przymusinski, editors, Nonmonotonic Extensions of Logic Programming, LNAI 1216, pages 71\u201390. Springer, Berlin, 1997."},{"issue":"3","key":"22_CR14","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF03037222","volume":"17","author":"M. Osorio","year":"1999","unstructured":"Mauricio Osorio and Bharat Jayaraman. Aggregation and negation-as-failure. New generation computing, 17(3):255\u2013284, 1999.","journal-title":"New generation computing"},{"key":"22_CR15","unstructured":"P. Simons. Towards constraint satisfaction through logic programs and the stable model semantics. Technical Report 47, Helsinki University of Technology, Digital Systems Laboratory, August 1997."},{"key":"22_CR16","volume-title":"An introduction to the Design and Analysis of Algorithms","author":"D.R. Stinson","year":"1987","unstructured":"D.R. Stinson. An introduction to the Design and Analysis of Algorithms. The Charles Babbage Research Centre, Winnipeg, Canada, 1987."}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45153-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:51:29Z","timestamp":1558263089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45153-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421443","9783540451532"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45153-6_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"16 May 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}