{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:47:39Z","timestamp":1749124059596},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540628439"},{"type":"electronic","value":"9783540687023"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0023807","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:12:36Z","timestamp":1132384356000},"page":"171-201","source":"Crossref","is-referenced-by-count":13,"title":["Transformation-based bottom-up computation of the well-founded model"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Brass","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrich","family":"Zukowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Burkhard","family":"Freitag","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"issue":"3","key":"9_CR1","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0743-1066(94)00104-E","volume":"24","author":"C. Aravindan","year":"1995","unstructured":"C. Aravindan and P. M. Dung. On the correctness of unfold\/fold transformation of normal and extended logic programs. The JLP, 24(3):201\u2013217, 1995.","journal-title":"The JLP"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"C. Bell, A. Nerode, R. Ng, and V. S. Subrahmanian. Implementing stable semantics by linear programming. In L. M. Pereira and A. Nerode, editors, Logic Programming and Non-monotonic Reasoning, Proc. of the Second Int. Workshop (LP-NMR'93), pages 23\u201342. MIT Press, 1993.","DOI":"10.7551\/mitpress\/4307.003.0006"},{"key":"9_CR3","unstructured":"S. Brass. Bottom-up query evaluation in extended deductive databases. Habilitation thesis, Institut f\u00fcr Informatik, Universit\u00e4t Hannover, 1996."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"S. Brass. SLDMagic \u2014 An improved magic set technique. In B. Novikov and J. W. Schmidt, editors, Advances in Databases and Information Systems \u2014 ADBIS'96, 1996.","DOI":"10.14236\/ewic\/ADBIS1996.4"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"S. Brass and J. Dix. Characterizations of the stable semantics by partial evaluation. In A. Nerode, editor, Logic Programming and Nonmonotonic Reasoning, Proc. of the Third Int. Conf. (LPNMR'95), number 928 in LNCS, pages 85\u201398. Springer, 1995.","DOI":"10.1007\/3-540-59487-6_7"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"S. Brass and J. Dix. Disjunctive semantics based upon partial and bottom-up evaluation. In L. Sterling, editor, Logic Programming, Proc. of the Twelfth Int. Conf. on Logic Programming (ICLP'95), pages 199\u2013213. MIT Press, 1995.","DOI":"10.7551\/mitpress\/4298.003.0027"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"S. Brass and J. Dix. A general approach to bottom-up computation of disjunctive semantics. In J. Dix, L. M. Pereira, and T. C. Przymusinski, editors, Non-monotonic Extensions of Logic Programming, number 927 in LNAI, pages 127\u2013155. Springer, 1995.","DOI":"10.1007\/BFb0030663"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"S. Brass and J. Dix. Characterizing D-WFS: Confluence and iterated GCWA. In 5th European Workshop on Logics in AI (JELIA '96), 1996.","DOI":"10.1007\/3-540-61630-6_19"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"F. Bry. Logic programming as constructivism: A formalization and its application to databases. In Proc. of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'89), pages 34\u201350, 1989.","DOI":"10.1145\/73721.73725"},{"key":"9_CR10","unstructured":"F. Bry. Negation in logic programming: A formalization in constructive logic. In D. Karagiannis, editor, Information Systems and Artificial Intelligence: Integration Aspects, number 474 in LNCS, pages 30\u201346. Springer, 1990."},{"issue":"3","key":"9_CR11","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0743-1066(94)00028-5","volume":"24","author":"W. Chen","year":"1995","unstructured":"W. Chen, T. Swift, and D. S. Warren. Efficient top-down computation of queries under the well-founded semantics. JLP, 24(3):161\u2013199, 1995.","journal-title":"JLP"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"W. Chen and D. S. Warren. Query-evaluation under the well founded semantics. In Proc. of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'93), pages 168\u2013179, 1993.","DOI":"10.1145\/153850.153865"},{"issue":"1","key":"9_CR13","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"W. Chen and D. S. Warren. Tabled evaluation with delaying for general logic programs. JACM, 43(1):20\u201374, 1996.","journal-title":"JACM"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"P. Cholewi\u0144ski, V. W. Marek, A. Mikitiuk, and M. Truszczy\u0144ski. Experimenting with nonmonotonic reasoning. In L. Sterling, editor, Logic Programming, Proc. of the Twelfth Int. Conf. on Logic Programming (ICLP'95), pages 267\u2013281. MIT Press, 1995.","DOI":"10.7551\/mitpress\/4298.003.0033"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"L. Degerstedt and U. Nilsson. Magic computation for well-founded semantics. In J. Dix, L. M. Pereira, and T. C. Przymusinski, editors, Nonmonotonic Extensions of Logic Programming, number 927 in LNAI, pages 181\u2013204. Springer, 1995.","DOI":"10.1007\/BFb0030665"},{"key":"9_CR16","unstructured":"P. M. Dung and K. Kanchansut. A fixpoint approach to declarative semantics of logic programs. In Proc. North American Conference on Logic Programming (NACLP'89), pages 604\u2013625, 1989."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"P. M. Dung and K. Kanchansut. A natural semantics of logic programs with negation. In Proc. of the Ninth Conf. on Foundations of Software Technology and Theoretical Computer Science, pages 70\u201380, 1989.","DOI":"10.1007\/3-540-52048-1_34"},{"key":"9_CR18","unstructured":"B. Freitag, H. Sch\u00fctz, and G. Specht. LOLA \u2014 a logic language for deductive databases and its implementation. In Proc. 2nd International Symposium on Database Systems for Advanced Applications (DASFAA '91), Tokyo, Japan, April 2\u20134, 1991, pages 216\u2013225, 1991."},{"key":"9_CR19","first-page":"1070","volume-title":"The stable model semantics for logic programming","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, Proc. of the 5th Int. Conf. and Symp., pages 1070\u20131080, Cambridge, Mass., 1988. MIT Press."},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0304-3975(94)00153-A","volume":"146","author":"D. B. Kemp","year":"1995","unstructured":"D. B. Kemp, D. Srivastava, and P. J. Stuckey. Bottom-up evaluation and query optimization of well-founded models. Theoretical Computer Science, 146:145\u2013184, 1995.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"9_CR21","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1145\/116825.116836","volume":"38","author":"W. Marek","year":"1991","unstructured":"W. Marek and M. Truszczynski. Autoepistemic logic. JACM, 38(3):588\u2013619, 1991.","journal-title":"JACM"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"S. Morishita. An alternating fixpoint tailored to magic programs. In Proc. of the 12th ACM Symp. on Principles of Database Systems (PODS'93), pages 123\u2013134, 1993.","DOI":"10.1145\/153850.153861"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"K. Sagonas, T. Swift, and D. S. Warren. XSB as an efficient deductive database engine. In R. T. Snodgrass and M. Winslett, editors, Proc. of the 1994 ACM SIGMOD Int. Conf. on Management of Data (SIGMOD'94), pages 442\u2013453, 1994.","DOI":"10.1145\/191839.191927"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"C. Sakama and H. Seki. Partial deduction of disjunctive logic programs: A declarative approach. In Fourth Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR'94), LNCS. Springer, 1994.","DOI":"10.1007\/3-540-58792-6_11"},{"issue":"1","key":"9_CR25","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0743-1066(93)90021-8","volume":"16","author":"H. Seki","year":"1993","unstructured":"H. Seki. Unfold\/fold transformation of general logic programs for the well-founded semantics. JLP, 16(1):5\u201323, 1993.","journal-title":"JLP"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"V. S. Subrahmanian and C. Zaniolo. Relating stable models and AI planning domains. In L. Sterling, editor, Logic Programming, Proc. of the Twelfth Int. Conf. on Logic Programming (ICLP'95), pages 233\u2013247. MIT Press, 1995.","DOI":"10.7551\/mitpress\/4298.003.0030"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"A. Van Gelder. The alternating fixpoint of logic programs with negation. In Proc. of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'89), pages 1\u201310, 1989.","DOI":"10.1145\/73721.73722"},{"issue":"1","key":"9_CR28","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0022-0000(93)90024-Q","volume":"47","author":"A. Gelder Van","year":"1993","unstructured":"A. Van Gelder. The alternating fixpoint of logic programs with negation. Journal of Computer and System Sciences, 47(1):185\u2013221, 1993.","journal-title":"Journal of Computer and System Sciences"},{"key":"9_CR29","doi-asserted-by":"crossref","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. JACM, 38:620\u2013650, 1991.","journal-title":"JACM"},{"key":"9_CR30","first-page":"304","volume-title":"Adding flexibility to query evaluation for modularly stratified databases","author":"U. Zukowski","year":"1996","unstructured":"U. Zukowski and B. Freitag. Adding flexibility to query evaluation for modularly stratified databases. In Proc. of the 1996 Joint International Conference and Symposium on Logic Programming (JICSLP'96). September 2\u20136, 1996, Bonn, Germany, pages 304\u2013319. MIT Press, 1996."},{"key":"9_CR31","first-page":"45","volume-title":"volume 295 of GMD-Studien","author":"U. Zukowski","year":"1996","unstructured":"U. Zukowski and B. Freitag. The differential fixpoint of general logic programs. In D. Boulanger, U. Geske, F. Giannotti, and D. Seipel, editors, Proc. of the Workshop DDLP'96 on Deductive Databases and Logic Programming. 4th Workshop in conjunction with JICSLP'96. Bonn, Germany, September 2\u20136, 1996, volume 295 of GMD-Studien, pages 45\u201356, St. Augustin, Germany, 1996. GMD."},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"U. Zukowski, B. Freitag, and S. Brass. Transformation-based bottom-up computation of the well-founded model. Technical Report MIP-9620, Universit\u00e4t Passau, 1996.","DOI":"10.7551\/mitpress\/4299.003.0047"}],"container-title":["Lecture Notes in Computer Science","Non-Monotonic Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023807","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T23:00:57Z","timestamp":1706742057000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023807"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540628439","9783540687023"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/bfb0023807","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}