{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:42:08Z","timestamp":1725486128210},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429357"},{"type":"electronic","value":"9783540456353"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45635-x_22","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T01:27:34Z","timestamp":1181179654000},"page":"212-226","source":"Crossref","is-referenced-by-count":23,"title":["Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates"],"prefix":"10.1007","author":[{"given":"Marc","family":"Denecker","sequence":"first","affiliation":[]},{"given":"Nikolay","family":"Pelov","sequence":"additional","affiliation":[]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,11,13]]},"reference":[{"issue":"1","key":"22_CR1","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0304-3975(93)90221-E","volume":"116","author":"M. P. Consens","year":"1993","unstructured":"M. P. Consens and A. O. Mendelzon. Low-complexity aggregation in GraphLog and Datalog. Theoretical Computer Science, 116(1):95\u2013116, 1993.","journal-title":"Theoretical Computer Science"},{"key":"22_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-49545-2_1","volume-title":"Logics in Artificial Intelligence, European Workshop","author":"M. Denecker","year":"1998","unstructured":"M. Denecker. The well-founded semantics is the principle of inductive definition. In J. Dix, L. F. del Cerro, and U. Furbach, editors, Logics in Artificial Intelligence, European Workshop, volume 1489 of Lecture Notes in Computer Science, pages 1\u201316, Dagstuhl, Germany, 1998. Springer."},{"key":"22_CR3","series-title":"Lecture Notes in Artificial Intelligence","first-page":"703","volume-title":"1st International Conference on Computational Logic","author":"M. Denecker","year":"2000","unstructured":"M. Denecker. Extending classical logic with inductive definitions. In J. Lloyd et al., editors, 1st International Conference on Computational Logic, volume 1861 of Lecture Notes in Artificial Intelligence, pages 703\u2013717, London, U.K., July 2000. Springer."},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"M. Denecker, M. Bruynooghe, and V. W. Marek. Logic programming revisited: logic programs as inductive definitions. ACM Transactions on Computational Logic, 2001. accepted.","DOI":"10.1145\/383779.383789"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"M. Denecker, V. Marek, and M. Truszczy\u0144ski. Approximating operators, stable operators, well-founded fixpoints and applications in non-monotonic reasoning. In J. Minker, editor, Logic-based Artificial Intelligence, pages 127\u2013144. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-1-4615-1567-8_6"},{"key":"22_CR6","unstructured":"M. Denecker, V. Marek, and M. Truszczy\u0144ski. Ultimate approximations. Report CW 320, Department of Computer Science, K.U.Leuven, Belgium, Sept. 2001."},{"key":"22_CR7","unstructured":"M. Denecker, V. W. Marek, and M. Truszczynski. Uniform semantic treatment of default and autoepistemic logics. In A. Cohn, F. Giunchiglia, and B. Selman, editors, Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning, pages 74\u201384, 2000."},{"key":"22_CR8","unstructured":"J. Dix and M. Osorio. On well-behaved semantics suitable for aggregation. Technical ReportTR 11\/97, University of Koblenz, Department of Computer Science, Rheinau 1, Apr. 1997. Accepted at ILPS\u2019 97 as poster paper."},{"issue":"12","key":"22_CR9","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"M. Fitting. Bilattices and the semantics of logic programming. The Journal of Logic Programming, 11(1,2):91\u2013116, 1991.","journal-title":"The Journal of Logic Programming"},{"key":"22_CR10","first-page":"1070","volume-title":"Logic Programming, Proceedings of the 5th International Conference and Symposium","author":"M. Gelfond","year":"1988","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. A. Kowalski and K. A. Bowen, editors, Logic Programming, Proceedings of the 5th International Conference and Symposium, pages 1070\u20131080, Seattle, Washington, 1988. MIT Press."},{"issue":"6","key":"22_CR11","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A. C. Kakas","year":"1992","unstructured":"A. C. Kakas, R. Kowalski, and F. Toni. Abductive logic programming. Journal of Logic and Computation, 2(6):719\u2013770, Dec. 1992.","journal-title":"Journal of Logic and Computation"},{"key":"22_CR12","unstructured":"D. B. Kemp and P. J. Stuckey. Semantics of logic programs with aggregates. In V. A. Saraswat and K. Ueda, editors, Proceedings of the International Logic Programming Symposium, pages 387\u2013401. MIT Press, 1991."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"V. W. Marek and M. Truszczy\u0144ski. Stable models and an alternative logic programming paradigm. In K. R. Apt, V. W. Marek, M. Truszczy\u0144ski, and D. S. Warren, editors, The Logic Programming Paradigm: A 25-Year Perespective, pages 375\u2013398. Springer, 1999.","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"22_CR14","unstructured":"I. S. Mumick, H. Pirahesh, and R. Ramakrishnan. The magic of duplicates and aggregates. In D. McLeod, R. Sacks-Davis, and H.-J. Schek, editors, 16th International Conference on Very Large Data Bases, pages 264\u2013277. Morgan Kaufmann, 1990."},{"issue":"34","key":"22_CR15","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"I. Niemel\u00e4. Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25(3,4):241\u2013273, 1999.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"22_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/3-540-46767-X_23","volume-title":"Proceedings of the Fifth International Conference on Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1999","unstructured":"I. Niemel\u00e4, P. Simons, and T. Soininen. Stable model semantics of weight constraint rules. In M. Gelfond, N. Leone, and G. Pfeifer, editors, Proceedings of the Fifth International Conference on Logic Programming and Nonmonotonic Reasoning, volume 1730 of Lecture Nortes in Computer Science, pages 317\u2013331. Springer-Verlag, 1999."},{"issue":"1","key":"22_CR17","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1006\/jcss.1997.1453","volume":"54","author":"K. A. Ross","year":"1997","unstructured":"K. A. Ross and Y. Sagiv. Monotonic aggregation in deductive databases. Journal of Computer and System Sciences, 54(1):79\u201397, 1997.","journal-title":"Journal of Computer and System Sciences"},{"key":"22_CR18","unstructured":"S. Sudarshan, D. Srivastava, R. Ramakrishnan, and C. Beeri. Extending the wellfounded and valid semantics for aggregation. In D. Miller, editor, Proceedings of the International Logic Programming Symposium, pages 590\u2013608. MIT Press, 1993."},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"A. Van Gelder. The well-founded semantics of aggregation. In Proceedings of the Eleventh ACM Symposium on Principles of Database Systems, pages 127\u2013138. ACM Press, 1992.","DOI":"10.1145\/137097.137854"},{"key":"22_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/3-540-57530-8_2","volume-title":"Third International Conference on Deductive and Object-Oriented Databases","author":"A. Gelder Van","year":"1993","unstructured":"A. Van Gelder. Foundations of aggregation in deductive databases. In S. Ceri, K. Tanaka, and S. Tsur, editors, Third International Conference on Deductive and Object-Oriented Databases, volume 760of Lecture Notes in Computer Science, pages 13\u201334. Springer-Verlag, 1993."},{"issue":"3","key":"22_CR21","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"A. Van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620\u2013650, 1991.","journal-title":"Journal of the ACM"},{"key":"22_CR22","unstructured":"B. Van Nuffelen and M. Denecker. Problem solving in ID-logic with aggregates: some experiments. In A. K. Mark Denecker, editor, Eight International Workshop on Nonmonotonic Reasoning, special track on Abductive Reasoning, Breckenridge, Colorado, USA, 2000."}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45635-X_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T06:06:38Z","timestamp":1550383598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45635-X_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429357","9783540456353"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45635-x_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}