{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:27:00Z","timestamp":1725575220182},"publisher-location":"Berlin, Heidelberg","reference-count":15,"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_34","type":"book-chapter","created":{"date-parts":[[2011,1,13]],"date-time":"2011-01-13T22:31:31Z","timestamp":1294957891000},"page":"356-360","source":"Crossref","is-referenced-by-count":0,"title":["Smodels with CLP\u2014A Treatment of Aggregates in ASP"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Pontelli","sequence":"first","affiliation":[]},{"given":"Tran Cao","family":"Son","sequence":"additional","affiliation":[]},{"given":"Islam","family":"Elkabani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"Babovich, Y., Lifschitz, V.: Computing Answer Sets Using Program Completion"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, reasoning, and declarative problem solving, Cambridge (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"34_CR3","volume-title":"PPDP","author":"A. Palu\u2019 Dal","year":"2003","unstructured":"Dal Palu\u2019, A., et al.: Integrating Finite Domain Constraints and CLP with Sets. In: PPDP. ACM Press, New York (2003)"},{"key":"34_CR4","unstructured":"Dell\u2019Armi, T., Faber, W., Ielpa, G., Leone, N., Pfeifer, G.: Aggregate Functions in Disjunctive Logic Programming. IJCAI (2003)"},{"key":"34_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/3-540-45635-X_22","volume-title":"Logic Programming","author":"M. Denecker","year":"2001","unstructured":"Denecker, M., et al.: Ultimate well-founded and stable semantics for logic programs with aggregates. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, p. 212. Springer, Heidelberg (2001)"},{"key":"34_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/978-3-540-24599-5_20","volume-title":"Logic Programming","author":"A. Dovier","year":"2003","unstructured":"Dovier, A., Pontelli, E., Rossi, G.: Intensional Sets in CLP. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol.\u00a02916, pp. 284\u2013299. Springer, Heidelberg (2003)"},{"key":"34_CR7","unstructured":"Eiter, T., et al.: The KR System dlv: Progress Report, Comparisons, and Benchmarks. In: KRR (1998)"},{"key":"34_CR8","volume-title":"Logic Programming & Beyond","author":"M. Gelfond","year":"2002","unstructured":"Gelfond, M.: Representing Knowledge in A-Prolog. In: Logic Programming & Beyond, Springer, Heidelberg (2002)"},{"key":"34_CR9","volume-title":"ILPS","author":"D. Kemp","year":"1991","unstructured":"Kemp, D., Stuckey, P.: Semantics of Logic Programs with Aggregates. In: ILPS. MIT Press, Cambridge (1991)"},{"key":"34_CR10","unstructured":"Lin, F., Zhao, Y.: ASSAT: Computing Answer Sets of Logic Programs By SAT Solvers. In: AAAI 2002 (2002)"},{"key":"34_CR11","first-page":"79","volume":"54","author":"K.A. Ross","year":"1997","unstructured":"Ross, K.A., Sagiv, Y.: Monotonic Aggregation in Deductive Databases. JCSS\u00a054, 79\u201397 (1997)","journal-title":"JCSS"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"Ross, K.A., et al.: Foundations of aggregation constraints. TCS\u00a0193(1-2) (1998)","DOI":"10.1016\/S0304-3975(97)00011-X"},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"Simons, P., et al.: Extending and Implementing the Stable Model Semantics. AIJ\u00a0138(1-2) (2002)","DOI":"10.1016\/S0004-3702(02)00187-X"},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"Shmueli, O., et al.: Compilation of Set Terms in the Logic Data Language (LDL). JLP\u00a012(1\/2) (1992)","DOI":"10.1016\/0743-1066(92)90040-A"},{"key":"34_CR15","volume-title":"PODS","author":"A. Gelder Van","year":"1992","unstructured":"Van Gelder, A.: The Well-Founded Semantics of Aggregation. In: PODS, ACM Press, New York (1992)"}],"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_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T16:52:58Z","timestamp":1559926378000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24609-1_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540207214","9783540246091"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24609-1_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}