{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:06:27Z","timestamp":1749125187182},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540583134"},{"type":"electronic","value":"9783642511363"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-3-642-51136-3_13","type":"book-chapter","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T09:05:32Z","timestamp":1340787932000},"page":"83-91","source":"Crossref","is-referenced-by-count":24,"title":["A Disjunctive Semantics Based on Unfolding and Bottom-Up Evaluation"],"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","reference":[{"key":"13_CR1","volume-title":"Alain Pirotte, Claude Delobel, and Georg Gottlob, editors, Advances in Database Technology \u2014 EDBT92, 3rd Int. Conf., number 580 in LNCS, pages 88-103. Springer-Verlag","author":"S Brass","year":"1992","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\u201992, 3rd Int. Conf., number 580 in LNCS, pages 88\u2013103. Springer-Verlag, 1992."},{"key":"13_CR2","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\u201993), number 760 in LNCS, pages 253\u2013266. Springer, 1993.","DOI":"10.1007\/3-540-57530-8_16"},{"key":"13_CR3","volume-title":"Efficient query evaluation in disjunctive deductive databases Research report","author":"S Brass","year":"1993","unstructured":"Stefan Brass. Efficient query evaluation in disjunctive deductive databases. Research report, Institut f\u00fcr Informatik, Universit\u00e4t Hannover, 1993."},{"key":"13_CR4","volume-title":"Dimitris Karagiannis, editor, Information Systems and Artificial Intelligence: Integration Aspects, pages 30-46. Springer","author":"F Bry","year":"1990","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":"13_CR5","volume-title":"Computation of stable models and its integration with logical query processing 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, Department of CS, SUNY at Stony Brook, 1993."},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0743-1066(93)90034-E","volume":"17","author":"W Chen","year":"1993","unstructured":"Weidong Chen and David S. Warren. A goal-oriented approach to computing the well-founded semantics. The Journal of Logic Programming, 17: 279\u2013300, 1993.","journal-title":"Journal of Logic Programming"},{"key":"13_CR7","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 Repr. and Reasoning: Proc. of the Third International Conference (KR \u201882), pages 591\u2013602. San Mateo, CA, Morgan Kaufmann, 1992."},{"key":"13_CR8","unstructured":"J\u00fcrgen Dix. Classifying Semantics of Disjunctive Logic Programs. In K. Apt, editor, LOGIC PROGRAMMING: Proc. of the 1992 Joint International Con-ference and Symposium, pages 798\u2013812. MIT Press, November 1992."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"J\u00fcrgen Dix. A Classification-Theory of Semantics of Normal Logic Programs: I. Strong Properties. Fundamenta Informaticae, forthcoming, 1994.","DOI":"10.3233\/FI-1995-2233"},{"key":"13_CR10","volume-title":"forthcoming","author":"J Dix","year":"1994","unstructured":"J\u00fcrgen Dix. A Classification-Theory of Semantics of Normal Logic Programs: II. Weak Properties. Fundarnenta Informaticae, forthcoming, 1994."},{"key":"13_CR11","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 \u201882). DeGruyter, 1994."},{"key":"13_CR12","unstructured":"J\u00fcrgen Dix and Martin M\u00fcller. Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs. In Proc. of the Workshop W1, Struct. Complexity and Rec-theor. Methods in LP, following the JICSLP \u201882, pages 15\u201328. H. Blair, W. Marek, A. Nerode and J. Remmel, November 1992."},{"key":"13_CR13","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. MIT, June 1994."},{"key":"13_CR14","unstructured":"Yong Hu and Li Yan Yuan. Extended Well-Founded Model Semantics for General Logic Programs. In Koichi Furukawa, editor, Proceedings of the 8th Int. Conf. on Logic Programming, Paris, pages 412\u2013425. MIT, June 1991."},{"key":"13_CR15","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":"13_CR16","volume-title":"Lufs Moniz Pereira and Anil Nerode, editors, Logic Programming and Non-monotonic Reasoning, Proc. of the 2nd Int. Workshop, pages 43-59. MIT Press","author":"M M\u00fcller","year":"1993","unstructured":"Martin M\u00fcller and J\u00fcrgen Dix. Implementing semantics of disjunctive logic programs using fringes and abstract properties. In Lufs Moniz Pereira and Anil Nerode, editors, Logic Programming and Non-monotonic Reasoning, Proc. of the 2nd Int. Workshop, pages 43\u201359. MIT Press, 1993."},{"key":"13_CR17","first-page":"193","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"C Teodor","year":"1988","unstructured":"Teodor C. Przymusinski. On the declarative semantics of deductive databases and logic programs. In Jack Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 193\u2013216, Los-Altos (Calif.), 1988. Morgan Kaufmann."},{"key":"13_CR18","volume-title":"Won Kim, Jean-Marie Nicolas, and Shojiro Nishio, editors, Deductive and Object-Oriented Databases, Proc. of the First Int. Conf. (DOOD89). North-Holland Publ.Co.","author":"A Kenneth","year":"1990","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 Int. Conf. (DOOD\u201989). North-Holland Publ.Co., 1990."},{"key":"13_CR19","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF01543479","volume":"5","author":"S John","year":"1992","unstructured":"John S. Schlipf. Formalizing a Logic for Logic Programming. Annals of Mathematics and Artificial Intelligence, 5: 279\u2013302, 1992.","journal-title":"of Mathematics and Artificial Intelligence"}],"container-title":["Informatik aktuell","Innovationen bei Rechen- und Kommunikationssystemen"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-51136-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,19]],"date-time":"2022-01-19T16:17:41Z","timestamp":1642609061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-51136-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540583134","9783642511363"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-51136-3_13","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1994]]}}}