{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T17:14:21Z","timestamp":1764350061447},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208942"},{"type":"electronic","value":"9783642208959"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20895-9_14","type":"book-chapter","created":{"date-parts":[[2011,4,25]],"date-time":"2011-04-25T04:40:34Z","timestamp":1303706434000},"page":"148-160","source":"Crossref","is-referenced-by-count":3,"title":["Dynamic Magic Sets for Programs with Monotone Recursive Aggregates"],"prefix":"10.1007","author":[{"given":"Mario","family":"Alviano","sequence":"first","affiliation":[]},{"given":"Gianluigi","family":"Greco","sequence":"additional","affiliation":[]},{"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Foundations of Disjunctive Logic Programming","author":"J. Lobo","year":"1992","unstructured":"Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. The MIT Press, Cambridge (1992)"},{"issue":"3","key":"14_CR2","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM TODS\u00a022(3), 364\u2013418 (1997)","journal-title":"ACM TODS"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Ricca, F., Grasso, G., Alviano, M., Manna, M., Lio, V., Iiritano, S., Leone, N.: Team-building with Answer Set Programming in the Gioia-Tauro Seaport. TPLP (2011) (to appear)","DOI":"10.1017\/S147106841100007X"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Manna, M., Ruffolo, M., Oro, E., Alviano, M., Leone, N.: The HiLeX System for Semantic Information Extraction. TLDKS(2011) (to appear)","DOI":"10.1007\/978-3-642-28148-8_5"},{"key":"14_CR5","doi-asserted-by":"crossref","first-page":"35","DOI":"10.3233\/FI-2010-357","volume":"105","author":"F. Ricca","year":"2010","unstructured":"Ricca, F., Alviano, M., Dimasi, A., Grasso, G., Ielpa, S.M., Iiritano, S., Manna, M., Leone, N.: A Logic\u2013Based System for e-Tourism. FI\u00a0105, 35\u201355 (2010)","journal-title":"FI"},{"issue":"3","key":"14_CR6","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.: The DLV System for Knowledge Representation and Reasoning. ACM TOCL\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM TOCL"},{"key":"14_CR7","unstructured":"Janhunen, T., Niemel\u00e4, I., Simons, P., You, J.H.: Partiality and Disjunctions in Stable Model Semantics. In: KR 2000, April 12-15, pp. 411\u2013419 (2000)"},{"key":"14_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/11546207_44","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"Y. Lierler","year":"2005","unstructured":"Lierler, Y.: Disjunctive Answer Set Programming via Satisfiability. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 447\u2013451. Springer, Heidelberg (2005)"},{"key":"14_CR9","first-page":"422","volume-title":"KR 2008","author":"C. Drescher","year":"2008","unstructured":"Drescher, C., Gebser, M., Grote, T., Kaufmann, B., K\u00f6nig, A., Ostrowski, M., Schaub, T.: Conflict-Driven Disjunctive Answer Set Solving. In: KR 2008, pp. 422\u2013432. AAAI Press, Menlo Park (2008)"},{"key":"14_CR10","first-page":"387","volume-title":"ISLP 1991","author":"D.B. Kemp","year":"1991","unstructured":"Kemp, D.B., Stuckey, P.J.: Semantics of Logic Programs with Aggregates. In: ISLP 1991, pp. 387\u2013401. MIT Press, Cambridge (1991)"},{"key":"14_CR11","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., Pelov, N., Bruynooghe, M.: Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 212\u2013226. Springer, Heidelberg (2001)"},{"key":"14_CR12","unstructured":"Dix, J., Osorio, M.: On Well-Behaved Semantics Suitable for Aggregation. In: ILPS 1997, Port Jefferson, N.Y (1997)"},{"key":"14_CR13","first-page":"181","volume":"138","author":"P. Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and Implementing the Stable Model Semantics. AI\u00a0138, 181\u2013234 (2002)","journal-title":"AI"},{"key":"14_CR14","unstructured":"Pelov, N., Truszczy\u0144ski, M.: Semantics of disjunctive programs with monotone aggregates - an operator-based approach. In: NMR 2004, pp. 327\u2013334 (2004)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Manna, M., Ricca, F., Terracina, G.: Consistent Query Answering via ASP from Different Perspectives: Theory and Practice. TPLP (2011) (to appear)","DOI":"10.1017\/S1471068411000640"},{"key":"14_CR16","volume-title":"Principles of Database and Knowledge Base Systems","author":"J.D. Ullman","year":"1989","unstructured":"Ullman, J.D.: Principles of Database and Knowledge Base Systems, vol.\u00a02. CS Press, Rockvillie (1989)"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Bancilhon, F., Maier, D., Sagiv, Y., Ullman, J.D.: Magic Sets and Other Strange Ways to Implement Logic Programs. In: PODS 1986, pp. 1\u201316 (1986)","DOI":"10.1145\/6012.15399"},{"issue":"1-4","key":"14_CR18","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0743-1066(91)90038-Q","volume":"10","author":"C. Beeri","year":"1991","unstructured":"Beeri, C., Ramakrishnan, R.: On the power of magic. JLP\u00a010(1-4), 255\u2013259 (1991)","journal-title":"JLP"},{"key":"14_CR19","unstructured":"Kowalski, R.A.: Predicate Logic as Programming Language. In: IFIP Congress, pp. 569\u2013574 (1974)"},{"issue":"2","key":"14_CR20","first-page":"368","volume":"15","author":"S. Greco","year":"2003","unstructured":"Greco, S.: Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries. IEEE TKDE\u00a015(2), 368\u2013385 (2003)","journal-title":"IEEE TKDE"},{"key":"14_CR21","unstructured":"Cumbo, C., Faber, W., Greco, G.: Improving Query Optimization for Disjunctive Datalog. In: APPIA-GULP-PRODE, pp. 252\u2013262 (2003)"},{"issue":"4","key":"14_CR22","first-page":"584","volume":"73","author":"W. Faber","year":"2007","unstructured":"Faber, W., Greco, G., Leone, N.: Magic Sets and their Application to Data Integration. JCSS\u00a073(4), 584\u2013609 (2007)","journal-title":"JCSS"},{"key":"14_CR23","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. NGC\u00a09, 365\u2013385 (1991)","journal-title":"NGC"},{"key":"14_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30227-8_19","volume-title":"Logics in Artificial Intelligence","author":"W. Faber","year":"2004","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: Semantics and complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 200\u2013212. Springer, Heidelberg (2004)"},{"key":"14_CR25","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"issue":"5-6","key":"14_CR26","first-page":"545","volume":"8","author":"W. Faber","year":"2008","unstructured":"Faber, W., Pfeifer, G., Leone, N., Dell\u2019Armi, T., Ielpa, G.: Design and implementation of aggregate functions in the dlv system. TPLP\u00a08(5-6), 545\u2013580 (2008)","journal-title":"TPLP"},{"key":"14_CR27","unstructured":"Alviano, M., Faber, W., Leone, N.: Using unfounded sets for computing answer sets of programs with recursive aggregates. In: CILC 2007 (2007)"},{"key":"14_CR28","unstructured":"Alviano, M.: Dynamic Magic Sets for Disjunctive Datalog Programs. In: ICLP 2010. LIPIcs, vol.\u00a07, pp. 226\u2013235 (2010)"}],"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-642-20895-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,18]],"date-time":"2020-06-18T16:01:03Z","timestamp":1592496063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20895-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208942","9783642208959"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20895-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}