{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:51:53Z","timestamp":1725493913188},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540009573"},{"type":"electronic","value":"9783540365969"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/3-540-36596-6_10","type":"book-chapter","created":{"date-parts":[[2007,10,24]],"date-time":"2007-10-24T17:23:52Z","timestamp":1193246632000},"page":"179-199","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Cardinality Constraints in Disjunctive Deductive Databases"],"prefix":"10.1007","author":[{"given":"Dietmar","family":"Seipel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrich","family":"Geske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,4,1]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"S. Ceri, G. Gottlob, L. Tanca: Logic Programming and Databases, Springer, 1990.","DOI":"10.1007\/978-3-642-83952-8"},{"key":"10_CR2","unstructured":"P. Van Hentenryck, Y. Deville: The Cardinality Operator: A new Logical Connective for Constraint Logic Programming, Proc. 8th Intl. Conference on Logic Programming 1991 (ICLP\u201991), MIT Press, 1991, pages 745\u2013759."},{"issue":"2","key":"10_CR3","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF03025367","volume":"22","author":"R. Kaye","year":"2000","unstructured":"R. Kaye: Minesweeper is NP-complete, Mathematical Intelligencer, 22(2), 2000, pages 9\u201315.","journal-title":"Mathematical Intelligencer"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd: Foundations of Logic Programming, Second Edition, Springer, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"J. Lobo, J. Minker, A. Rajasekar: Foundations of Disjunctive Logic Programming, MIT Press, 1992.","DOI":"10.1016\/B978-0-12-450010-5.50022-0"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"K. Marriott, P. Stuckey: Programming with Constraints-An Introduction, MIT Press, 1998.","DOI":"10.7551\/mitpress\/5625.001.0001"},{"issue":"1","key":"10_CR7","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0743-1066(90)90033-2","volume":"9","author":"J. Minker","year":"1990","unstructured":"J. Minker, A. Rajasekar: A Fixpoint Semantics for Disjunctive Logic Programs. Journal of Logic Programming, 9(1), 1990, pages 45\u201374.","journal-title":"Journal of Logic Programming"},{"key":"10_CR8","unstructured":"I. Niemel\u00e4, P. Simmons: Extending the Smodels System with Cardinality and Weight Constraints, In Jack Minker (ed.): Logic-Based Artificial Intelligence, Kluwer, 2000, pages 491\u2013522."},{"issue":"1","key":"10_CR9","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1016\/S0743-1066(96)00116-1","volume":"32","author":"D. Seipel","year":"1997","unstructured":"D. Seipel, J. Minker, C. Ruiz: Model Generation and State Generation for Disjunctive Logic Programs, Journal of Logic Programming, 32(1), 1997, pages 48\u201369.","journal-title":"Journal of Logic Programming"},{"key":"10_CR10","unstructured":"D. Seipel, H. Th\u00f6ne: DisLog-A System for Reasoning in Disjunctive Deductive Databases, Proc. Intl. Workshop on the Deductive Approach to Information Systems and Databases 1994 (DAISD\u201994), pages 325\u2013343."},{"key":"10_CR11","unstructured":"D. Seipel: DisLog-A Disjunctive Deductive Database Prototype, Proc. 12th Workshop on Logic Programming (WLP\u201997), 1997, pages 136\u2013143. DisLog is available at \n                  http:\/\/www-info1.informatik.uni-wuerzburg.de\/databases\/DisLog\n                  \n                ."},{"key":"10_CR12","unstructured":"D. Seipel, U. Geske: Cardinality Constraints in Disjunctive Deductive Databases, In Workshop on Deductive Databases and Logic Programming (DDLP\u20192000) at the International Conference on Applications of Prolog (INAP\u20192000), 2000."},{"issue":"3","key":"10_CR13","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/S0169-023X(00)00016-1","volume":"34","author":"A.H. Yahya","year":"2000","unstructured":"A.H. Yahya: Minimal Model Generation for Refined Answering of Generalized Queries in Disjunctive Deductive Databases. Journal of Data and Knowledge Engineering, 34(3), 2000, pages 219\u2013249.","journal-title":"Journal of Data and Knowledge Engineering"}],"container-title":["Lecture Notes in Computer Science","Semantics in Databases"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36596-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:35:17Z","timestamp":1558262117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36596-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540009573","9783540365969"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-36596-6_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"1 April 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}