{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:08:11Z","timestamp":1742944091611,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307423"},{"type":"electronic","value":"9783642307430"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30743-0_32","type":"book-chapter","created":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T23:49:46Z","timestamp":1338594586000},"page":"471-486","source":"Crossref","is-referenced-by-count":0,"title":["Disjunctive Programs with Set Constraints"],"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":[{"doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2003)","key":"32_CR1","DOI":"10.1017\/CBO9780511543357"},{"unstructured":"Brik, A., Remmel, J.B.: Computing Stable Models of Logic Programs Using Metropolis Type Algorithms. In: Proceedings of Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2011, paper no. 6, 15 pgs (2011)","key":"32_CR2"},{"key":"32_CR3","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/BF01536399","volume":"15","author":"T. Eiter","year":"1995","unstructured":"Eiter, T., Gottlob, G.: On the Computational Cost of Disjunctive Logic Programming: Propositional Case. Ann. Math. Artif. Intell.\u00a015, 289\u2013323 (1995)","journal-title":"Ann. Math. Artif. Intell."},{"doi-asserted-by":"crossref","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative Problem-solving in DLV. In: Minker, J. (ed.) Logic-based Artificial Intelligence, pp. 79\u2013103 (2000)","key":"32_CR4","DOI":"10.1007\/978-1-4615-1567-8_4"},{"key":"32_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1017\/S1471068403001923","volume":"5","author":"P. Ferraris","year":"2005","unstructured":"Ferraris, P., Lifschitz, V.: Weight constraints as nested expressions. Theor. Pract. Logic Prog.\u00a05, 45\u201374 (2005)","journal-title":"Theor. Pract. Logic Prog."},{"unstructured":"Gelfond, M., Lifschitz, V.: The stable semantics for logic programs. In: Proceedings 5th Int\u2019l. Symp. Logic Programming, pp. 1070\u20131080. MIT Press (1988)","key":"32_CR6"},{"key":"32_CR7","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gen. Comput.\u00a09, 365\u2013385 (1991)","journal-title":"New Gen. Comput."},{"key":"32_CR8","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V. Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Trans. Comput. Log.\u00a02, 526\u2013541 (2001)","journal-title":"ACM Trans. Comput. Log."},{"key":"32_CR9","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1613\/jair.2009","volume":"27","author":"L. Liu","year":"2006","unstructured":"Liu, L., Truszczynski, M.: Properties and Applications of Programs with Monotone and Convex Constraints. J. Artif. Intell. Res.\u00a027, 299\u2013334 (2006)","journal-title":"J. Artif. Intell. Res."},{"key":"32_CR10","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/j.artint.2009.11.016","volume":"174","author":"L. Liu","year":"2010","unstructured":"Liu, L., Pontelli, E., Son, T.C., Truszczynski, M.: Logic Programs with Abstract Constraint Atoms \u2013 the Role of Computations. Artif. Intell.\u00a0174, 295\u2013315 (2010)","journal-title":"Artif. Intell."},{"doi-asserted-by":"crossref","unstructured":"Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. MIT Press (1992)","key":"32_CR11","DOI":"10.1016\/B978-0-12-450010-5.50022-0"},{"doi-asserted-by":"crossref","unstructured":"Marek, V.W.: Introduction to Mathematics of Satisfiability. CRC Press (2009)","key":"32_CR12","DOI":"10.1201\/9781439801741"},{"key":"32_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-540-24609-1_16","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"V.W. Marek","year":"2003","unstructured":"Marek, V.W., Remmel, J.B.: Set Constraints in Logic Programming. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 167\u2013179. Springer, Heidelberg (2003)"},{"unstructured":"Marek, V.W., Remmel, J.B.: Effective Set Constraints (in preparation)","key":"32_CR14"},{"key":"32_CR15","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/BF01531080","volume":"1","author":"W. Marek","year":"1990","unstructured":"Marek, W., Nerode, A., Remmel, J.B.: Nonmonotonic rule systems I. Ann. Math. Artif. Intell.\u00a01, 241\u2013273 (1990)","journal-title":"Ann. Math. Artif. Intell."},{"key":"32_CR16","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/S0168-0072(98)00041-4","volume":"96","author":"W. Marek","year":"1999","unstructured":"Marek, W., Nerode, A., Remmel, J.B.: Logic Programs, Well-orderings, and Forward Chaining. Ann. Pure App. Logic\u00a096, 231\u2013276 (1999)","journal-title":"Ann. Pure App. Logic"},{"key":"32_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01530759","volume":"12","author":"J. Minker","year":"1994","unstructured":"Minker, J.: Overview of Disjunctive Logic Programming. Ann. Math. Artif. Intell.\u00a012, 1\u201324 (1994)","journal-title":"Ann. Math. Artif. Intell."},{"key":"32_CR18","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":"32_CR19","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1613\/jair.2171","volume":"29","author":"T.C. Son","year":"2007","unstructured":"Son, T.C., Pontelli, E., Tu, P.H.: Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. J. Artif. Intell. Res.\u00a029, 353\u2013389 (2007)","journal-title":"J. Artif. Intell. Res."},{"key":"32_CR20","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. J. ACM\u00a023, 733\u2013742 (1976)","journal-title":"J. ACM"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:56:57Z","timestamp":1558299417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}