{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:17:23Z","timestamp":1743027443672,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540428633"},{"type":"electronic","value":"9783540455783"}],"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-45578-7_80","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T06:34:25Z","timestamp":1180334065000},"page":"781-782","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Partial Stable Generated Models of Generalized Logic Programs with Constraints"],"prefix":"10.1007","author":[{"given":"Sibylle","family":"Schwarz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,11,19]]},"reference":[{"key":"80_CR1","doi-asserted-by":"crossref","unstructured":"J. Dix and F. Stolzenburg. A framework to incorporate non-monotonic reasoning into constraint logic programming. JLP, 37(1\u20133), 1998.","DOI":"10.1016\/S0743-1066(98)10003-1"},{"key":"80_CR2","doi-asserted-by":"crossref","unstructured":"F. Fages and R. Gori. A hierarchy of semantics for normal constraint logic programs. In Algebraic and Logic Programming ALP\u201996, lncs 1139, 1996.","DOI":"10.1007\/3-540-61735-3_5"},{"key":"80_CR3","unstructured":"H. Herre. Regular partial models and wellfounded semantics for generalized logic programs. unpublished, 2000."},{"key":"80_CR4","doi-asserted-by":"crossref","unstructured":"H. Herre and G. Wagner. Stable models are generated by a stable chain. Journal of Logic Programming, 30(2), 1997.","DOI":"10.1016\/S0743-1066(96)00106-9"},{"key":"80_CR5","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF01530784","volume":"12","author":"T. Przymusinski","year":"1994","unstructured":"T. Przymusinski. Well-founded and stationary models of logic programs. Annals of Mathematics and Artificial Intelligence 12(1994), 141\u2013187., 1994.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"80_CR6","doi-asserted-by":"crossref","unstructured":"S. Schwarz. Stable generated models of generalized constraint logic programs. (to appear in) Proc. WFLP 2001. Universit\u00e4t Kiel, 2001.","DOI":"10.1007\/3-540-45578-7_80"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45578-7_80","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T21:10:58Z","timestamp":1585602658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45578-7_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428633","9783540455783"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-45578-7_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"19 November 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}