{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:47:38Z","timestamp":1749124058904},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594673"},{"type":"electronic","value":"9783540492726"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0030663","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T05:24:12Z","timestamp":1133414652000},"page":"127-155","source":"Crossref","is-referenced-by-count":22,"title":["A general approach to bottom-up computation of disjunctive semantics"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Brass","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Dix","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19\/20","author":"K. R. Apt","year":"1994","unstructured":"Krzysztof R. Apt and Roland N. Bol. Logic programming and negation: A survey. The Journal of Logic Programming, 19\/20:9\u201371, 1994.","journal-title":"The Journal of Logic Programming"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Stefan Brass and J\u00fcrgen Dix. Caracterizations of the Stable Semantics by Partial Evaluation. In A. Nerode, W. Marek, and M. Truszczy\u0144ski, editors, Logic Programming and Non-Monotonic Reasoning, Proceedings of the Third International Conference. Springer LNCS, to appear, June 1995.","DOI":"10.1007\/3-540-59487-6_7"},{"key":"8_CR3","volume-title":"Disjunctive Semantics based upon Partial and Bottom-Up Evaluation","author":"S. Brass","year":"1995","unstructured":"Stefan Brass and J\u00fcrgen Dix. Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. In Leon Sterling, editor, Proceedings of the 12th Int. Conf. on Logic Programming, Tokyo. MIT, June 1995."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Nicole Bidoit and Richard Hull. Positivism vs. minimalism in deductive databases. In Proc. of the 5th ACM Symp. on Principles of Database Systems (PODS'86), pages 123\u2013132, 1986.","DOI":"10.1145\/6012.15409"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Stefan Brass and Udo W. Lipeck. Generalized bottom-up query evaluation. In Alain Pirotte, Claude Delobel, and Georg Gottlob, editors, Advances in Database Technology \u2014 EDBT'92, 3rd Int. Conf., number 580 in LNCS, pages 88\u2013103. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0032425"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Stefan Brass and Udo W. Lipeck. Bottom-up query evaluation with partially ordered defaults. In Proceedings of the 3rd International Conference on Deductive and Object-Oriented Databases (DOOD'93), pages 253\u2013266, LNCS 769. Springer, 1993.","DOI":"10.1007\/3-540-57530-8_16"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Colin Bell, Anil Nerode, Raymond Ng, and V. S. Subrahmanian. Implementing stable semantics by linear programming. In Lu\u00eds Moniz Pereira and Anil Nerode, editors, Logic Programming and Non-monotonic Reasoning, Proc. of the Second Int. Workshop (LPNMR'93), pages 23\u201342. MIT Press, 1993.","DOI":"10.7551\/mitpress\/4307.003.0006"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Stefan Brass. Beginnings of a theory of general database completions. In Serge Abiteboul and Paris C. Kanellakis, editors, Third International Conference on Database Theory (ICDT'90), number 470 in LNCS, pages 349\u2013363. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-53507-1_88"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Stefan Brass. Bottom-up query evaluation in disjunctive deductive databases. Research report, Institut f\u00fcr Informatik, Universit\u00e4t Hannover, 1995.","DOI":"10.1007\/978-3-642-51136-3_12"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Fran\u00e7ois Bry. Logic programming as constructivism: A formalization and its application to databases. In Proc. of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'89), pages 34\u201350, 1989.","DOI":"10.1145\/73721.73725"},{"key":"8_CR11","unstructured":"Fran\u00e7ois Bry. Negation in logic programming: A formalization in constructive logic. In Dimitris Karagiannis, editor, Information Systems and Artificial Intelligence: Integration Aspects, pages 30\u201346. Springer, 1990."},{"key":"8_CR12","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C. Chang","year":"1973","unstructured":"Chin-Liang Chang and Richard C.-T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 1973."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Stefania Costantini and Gaetano Lanzarone. Static Semantics as Program Transformation and Well-founded Computation, this Volume, pages 156\u2013180, 1995.","DOI":"10.1007\/BFb0030664"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"K. L. Clark. Negation as Failure. In H. Gallaire and J. Minker, editors, Logic and Data-Bases, pages 293\u2013322. Plenum, New York, 78.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"8_CR15","volume-title":"Technical report","author":"W. Chen","year":"1993","unstructured":"Weidong Chen and David S. Warren. Computation of stable models and its integration with logical query processing. Technical report, SUNY at Stony Brook, 1993."},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0304-3975(51)90010-2","volume":"78","author":"R. Demolombe","year":"1991","unstructured":"Robert Demolombe. An efficient strategy for nonhorn deductive databases. Theoretical Computer Science, 78:245\u2013259, 1991.","journal-title":"Theoretical Computer Science"},{"key":"8_CR17","unstructured":"J\u00fcrgen Dix. A framework for representing and characterizing semantics of logic programs. In B. Nebel, C. Rich, and W. Swartout, editors, Principles of Knowledge Representation and Reasoning: Proc. of the Third Int. Conf. (KR'92), pages 591\u2013602. Morgan Kaufmann, 1992."},{"key":"8_CR18","doi-asserted-by":"crossref","first-page":"227","DOI":"10.3233\/FI-1995-2233","volume":"XXII","author":"J. Dix","year":"1995","unstructured":"J\u00fcrgen Dix. A Classification-Theory of Semantics of Normal Logic Programs: I. Strong Properties. Fundamenta Informaticae, XXII:227\u2013255, 1995.","journal-title":"Fundamenta Informaticae"},{"key":"8_CR19","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/FI-1995-2234","volume":"XXII","author":"J. Dix","year":"1995","unstructured":"J\u00fcrgen Dix. A Classification-Theory of Semantics of Normal Logic Programs: II. Weak Properties. Fundamenta Informaticae, XXII:257\u2013288, 1995.","journal-title":"Fundamenta Informaticae"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"J\u00fcrgen Dix. Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview. In Andre Fuhrmann and Hans Rott, editors, Logic, Action and Information. Proceedings of the Konstanz Colloquium in Logic and Information (LogIn '92), pages 227\u2013313. DeGruyter, 1995.","DOI":"10.3233\/FI-1995-2233"},{"key":"8_CR21","unstructured":"Phan Minh Dung and Kanchana Kanchansut. A fixpoint approach to declarative semantics of logic programs. In Proc. NACLP'89, pages 604\u2013625, 1989."},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Phan Minh Dung and Kanchana 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":"8_CR23","first-page":"43","volume-title":"Implementing Semantics for Disjunctive Logic Programs Using Fringes and Abstract Properties","author":"J. Dix","year":"1993","unstructured":"J\u00fcrgen Dix and Martin M\u00fcller. Implementing Semantics for Disjunctive Logic Programs Using Fringes and Abstract Properties. In Luis Moniz Pereira and Anil Nerode, editors, Logic Programming and Non-Monotonic Reasoning, Proceedings of the Second International Workshop, pages 43\u201359. Lisbon, MIT Press, July 1993."},{"key":"8_CR24","first-page":"303","volume-title":"An Axiomatic Framework for Representing and Characterizing Semantics of Disjunctive Logic Programs","author":"J. Dix","year":"1994","unstructured":"J\u00fcrgen Dix and Martin M\u00fcller. An Axiomatic Framework for Representing and Characterizing Semantics of Disjunctive Logic Programs. In Pascal Van Hentenryck, editor, Proceedings of the 11th Int. Conf. on Logic Programming, S. Margherita Ligure, pages 303\u2013322. MIT, June 1994."},{"key":"8_CR25","first-page":"511","volume-title":"Lecture Notes in Artificial Intelligence 869","author":"J. Dix","year":"1994","unstructured":"J\u00fcrgen Dix and Martin M\u00fcller. Partial Evaluation and Relevance for Approximations of the Stable Semantics. In Z.W. Ras and M. Zemankova, editors, Proceedings of the 8th Int. Symp. on Methodologies for Intelligent Systems, Charlotte, NC, 1994, pages 511\u2013520. Springer, Lecture Notes in Artificial Intelligence 869, 1994."},{"key":"8_CR26","first-page":"82","volume-title":"Lecture Notes in Artificial Intelligence 861","author":"J. Dix","year":"1994","unstructured":"J\u00fcrgen Dix and Martin M\u00fcller. The Stable Semantics and its Variants: A Comparison of Recent Approaches. In L. Dreschler-Fischer and B. Nebel, editors, Proceedings of the 18th German Annual Conference on Artificial Intelligence (KI '94), Saarbr\u00fccken, Germany, pages 82\u201393. Springer, Lecture Notes in Artificial Intelligence 861, 1994."},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Lars Degerstedt and Ulf Nilsson. Magic Computation of Well-founded Semantics. This volume, pages 127\u2013155, 1995.","DOI":"10.1007\/BFb0030665"},{"key":"8_CR28","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Michael Gelfond and Vladimir Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365\u2013387, 1991. (Extended abstract appeared in: Logic Programs with Classical Negation. Proceedings of the 7-th International Logic Programming Conference, Jerusalem, pages 579\u2013597, 1990. MIT Press.).","journal-title":"New Generation Computing"},{"key":"8_CR29","unstructured":"Yong Hu and Li Yan Yuan. Extended well-founded model semantics for general logic programs. In Koichi Furukawa, editor, Proc. of the 8th Int. Conf. on Logic Programming (ICLP'91), pages 412\u2013425. MIT Press, 1991."},{"key":"8_CR30","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Sarit Kraus, Daniel Lehmann, and Menachem Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167\u2013207, 1990.","journal-title":"Artificial Intelligence"},{"key":"8_CR31","unstructured":"David B. Kemp, Peter J. Stuckey, and Divesh Srivastava. Magic sets and bottom-up evaluation of well-founded models. In Proc. of the 1991 Int. Symposium on Logic Programming, pages 337\u2013351. MIT Press, 1991."},{"key":"8_CR32","first-page":"292","volume-title":"On indefinite databases and the closed world assumption","author":"J. Minker","year":"1982","unstructured":"Jack Minker. On indefinite databases and the closed world assumption. In Proceedings of the 6th Conference on Automated Deduction, New York, pages 292\u2013308. Springer, 1982."},{"key":"8_CR33","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0743-1066(90)90033-2","volume":"9","author":"J. Minker","year":"1990","unstructured":"Jack Minker and Arcot Rajasekar. A fixpoint semantics for disjunctive logic programs. The Journal of Logic Programming, 9:45\u201374, 1990.","journal-title":"The Journal of Logic Programming"},{"key":"8_CR34","unstructured":"Lu\u00eds Moniz Pereira, Joaquim N. Apar\u00edcio, and Jos\u00e9 J. Alferes. Derivation procedures for extended stable models. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI'91), pages 863\u2013868, 1991."},{"key":"8_CR35","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T. Przymusinski","year":"1991","unstructured":"Teodor Przymusinski. Stable Semantics for Disjunctive Programs. New Generation Computing Journal, 9:401\u2013424, 1991. (Extended abstract appeared in: Extended stable semantics for normal and disjunctive logic programs. Proceedings of the 7-th International Logic Programming Conference, Jerusalem, pages 459\u2013477, 1990. MIT Press.).","journal-title":"New Generation Computing Journal"},{"key":"8_CR36","doi-asserted-by":"crossref","unstructured":"Teodor C. Przymusinski. Semantics of disjunctive logic programs and deductive databases. In Claude Delobel, Michael Kifer, and Yoshifumi Masunaga, editors, Deductive and Object-Oriented Databases, 2nd Int. Conf. (DOOD'91), number 566 in LNCS, pages 85\u2013107. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-55015-1_5"},{"key":"8_CR37","doi-asserted-by":"crossref","unstructured":"Teodor Przymusinski. Static semantics for normal and disjunctive logic programs. Annals of Mathematics and Artificial Intelligence, 1995. To appear.","DOI":"10.1007\/BF01530826"},{"key":"8_CR38","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/BF00248321","volume":"5","author":"A. Rajasekar","year":"1989","unstructured":"Arcot Rajasekar, Jorge Lobo, and Jack Minker. Weak Generalized Closed World Assumption. Journal of Automated Reasoning, 5:293\u2013307, 1989.","journal-title":"Journal of Automated Reasoning"},{"key":"8_CR39","doi-asserted-by":"crossref","unstructured":"Kenneth A. Ross. The well founded semantics for disjunctive logic programs. In Won Kim, Jean-Marie Nicolas, and Shojiro Nishio, editors, Deductive and Object-Oriented Databases, Proc. of the First International Conference (DOOD'89), pages 385\u2013402. North-Holland, 1990.","DOI":"10.1016\/B978-0-444-88433-6.50029-0"},{"key":"8_CR40","doi-asserted-by":"crossref","unstructured":"V\u00e9ronique Royer. Backward chaining evaluation in stratified disjunctive theories. In Proc. of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'90), pages 183\u2013195, 1990.","DOI":"10.1145\/298514.298562"},{"issue":"4","key":"8_CR41","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1109\/69.298169","volume":"6","author":"R. Ramakrishnan","year":"1994","unstructured":"Raghu Ramakrishnan, Divesh Srivastava, and S. Sudarshan. Rule ordering in bottom-up fixpoint evaluation of logic programs. IEEE Transactions on Knowledge and Data Engineering, 6(4):501\u2013517, 1994.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"8_CR42","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/BF00297247","volume":"4","author":"K. A. Ross","year":"1988","unstructured":"Kenneth A. Ross and Rodney W. Topor. Inferring negative information from disjunctive databases. Journal of Automated Reasoning, 4:397\u2013424, 1988.","journal-title":"Journal of Automated Reasoning"},{"key":"8_CR43","doi-asserted-by":"crossref","unstructured":"Dietmar Seipel. An efficient computation of the extended generalized closed world assumption by support-for-negation sets. In Proc. Int. Conf. on Logic Programming and Automated Reasoning (LPAR'94), number 822 in LNAI, pages 245\u2013259. Springer, 1994.","DOI":"10.1007\/3-540-58216-9_42"},{"key":"8_CR44","doi-asserted-by":"crossref","unstructured":"Chiaki Sakama and Hirohisa Seki. Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. In Fourth International Workshop on Logic Program Synthesis and Transformation (LOPSTR'94). Lecture Notes in Computer Science, Springer-Verlag, July 1994.","DOI":"10.1007\/3-540-58792-6_11"},{"key":"8_CR45","first-page":"620","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Allen Van Gelder, Kenneth A. Ross, and John S. Schlipf. The well-founded semantics for general logic programs. Journal of the Association for Computing Machinary (JACM), 38:620\u2013650, 1991.","journal-title":"Journal of the Association for Computing Machinary (JACM)"}],"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\/BFb0030663","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T06:45:55Z","timestamp":1706769955000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030663"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594673","9783540492726"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/bfb0030663","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}