{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:05:54Z","timestamp":1747548354639},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540671008"},{"type":"electronic","value":"9783540465645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46564-2_15","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T06:03:18Z","timestamp":1186812198000},"page":"241-259","source":"Crossref","is-referenced-by-count":2,"title":["Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases"],"prefix":"10.1007","author":[{"given":"Dietmar","family":"Seipel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,11,9]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"S. Brass, J. Dix: A Disjunctive Semantics Based on Unfolding and Bottom-Up Evaluation, GI-Jahrestagung \/ IFIP World Computer Congress 1994: Fachgespr\u00e4ch \u201cDisjunktive logische Programmierung und disjunktive Datenbanken\u201d, Springer, 1994, pp. 83\u201391.","DOI":"10.1007\/978-3-642-51136-3_13"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"S. Ceri, G. Gottlob, L. Tanca: Logic Programming and Databases, Springer, 1990.","DOI":"10.1007\/978-3-642-83952-8"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"P.M. Dung: Declarative Semantics of Hypothetical Logic Programming with Negation as Failure, Proc. Workshop on Extensions of Logic Programming 1992 (ELP\u201992), 1992, pp. 45\u201358.","DOI":"10.1007\/3-540-56454-3_3"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"T. Eiter, N. Leone, C. Mateis, G. Pfeifer, F. Scarcello: A Deductive System for Non-Monotonic Reasoning, Proc. Fourth Intl. Conf. on Logic Programming and Non-Monotonic Reasoning 1997 (LPNMR\u201997), Springer LNAI 1265, 1997, pp. 363\u2013374.","DOI":"10.1007\/3-540-63255-7_27"},{"issue":"1\/2","key":"15_CR5","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/A:1018947420290","volume":"17","author":"T. Eiter","year":"1997","unstructured":"T. Eiter, N. Leone, D. Sacca: On the Partial Semantics for Disjunctive Deductive Databases, Annals of Mathematics and Artificial Intelligence, vol. 17(1\/2), 1997, pp. 59\u201396.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"3\u20134","key":"15_CR6","first-page":"449","volume":"8","author":"J.A. Fern\u00e1ndez","year":"1993","unstructured":"J.A. Fern\u00e1ndez, J. Lobo, J. Minker, V.S. Subrahmanian: Disjunctive LP + Integrity Constrains = Stable Model Semantics, Annals of Math. and AI, vol. 8(3\u20134), 1993, pp. 449\u2013474.","journal-title":"Annals of Math. and AI"},{"issue":"1","key":"15_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/0743-1066(94)00106-G","volume":"25","author":"J.A. Fern\u00e1ndez","year":"1995","unstructured":"J.A. Fern\u00e1ndez and J. Minker: Bottom-up computation of perfect models for disjunctive theories, Journal of Logic Programming, vol. 25(1), 1995, pp. 33\u201351.","journal-title":"Journal of Logic Programming"},{"key":"15_CR8","unstructured":"M. Gelfond, V. Lifschitz: The Stable Model Semantics for Logic Programming, Proc. Fifth Intl. Conference and Symposium on Logic Programming 1988 (ICSLP\u2019 88), MIT Press, 1988, pp. 1070\u20131080."},{"key":"15_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/3-540-57530-8_3","volume-title":"Proc. Intl. Conference on Deductive and Object-Oriented Databases 1993 (DOOD\u201993)","author":"G. K\u00f6stler","year":"1993","unstructured":"G. K\u00f6stler, W. Kie\u00dfling, H. Th\u00f6ne, U. G\u00fcntzer: The differential fixpoint operator with subsumption, Proc. Intl. Conference on Deductive and Object-Oriented Databases 1993 (DOOD\u201993), Springer LNCS 760, 1993, pp. 35\u201348."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd: Foundations of Logic Programming, second edition, Springer, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"J. Lobo, J. Minker, A. Rajasekar: Foundations of Disjunctive Logic Programming, MIT Press, 1992.","DOI":"10.1016\/B978-0-12-450010-5.50022-0"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"V.W. Marek, M. Truszczy\u0144ski: Nonmonotonic Logic \u2014 Context-Dependent Reasoning, Springer, 1993.","DOI":"10.1007\/978-3-662-02906-0"},{"issue":"1","key":"15_CR13","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0743-1066(90)90033-2","volume":"9","author":"J. Minker","year":"1990","unstructured":"J. Minker, A. Rajasekar: A Fixpoint Semantics for Disjunctive Logic Programs, Journal of Logic Programming, vol. 9(1), 1990, pp. 45\u201374.","journal-title":"Journal of Logic Programming"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"J. Minker, C. Ruiz: On Extended Disjunctive Logic Programs, Proc. Intl. Symposium on Methodologies for Intelligent Systems 1993 (ISMIS\u201993), Springer LNAI 689, 1993, pp. 1\u201318.","DOI":"10.1007\/3-540-56804-2_1"},{"key":"15_CR15","unstructured":"I. Niemel\u00e4, P. Simons: Effcient Implementation of the Well-founded and Stable Model Semantics, Technical Report 7\/96, Univ. Koblenz \u2014 Landau, 1996."},{"key":"15_CR16","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T.C. Przymusinski","year":"1991","unstructured":"T.C. Przymusinski: Stable Semantics for Disjunctive Programs, New Generation Computing, vol. 9, 1991, pp. 401\u2013424.","journal-title":"New Generation Computing"},{"key":"15_CR17","unstructured":"R. Ramakrishnan: Database Management Systems, McGraw-Hill, 1998."},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter: A Logic for Default Reasoning, Artificial Intelligence, vol. 13, 1980, pp. 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"K. Sagonas, T. Swift, D. Warren: XSB as an Effcient Deductive Database Engine, Proc. ACM SIGMOD Intl. Conf. on the Management of Data 1994 (SIGMOD\u201994), pp. 442\u2013453.","DOI":"10.1145\/191843.191927"},{"issue":"1","key":"15_CR20","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1016\/S0743-1066(96)00116-1","volume":"32","author":"D. Seipel","year":"1997","unstructured":"D. Seipel, J. Minker, C. Ruiz: Model Generation and State Generation for Disjunctive Logic Programs, Journal of Logic Programming, vol. 32(1), 1997, pp. 48\u201369.","journal-title":"Journal of Logic Programming"},{"key":"15_CR21","unstructured":"D. Seipel, J. Minker, C. Ruiz: A Characterization of Partial Stable Models for Disjunctive Deductive Databases, Proc. Intl. Logic Programming Symposium 1997 (ILPS\u201997), MIT Press, 1997, pp. 245\u2013259."},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"D. Seipel: Partial Evidential Stable Models For Disjunctive Databases, Proc. Workshop on Logic Programming and Knowledge Representation (LPKR\u201997) at the International Symposium on Logic Programming 1997 (ILPS\u201997), Springer LNAI 1471, 1998, pp. 66\u201384.","DOI":"10.1007\/BFb0054790"},{"key":"15_CR23","unstructured":"D. Seipel: DisLog \u2014 A Disjunctive Deductive Database Prototype, Proc. Twelfth Workshop on Logic Programming (WLP\u201997), 1997, pp. 136\u2013143. DisLog is available at \u201c http:\/\/www-info1.informatik.uni-wuerzburg.de\/databases\/DisLog \u201d."},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"A. Van Gelder, K.A. Ross, J.S. Schlipf:, Unfounded Sets and Well-Founded Semantics for General Logic Programs, Proc. Seventh ACM Symposium on Principles of Database Systems, 1988 (PODS\u201988), pp. 221\u2013230.","DOI":"10.1145\/308386.308444"},{"key":"15_CR25","unstructured":"C. Zaniolo, S. Ceri, C. Faloutsos, R.T. Snodgrass, V.S. Subrahmanian, R. Zicari: Advanced Database Systems, Morgan Kaufmann, 1997."},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"U. Zukowski, S. Brass, B. Freitag: Improving the Alternating Fixpoint: The Transformation Approach, Proc. 4th Intl. Conf. on Logic Programming an Non-Monotonic Reasoning 1997 (LPNMR\u201997), Springer LNAI 1265, 1997, pp. 40\u201359.","DOI":"10.1007\/3-540-63255-7_4"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46564-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:06:24Z","timestamp":1556737584000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46564-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540671008","9783540465645"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-46564-2_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}