{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:27:21Z","timestamp":1725575241569},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540207214"},{"type":"electronic","value":"9783540246091"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24609-1_16","type":"book-chapter","created":{"date-parts":[[2011,1,13]],"date-time":"2011-01-13T22:31:31Z","timestamp":1294957891000},"page":"167-179","source":"Crossref","is-referenced-by-count":16,"title":["Set Constraints in Logic Programming"],"prefix":"10.1007","author":[{"given":"Victor W.","family":"Marek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffrey B.","family":"Remmel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Aloul, F.A., Ramani, A., Markov, I., Sakallah, K.: PBS: A backtracksearch pseudo-boolean solver and optimizer. In: SAT 2002 (2002)"},{"issue":"3","key":"16_CR2","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K.R. Apt","year":"1982","unstructured":"Apt, K.R., van Emden, M.H.: Contributions to the theory of logic programming. Journal of the ACM\u00a029(3), 841\u2013862 (1982)","journal-title":"Journal of the ACM"},{"key":"16_CR3","first-page":"518","volume-title":"KR 1996","author":"P. Cholewi\u0144ski","year":"1996","unstructured":"Cholewi\u0144ski, P., Marek, W., Truszczy\u0144ski, M.: Default reasoning system DeReS. In: KR 1996, pp. 518\u2013528. Morgan Kaufmann, San Francisco (1996)"},{"key":"16_CR4","unstructured":"Proceedings of the AAAI Spring 2001 Symposium on Answer Set Programming, Stanford, CA, USA (2001)"},{"key":"16_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning, and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"16_CR6","first-page":"177","volume-title":"KR 2002","author":"M. Denecker","year":"2002","unstructured":"Denecker, M., Marek, V.W., Truszczy\u0144ski, M.: Ultimate approximations in nonmonotonic knowledge representation systems. In: KR 2002, pp. 177\u2013188. Morgan-Kaufmann, San Francisco (2002)"},{"key":"16_CR7","unstructured":"East, D., Truszczynski, M.: More on wire-routing. In: ASP 2001 (2001)"},{"key":"16_CR8","unstructured":"East, D., Truszczynski, M.: aspps solver (2002), \n                    \n                      http:\/\/www.cs.uky.edu\/ai\/"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","first-page":"290","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Veith, H.: Modular Logic Programs and General Quantifiers. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 290\u2013309. Springer, Heidelberg (1997)"},{"key":"16_CR10","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The KR System dlv: Progress Report, Comparisons, and Benchmarks. In: KR 1998, pp. 406\u2013417 (1998)"},{"key":"16_CR11","unstructured":"Ferraris, P., Lifschitz, V.: Weight constraints as nested expressions. To appear in Theory and Practice of Logic Programming"},{"key":"16_CR12","unstructured":"Ferry, A.: Topological Characterizations for Logic Programming Semantics. Ph.D. Dissertation, University of Michigan (1994)"},{"key":"16_CR13","unstructured":"Gelfond, M., Lifschitz, V.: The stable semantics for logic programs. In: ISLP 1988, pp. 1070\u20131080 (1988)"},{"key":"16_CR14","first-page":"318","volume-title":"IJCAI 1999","author":"H.A. Kautz","year":"1999","unstructured":"Kautz, H.A., Selman, B.: Unifying sat-based and graph-based planning. In: IJCAI 1999, pp. 318\u2013325. Morgan Kaufmann, San Francisco (1999)"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/BF01531080","volume":"1","author":"V. Marek","year":"1990","unstructured":"Marek, V., Nerode, A., Remmel, J.B.: Nonmonotonic rule systems I. Annals of Mathematics and Artificial Intelligence\u00a01, 241\u2013273 (1990)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"16_CR16","unstructured":"Marek, V.W., Remmel, J.B.: On logic programs with cardinality constraints. In: NMR9, pp. 219\u2013228 (2002)"},{"issue":"2","key":"16_CR17","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0304-3975(97)00092-3","volume":"190","author":"V. Marek","year":"1995","unstructured":"Marek, V., Truszczy\u0144ski, M.: Revision Programming. Theoretical Computer Science\u00a0190(2), 241\u2013277 (1995)","journal-title":"Theoretical Computer Science"},{"key":"16_CR18","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm","author":"V. Marek","year":"1999","unstructured":"Marek, V., Truszczy\u0144ski, M.: Stable Models and an Alternative Logic Programming Paradigm. In: The Logic Programming Paradigm, pp. 375\u2013398. Springer, Heidelberg (1999)"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels \u2013 an implementation of the stable model and well-founded semantics for normal logic programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 420\u2013429. Springer, Heidelberg (1997)"},{"key":"16_CR20","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/978-1-4615-1567-8_21","volume-title":"Logic-Based Artificial Intelligence","author":"I. Niemel\u00e4","year":"2000","unstructured":"Niemel\u00e4, I., Simons, P.: Extending Smodels System with Cardinality and Weight Constraints. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 491\u2013521. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"16_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-46767-X_23","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I., Simons, P., Soininen, T.: Stable Model Semantics of Weight Constraint Rules. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730, pp. 317\u2013331. Springer, Heidelberg (1999)"},{"key":"16_CR22","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BF00881915","volume":"13","author":"C. Sakama","year":"1994","unstructured":"Sakama, C., Inoue, K.: An alternative approach to the Semantics of Disjunctive Logic Programs and Deductive Databases. Journal of Automated Reasoning\u00a013, 145\u2013172 (1994)","journal-title":"Journal of Automated Reasoning"},{"key":"16_CR23","first-page":"359","volume-title":"ECAI 1992","author":"B. Selman","year":"1992","unstructured":"Selman, B., Kautz, H.A.: Planning as satisfiability. In: ECAI 1992, pp. 359\u2013363. Wiley, Chichester (1992)"},{"key":"16_CR24","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: Unfounded sets and wellfounded semantics for general logic programs. Journal of the ACM\u00a038, 620\u2013650 (1991)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24609-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T15:33:44Z","timestamp":1553355224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24609-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540207214","9783540246091"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24609-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}