{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:10:47Z","timestamp":1761621047454},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540226710"},{"type":"electronic","value":"9783540277750"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27775-0_6","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T20:29:36Z","timestamp":1284582576000},"page":"73-89","source":"Crossref","is-referenced-by-count":17,"title":["Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP"],"prefix":"10.1007","author":[{"given":"Islam","family":"Elkabani","sequence":"first","affiliation":[]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[]},{"given":"Tran Cao","family":"Son","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, reasoning, and problem solving, Cambridge (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Baral, C., Gelfond, M.: Logic Programming and Knowledge Representation. JLP\u00a019\/20 (1994)","DOI":"10.1016\/0743-1066(94)90025-6"},{"key":"6_CR3","unstructured":"Dell\u2019Armi, T., et al.: Aggregate Functions in DLV. In: Intl. ASP Workshop, vol.\u00a02 (2003)"},{"key":"6_CR4","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":"6_CR5","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., et al.: Intensional Sets in CLP. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol.\u00a02916, pp. 284\u2013299. Springer, Heidelberg (2003)"},{"key":"6_CR6","unstructured":"Eiter, T., et al.: The KR System dlv: Progress Report, Comparisons, and Benchmarks. KRR (1998)"},{"key":"6_CR7","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":"6_CR8","volume-title":"ILPS","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programs. In: ILPS, MIT, Cambridge (1988)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Greco, S.: Dynamic Programming in Datalog with Aggregates. TKDE\u00a011(2) (1999)","DOI":"10.1109\/69.761663"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Kemp, D., et al.: Efficient Recursive Aggregation and Negation in Deductive Databases. TKDE\u00a010(5) (1998)","DOI":"10.1109\/69.729729"},{"key":"6_CR11","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":"6_CR12","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, Springer, Heidelberg (1999)"},{"key":"6_CR13","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":"6_CR14","doi-asserted-by":"crossref","unstructured":"Ross, K., et al.: Foundations of Aggregation Constraints. TCS\u00a0193(1-2) (1998)","DOI":"10.1016\/S0304-3975(97)00011-X"},{"key":"6_CR15","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":"6_CR16","doi-asserted-by":"crossref","unstructured":"Van Gelder, A.: The Well-Founded Semantics of Aggregation. ACM PODS (1992)","DOI":"10.1145\/137097.137854"},{"key":"6_CR17","unstructured":"Wallace, M., Novello, S., Schimpf, J.: ECLiPSe: a Platform for Constraint Logic Programming. IC-Parc, Imperial College (1997)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27775-0_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:19:59Z","timestamp":1605759599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27775-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540226710","9783540277750"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27775-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}