{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:50:23Z","timestamp":1762102223070,"version":"3.37.3"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2018,6,8]],"date-time":"2018-06-08T00:00:00Z","timestamp":1528416000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"H2020 I&C","award":["B28I17000250008"],"award-info":[{"award-number":["B28I17000250008"]}]},{"DOI":"10.13039\/501100009877","name":"Regione Calabria","doi-asserted-by":"crossref","award":["J28C17000220006"],"award-info":[{"award-number":["J28C17000220006"]}],"id":[{"id":"10.13039\/501100009877","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100010665","name":"H2020 Marie Sk\u0142odowska-Curie Actions","doi-asserted-by":"publisher","award":["690974"],"award-info":[{"award-number":["690974"]}],"id":[{"id":"10.13039\/100010665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s13218-018-0545-9","type":"journal-article","created":{"date-parts":[[2018,6,8]],"date-time":"2018-06-08T01:51:35Z","timestamp":1528422695000},"page":"119-124","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Aggregates in Answer Set Programming"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2052-2063","authenticated-orcid":false,"given":"Mario","family":"Alviano","sequence":"first","affiliation":[]},{"given":"Wolfgang","family":"Faber","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,6,8]]},"reference":[{"issue":"1\u20132","key":"545_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/FI-2016-1441","volume":"149","author":"M Alviano","year":"2016","unstructured":"Alviano M (2016) Evaluating answer set programming with non-convex recursive aggregates. Fundam Inform 149(1\u20132):1\u201334. https:\/\/doi.org\/10.3233\/FI-2016-1441","journal-title":"Fundam Inform"},{"key":"545_CR2","doi-asserted-by":"publisher","unstructured":"Alviano M, Calimeri F, Dodaro C, Fusc\u00e0 D, Leone N, Perri S, Ricca F, Veltri P, Zangari J (2017) The ASP system DLV2. In: Balduccini M, Janhunen T (eds) Logic programming and nonmonotonic reasoning\u201414th international conference, LPNMR 2017, Espoo, Finland, July 3\u20136, 2017, Proceedings, lecture notes in computer science, vol 10377, pp 215\u2013221. Springer. https:\/\/doi.org\/10.1007\/978-3-319-61660-5_19","DOI":"10.1007\/978-3-319-61660-5_19"},{"key":"545_CR3","doi-asserted-by":"publisher","unstructured":"Alviano M, Dodaro C, Leone N, Ricca F (2015) Advances in WASP. In: Calimeri F, Ianni G, Truszczynski M (eds) Logic programming and nonmonotonic reasoning\u201413th international conference, LPNMR 2015, Lexington, KY, USA, September 27\u201330, 2015. Proceedings, lecture notes in computer science, vol 9345, pp 40\u201354. Springer. https:\/\/doi.org\/10.1007\/978-3-319-23264-5_5","DOI":"10.1007\/978-3-319-23264-5_5"},{"key":"545_CR4","doi-asserted-by":"publisher","unstructured":"Alviano M, Faber W (2013) The complexity boundary of answer set programming with generalized atoms under the FLP semantics. In: Cabalar P, Son TC (eds) Logic programming and nonmonotonic reasoning, 12th international conference, LPNMR 2013, Corunna, Spain, September 15\u201319, 2013. Proceedings, lecture notes in computer science, vol 8148, pp 67\u201372. Springer. https:\/\/doi.org\/10.1007\/978-3-642-40564-8_7","DOI":"10.1007\/978-3-642-40564-8_7"},{"key":"545_CR5","doi-asserted-by":"publisher","unstructured":"Alviano M, Faber W (2015) Supportedly stable answer sets for logic programs with generalized atoms. In: ten Cate B, Mileo A (eds) Web reasoning and rule systems\u20149th international conference, RR 2015, Berlin, Germany, August 4\u20135, 2015, Proceedings, lecture notes in computer science, vol 9209, pp 30\u201344. Springer. https:\/\/doi.org\/10.1007\/978-3-319-22002-4_4","DOI":"10.1007\/978-3-319-22002-4_4"},{"issue":"4\u20135","key":"545_CR6","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1017\/S1471068415000228","volume":"15","author":"M Alviano","year":"2015","unstructured":"Alviano M, Faber W, Gebser M (2015) Rewriting recursive aggregates in answer set programming: back to monotonicity. TPLP 15(4\u20135):559\u2013573. https:\/\/doi.org\/10.1017\/S1471068415000228","journal-title":"TPLP"},{"key":"#cr-split#-545_CR7.1","unstructured":"Alviano M, Faber W, Gebser M (2016) From non-convex aggregates to monotone aggregates in ASP. In: Kambhampati S"},{"key":"#cr-split#-545_CR7.2","unstructured":"(ed) Proceedings of the twenty-fifth international joint conference on artificial intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pp 4100-4194. IJCAI\/AAAI Press. http:\/\/www.ijcai.org\/Abstract\/16\/610"},{"key":"545_CR8","doi-asserted-by":"publisher","unstructured":"Alviano M, Faber W, Leone N, Perri S, Pfeifer G, Terracina G (2010) The disjunctive datalog system DLV. In: de Moor O, Gottlob G, Furche T, Sellers AJ (eds) Datalog reloaded\u2014first international workshop, datalog 2010, Oxford, UK, March 16\u201319, 2010. Revised selected papers, lecture notes in computer science, vol 6702, pp 282\u2013301. Springer. https:\/\/doi.org\/10.1007\/978-3-642-24206-9_17","DOI":"10.1007\/978-3-642-24206-9_17"},{"key":"545_CR9","doi-asserted-by":"crossref","unstructured":"Alviano M, Faber W, Strass H (2016) Boolean functions with ordered domains in answer set programming. In: Schuurmans D, Wellman MP (eds) Proceedings of the thirtieth AAAI conference on artificial intelligence, February 12\u201317, 2016, Phoenix, Arizona, USA, pp 879\u2013885. AAAI Press. http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI16\/paper\/view\/12078","DOI":"10.1609\/aaai.v30i1.10096"},{"issue":"4\u20135","key":"545_CR10","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1017\/S147106841500023X","volume":"15","author":"M Alviano","year":"2015","unstructured":"Alviano M, Leone N (2015) Complexity and compilation of gz-aggregates in answer set programming. TPLP 15(4\u20135):574\u2013587. https:\/\/doi.org\/10.1017\/S147106841500023X","journal-title":"TPLP"},{"key":"#cr-split#-545_CR11.1","unstructured":"Alviano M, Leone N (2016) On the properties of gz-aggregates in answer set programming. In: Kambhampati S"},{"key":"#cr-split#-545_CR11.2","unstructured":"(ed) Proceedings of the twenty-fifth international joint conference on artificial intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pp 4105-4109. IJCAI\/AAAI Press. http:\/\/www.ijcai.org\/Abstract\/16\/611"},{"key":"545_CR12","unstructured":"Bartholomew M, Lee J, Meng Y (2011) First-order semantics of aggregates in answer set programming via modified circumscription. In: Logical formalizations of commonsense reasoning, papers from the 2011 AAAI spring symposium, technical report SS-11-06, Stanford, California, USA, March 21\u201323, 2011. AAAI"},{"issue":"2","key":"545_CR13","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1006\/jcss.2002.1852","volume":"65","author":"P Berman","year":"2002","unstructured":"Berman P, Karpinski M, Larmore LL, Plandowski W, Rytter W (2002) On the complexity of pattern matching for highly compressed two-dimensional texts. J Comput Syst Sci 65(2):332\u2013350. https:\/\/doi.org\/10.1006\/jcss.2002.1852","journal-title":"J Comput Syst Sci"},{"key":"545_CR14","doi-asserted-by":"publisher","unstructured":"Bomanson J, Gebser M, Janhunen T (2014) Improving the normalization of weight rules in answer set programs. In: Ferm\u00e9 E, Leite J (eds) JELIA 2014, Funchal, Madeira, Portugal, September 24\u201326, 2014. Proceedings, lecture notes in computer science, vol 8761, pp 166\u2013180. Springer. https:\/\/doi.org\/10.1007\/978-3-319-11558-0_12","DOI":"10.1007\/978-3-319-11558-0_12"},{"key":"545_CR15","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-40564-8_19","volume-title":"Normalizing cardinality rules using merging and sorting constructions","author":"J Bomanson","year":"2013","unstructured":"Bomanson J, Janhunen T (2013) Normalizing cardinality rules using merging and sorting constructions. Springer, Berlin, pp 187\u2013199. https:\/\/doi.org\/10.1007\/978-3-642-40564-8_19"},{"issue":"12","key":"545_CR16","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka G, Eiter T, Truszczynski M (2011) Answer set programming at a glance. Commun ACM 54(12):92\u2013103. https:\/\/doi.org\/10.1145\/2043174.2043195","journal-title":"Commun ACM"},{"issue":"6","key":"545_CR17","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1017\/S147106841400009X","volume":"15","author":"M Bruynooghe","year":"2015","unstructured":"Bruynooghe M, Blockeel H, Bogaerts B, de Cat B, Pooter SD, Jansen J, Labarre A, Ramon J, Denecker M, Verwer S (2015) Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. TPLP 15(6):783\u2013817. https:\/\/doi.org\/10.1017\/S147106841400009X","journal-title":"TPLP"},{"issue":"5\u20136","key":"545_CR18","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1017\/S1471068416000508","volume":"16","author":"J Devriendt","year":"2016","unstructured":"Devriendt J, Bogaerts B, Bruynooghe M, Denecker M (2016) On local domain symmetry for model expansion. TPLP 16(5\u20136):636\u2013652. https:\/\/doi.org\/10.1017\/S1471068416000508","journal-title":"TPLP"},{"issue":"1","key":"545_CR19","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1016\/j.artint.2010.04.002","volume":"175","author":"W Faber","year":"2011","unstructured":"Faber W, Pfeifer G, Leone N (2011) Semantics and complexity of recursive aggregates in answer set programming. Artif Intell 175(1):278\u2013298. https:\/\/doi.org\/10.1016\/j.artint.2010.04.002","journal-title":"Artif Intell"},{"issue":"5\u20136","key":"545_CR20","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1017\/S1471068408003323","volume":"8","author":"W Faber","year":"2008","unstructured":"Faber W, Pfeifer G, Leone N, Dell\u2019Armi T, Ielpa G (2008) Design and implementation of aggregate functions in the DLV system. TPLP 8(5\u20136):545\u2013580. https:\/\/doi.org\/10.1017\/S1471068408003323","journal-title":"TPLP"},{"issue":"4","key":"545_CR21","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1970398.1970401","volume":"12","author":"P Ferraris","year":"2011","unstructured":"Ferraris P (2011) Logic programs with propositional connectives and aggregates. ACM Trans Comput Log 12(4):25. https:\/\/doi.org\/10.1145\/1970398.1970401","journal-title":"ACM Trans Comput Log"},{"key":"545_CR22","doi-asserted-by":"publisher","unstructured":"Gebser M, Kaminski R, K\u00f6nig A, Schaub T (2011) Advances in gringo series 3. In: Delgrande JP, Faber W (eds) LPNMR 2011, Vancouver, Canada, May 16\u201319, 2011. Proceedings, lecture notes in computer science, vol 6645, pp 345\u2013351. Springer. https:\/\/doi.org\/10.1007\/978-3-642-20895-9_39","DOI":"10.1007\/978-3-642-20895-9_39"},{"key":"545_CR23","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.artint.2012.04.001","volume":"187","author":"M Gebser","year":"2012","unstructured":"Gebser M, Kaufmann B, Schaub T (2012) Conflict-driven answer set solving: from theory to practice. Artif Intell 187:52\u201389. https:\/\/doi.org\/10.1016\/j.artint.2012.04.001","journal-title":"Artif Intell"},{"key":"545_CR24","unstructured":"Gelfond M, Lifschitz V (1988) The stable model semantics for logic programming. In: Kowalski RA, Bowen KA (eds) Logic programming, proceedings of the fifth international conference and symposium, Seattle, Washington, August 15\u201319, 1988 (vol 2). MIT Press, pp 1070\u20131080"},{"issue":"3\/4","key":"545_CR25","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond M, Lifschitz V (1991) Classical negation in logic programs and disjunctive databases. New Gener Comput. 9(3\/4):365\u2013386. https:\/\/doi.org\/10.1007\/BF03037169","journal-title":"New Gener Comput."},{"issue":"4\u20135","key":"545_CR26","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1017\/S1471068414000222","volume":"14","author":"M Gelfond","year":"2014","unstructured":"Gelfond M, Zhang Y (2014) Vicious circle principle and logic programs with aggregates. TPLP 14(4\u20135):587\u2013601. https:\/\/doi.org\/10.1017\/S1471068414000222","journal-title":"TPLP"},{"issue":"4","key":"545_CR27","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/s10817-006-9033-2","volume":"36","author":"E Giunchiglia","year":"2006","unstructured":"Giunchiglia E, Lierler Y, Maratea M (2006) Answer set programming based on propositional satisfiability. J Autom Reason 36(4):345\u2013377. https:\/\/doi.org\/10.1007\/s10817-006-9033-2","journal-title":"J Autom Reason"},{"issue":"1\u20132","key":"545_CR28","doi-asserted-by":"publisher","first-page":"35","DOI":"10.3166\/jancl.16.35-86","volume":"16","author":"T Janhunen","year":"2006","unstructured":"Janhunen T (2006) Some (in)translatability results for normal logic programs and propositional theories. J Appl Non-Clas Log 16(1\u20132):35\u201386. https:\/\/doi.org\/10.3166\/jancl.16.35-86","journal-title":"J Appl Non-Clas Log"},{"issue":"3","key":"545_CR29","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone N, Pfeifer G, Faber W, Eiter T, Gottlob G, Perri S, Scarcello F (2006) The DLV system for knowledge representation and reasoning. ACM Trans Comput Log 7(3):499\u2013562. https:\/\/doi.org\/10.1145\/1149114.1149117","journal-title":"ACM Trans Comput Log"},{"issue":"1","key":"545_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S147106841100038X","volume":"13","author":"G Liu","year":"2013","unstructured":"Liu G, You J (2013) Relating weight constraint and aggregate programs: semantics and representation. TPLP 13(1):1\u201331. https:\/\/doi.org\/10.1017\/S147106841100038X","journal-title":"TPLP"},{"issue":"3\u20134","key":"545_CR31","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 TC, Truszczynski M (2010) Logic programs with abstract constraint atoms: the role of computations. Artif Intell 174(3\u20134):295\u2013315. https:\/\/doi.org\/10.1016\/j.artint.2009.11.016","journal-title":"Artif Intell"},{"key":"545_CR32","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1613\/jair.2009","volume":"27","author":"L Liu","year":"2006","unstructured":"Liu L, Truszczynski M (2006) Properties and applications of programs with monotone and convex constraints. J Artif Intell Res 27:299\u2013334. https:\/\/doi.org\/10.1613\/jair.2009","journal-title":"J Artif Intell Res"},{"issue":"6","key":"545_CR33","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1017\/S1471068413000094","volume":"14","author":"M Maratea","year":"2014","unstructured":"Maratea M, Pulina L, Ricca F (2014) A multi-engine approach to answer-set programming. TPLP 14(6):841\u2013868. https:\/\/doi.org\/10.1017\/S1471068413000094","journal-title":"TPLP"},{"issue":"2","key":"545_CR34","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1017\/S147106840700302X","volume":"8","author":"VW Marek","year":"2008","unstructured":"Marek VW, Niemel\u00e4 I, Truszczynski M (2008) Logic programs with monotone abstract constraint atoms. TPLP 8(2):167\u2013199. https:\/\/doi.org\/10.1017\/S147106840700302X","journal-title":"TPLP"},{"key":"545_CR35","doi-asserted-by":"publisher","unstructured":"Mari\u00ebn M, Wittocx J, Denecker M, Bruynooghe M (2008) SAT(ID): satisfiability of propositional logic extended with inductive definitions. In: B\u00fcning HK, Zhao X (eds) Theory and applications of satisfiability testing\u2014SAT 2008, 11th international conference, SAT 2008, Guangzhou, China, May 12\u201315, 2008. Proceedings, lecture notes in computer science, vol 4996, pp 211\u2013224. Springer. https:\/\/doi.org\/10.1007\/978-3-540-79719-7_20","DOI":"10.1007\/978-3-540-79719-7_20"},{"key":"545_CR36","doi-asserted-by":"publisher","unstructured":"Niemel\u00e4 I, Simons P, Soininen T (1999) Stable model semantics of weight constraint rules. In: Gelfond M, Leone N, Pfeifer G (eds) Logic programming and nonmonotonic reasoning, 5th international conference, LPNMR\u201999, El Paso, Texas, USA, December 2\u20134, 1999, Proceedings, lecture notes in computer science, vol 1730, pp 317\u2013331. Springer. https:\/\/doi.org\/10.1007\/3-540-46767-X_23","DOI":"10.1007\/3-540-46767-X_23"},{"issue":"3","key":"545_CR37","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1017\/S1471068406002973","volume":"7","author":"N Pelov","year":"2007","unstructured":"Pelov N, Denecker M, Bruynooghe M (2007) Well-founded and stable semantics of logic programs with aggregates. TPLP 7(3):301\u2013353. https:\/\/doi.org\/10.1017\/S1471068406002973","journal-title":"TPLP"},{"key":"545_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2014.05.001","volume":"213","author":"Y Shen","year":"2014","unstructured":"Shen Y, Wang K, Eiter T, Fink M, Redl C, Krennwallner T, Deng J (2014) FLP answer set semantics without circular justifications for general logic programs. Artif Intell 213:1\u201341. https:\/\/doi.org\/10.1016\/j.artint.2014.05.001","journal-title":"Artif Intell"},{"issue":"1\u20132","key":"545_CR39","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P Simons","year":"2002","unstructured":"Simons P, Niemel\u00e4 I, Soininen T (2002) Extending and implementing the stable model semantics. Artif Intell 138(1\u20132):181\u2013234. https:\/\/doi.org\/10.1016\/S0004-3702(02)00187-X","journal-title":"Artif Intell"},{"issue":"3","key":"545_CR40","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1017\/S1471068406002936","volume":"7","author":"TC Son","year":"2007","unstructured":"Son TC, Pontelli E (2007) A constructive semantic characterization of aggregates in answer set programming. TPLP 7(3):355\u2013375. https:\/\/doi.org\/10.1017\/S1471068406002936","journal-title":"TPLP"},{"issue":"5\u20136","key":"545_CR41","doi-asserted-by":"publisher","first-page":"1048","DOI":"10.1017\/S1471068417000436","volume":"17","author":"C Zaniolo","year":"2017","unstructured":"Zaniolo C, Yang M, Das A, Shkapsky A, Condie T, Interlandi M (2017) Fixpoint semantics and optimization of recursive datalog programs with aggregates. TPLP 17(5\u20136):1048\u20131065. https:\/\/doi.org\/10.1017\/S1471068417000436","journal-title":"TPLP"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-018-0545-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-018-0545-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-018-0545-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,25]],"date-time":"2022-08-25T07:07:24Z","timestamp":1661411244000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-018-0545-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,8]]},"references-count":43,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["545"],"URL":"https:\/\/doi.org\/10.1007\/s13218-018-0545-9","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"type":"print","value":"0933-1875"},{"type":"electronic","value":"1610-1987"}],"subject":[],"published":{"date-parts":[[2018,6,8]]},"assertion":[{"value":"31 August 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 May 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 June 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}