{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:25:11Z","timestamp":1737437111282,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540751847"},{"type":"electronic","value":"9783540751854"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75185-4_21","type":"book-chapter","created":{"date-parts":[[2007,9,5]],"date-time":"2007-09-05T15:47:58Z","timestamp":1189007278000},"page":"283-297","source":"Crossref","is-referenced-by-count":1,"title":["A Fixpoint Approach to State Generation for Stratifiable Disjunctive Deductive Databases"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Behrend","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","series-title":"ch. 2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K.R. Apt","year":"1988","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a Theory of Declarative Knowledge. In: Foundations of Deductive Databases and Logic Programming. ch. 2, pp. 89\u2013148. Morgan Kaufmann Publishers, San Francisco (1988)"},{"key":"21_CR2","series-title":"Formal Models and Semantics","first-page":"493","volume-title":"Handbook of Theoretical Computer Science","author":"K.R. Apt","year":"1990","unstructured":"Apt, K.R.: Logic Programming. In: Handbook of Theoretical Computer Science. Formal Models and Semantics, vol.\u00a0B, pp. 493\u2013574. The MIT Press, Cambridge (1990)"},{"issue":"2","key":"21_CR3","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1109\/69.219736","volume":"5","author":"E.P.F. Chan","year":"1993","unstructured":"Chan, E.P.F.: A Possible World Semantics for Disjunctive Databases. IEEE Transactions on Knowledge and Data Engineering\u00a05(2), 282\u2013292 (1993)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"21_CR4","unstructured":"Behrend, A.: A Fixpoint Approach to State Generation for Stratifiable Disjunctive Deductive Databases. Technical Report IAI-TR-2006-7, Institut f\u00fcr Informatik III, Universit\u00e4t Bonn (December 2006)"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/3-540-52885-7_82","volume-title":"10th International Conference on Automated Deduction","author":"C. Baral","year":"1990","unstructured":"Baral, C., Lobo, J., Minker, J.: Generalized Well-founded Semantics for Logic Programs (Extended Abstract). In: Stickel, M.E. (ed.) 10th International Conference on Automated Deduction. LNCS, vol.\u00a0449, pp. 102\u2013116. Springer, Heidelberg (1990)"},{"key":"21_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Adding Disjunction to Datalog. In: PODS 1994, pp. 267\u2013278 (1994)","DOI":"10.1145\/182591.182639"},{"key":"21_CR8","unstructured":"Fern\u00e1ndez, J.A., Minker, J.: Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases. In: ICLP 1991, pp. 660\u2013675 (1991)"},{"issue":"1","key":"21_CR9","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":"Fern\u00e1ndez, J.A., Minker, J.: Bottom-Up Compuation of Perfect Models for Disjunctive Theories. Journal of Logic Programming\u00a025(1), 33\u201351 (1995)","journal-title":"Journal of Logic Programming"},{"key":"21_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/3-540-46767-X_11","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Sakama","year":"1999","unstructured":"Sakama, C., Inoue, K.: Updating Extended Logic Programs through Abduction. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730, pp. 147\u2013161. Springer, Heidelberg (1999)"},{"key":"21_CR11","unstructured":"Lobo, J., Minker, J., Rajasekar, A.: Extending the Semantics of Logic Programs to Disjunctive Logic Programs. In: ICLP 1989, pp. 255\u2013267 (1989)"},{"key":"21_CR12","volume-title":"Foundations of Disjunctive Logic Programming","author":"J. Lobo","year":"1992","unstructured":"Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. MIT Press, Cambridge, Massachusetts (1992)"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/BFb0000066","volume-title":"6th Conference on Automated Deduction","author":"J. Minker","year":"1982","unstructured":"Minker, J.: On Indefinite Databases and the Closed World Assumption. In: Loveland, D.W. (ed.) 6th Conference on Automated Deduction. LNCS, vol.\u00a0138, pp. 292\u2013308. Springer, Heidelberg (1982)"},{"issue":"1","key":"21_CR14","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0743-1066(90)90033-2","volume":"9","author":"J. Minker","year":"1990","unstructured":"Minker, J., Rajasekar, A.: A Fixpoint Semantics for Disjunctive Logic Programs. Journal of Logic Programming\u00a09(1), 45\u201374 (1990)","journal-title":"Journal of Logic Programming"},{"key":"21_CR15","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/B978-0-934613-40-8.50009-9","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"T.C. Przymusinski","year":"1988","unstructured":"Przymusinski, T.C.: On the Declarative Semantics of Deductive Databases and Logic Programs. In: Foundations of Deductive Databases and Logic Programming, pp. 193\u2013216. Morgan Kaufmann, San Francisco (1988)"},{"issue":"3\/4","key":"21_CR16","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T.C. Przymusinski","year":"1991","unstructured":"Przymusinski, T.C.: Stable Semantics for Disjunctive Programs. New Generation Computing\u00a09(3\/4), 401\u2013424 (1991)","journal-title":"New Generation Computing"},{"key":"21_CR17","first-page":"227","volume":"1","author":"J. Robinson","year":"1965","unstructured":"Robinson, J.: Automated Deduction with Hyper-Resolution. International Journal of Computer Mathematics\u00a01, 227\u2013234 (1965)","journal-title":"International Journal of Computer Mathematics"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Sakama, C.: Possible Model Semantics for Disjunctive Databases. In: DOOD 1989, pp. 369\u2013383 (1989)","DOI":"10.1016\/B978-0-444-88433-6.50028-9"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Sarma, A.D., Benjelloun, O., Halevy, A., Widom, J.: Working Models for Uncertain Data. In: ICDE 2006 (2006)","DOI":"10.1109\/ICDE.2006.174"},{"issue":"1","key":"21_CR20","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0743-1066(96)00116-1","volume":"32","author":"D. Seipel","year":"1997","unstructured":"Seipel, D., Minker, J., Ruiz, C.: Model Generation and State Generation for Disjunctive Logic Programs. Journal of Logic Programming\u00a032(1), 49\u201369 (1997)","journal-title":"Journal of Logic Programming"},{"key":"21_CR21","unstructured":"Seipel, D., Th\u00f6ne, H.: DISLOG - A System for Reasoning in Disjunctive Deductive Databases. In: DAISD 1994, pp. 325\u2013343 (1994)"},{"issue":"3","key":"21_CR22","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Advances in Databases and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75185-4_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T21:18:12Z","timestamp":1737407892000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75185-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540751847","9783540751854"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75185-4_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}