{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T17:24:48Z","timestamp":1778520288369,"version":"3.51.4"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1997,3,1]],"date-time":"1997-03-01T00:00:00Z","timestamp":857174400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,3,1]],"date-time":"1997-03-01T00:00:00Z","timestamp":857174400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1997,3]]},"DOI":"10.1023\/a:1018947420290","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"59-96","source":"Crossref","is-referenced-by-count":43,"title":["On the partial semantics for disjunctive deductive databases"],"prefix":"10.1007","volume":"19","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Domenico","family":"Sacc\u00e0","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"325412_CR1","doi-asserted-by":"crossref","unstructured":"M. Ahlsen et al., The KIWIS knowledge base management system, in: Advanced Information Systems Engineering: Proc. Third Intl Conf. (CAiSE'91), Trondheim, Norway, eds. J.A. Bubenko, Jr. and A. Solvberg, LNCS 498 (Springer, 1991) pp. 79\u201397.","DOI":"10.1007\/3-540-54059-8_81"},{"key":"325412_CR2","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":"K.R. Apt, H. Blair and A. Walker, Towards a theory of declarative knowledge, in: Foundations of Deductive Databases and Logic Programming, ed. J. Minker (Morgan-Kaufman, Washington DC, 1988) 89\u2013148."},{"key":"325412_CR3","doi-asserted-by":"crossref","unstructured":"Ch. Baral, Generalized negation as failure and semanties of normal disjunctive logic programs, in: Proc. Intl Conf. on Logic Programming and Automated Reasoning (LPAR '92), St. Petersburg, ed. A. Voronkov, LNCS 624 (Springer, 1992) pp. 309\u2013319.","DOI":"10.1007\/BFb0013071"},{"key":"325412_CR4","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF02341854","volume":"8","author":"C. Baral","year":"1992","unstructured":"Ch. Baral and V.S. Subrahmanian, Stable and extension class theory for logic programs and default logic, Journal of Automated Reasoning 8 (1992) 345\u2013366.","journal-title":"Journal of Automated Reasoning"},{"key":"325412_CR5","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF00881799","volume":"10","author":"C. Baral","year":"1993","unstructured":"Ch. Baral and V.S. Subrahmanian, Dualities between alternative semantics for logic programming and non-monotonic reasoning, Journal of Automated Reasoning 10 (1993) 399\u2013420.","journal-title":"Journal of Automated Reasoning"},{"key":"325412_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S. Ceri","year":"1990","unstructured":"S. Ceri, G. Gottlob and L. Tanca, Logic Programming and Databases (Springer, Berlin, 1990)."},{"key":"325412_CR7","first-page":"241","volume-title":"Logic, Action and Information, Proceedings of the Konstanz Colloquium in Logic and Information","author":"J. Dix","year":"1995","unstructured":"J. Dix, Semantics of logic programs: their intuition and formal properties. An overview, in: Logic, Action and Information, Proceedings of the Konstanz Colloquium in Logic and Information, eds. A. Fuhrmann and H. Rott (deGruyter, Berlin, 1995) pp. 241\u2013329."},{"key":"325412_CR8","unstructured":"J. Dix, Classifying semantics of disjunctive logic programs, in: Logic Programming: Proc. 1992 Intl Joint Conference and Symposium (IJCSLP '92), ed. K. Apt (MIT Press, 1992) pp. 798\u2013812."},{"key":"325412_CR9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"J. Doyle, A truth maintenance system, Artificial Intelligence 12 (1979) 231\u2013272.","journal-title":"Artificial Intelligence"},{"key":"325412_CR10","unstructured":"Ph. Dung, Negation as hypotheses: an abductive foundation for logic programming, in: Logic Programming: Proc. 8th Intl Conference, ed. K. Furukawa (MIT Press, 1991) pp. 3\u201317."},{"key":"325412_CR11","doi-asserted-by":"crossref","unstructured":"T. Eiter, N. Leone and D. Sacc\u00e0, The expressive power of partial models for disjunctive deductive databases, in: Proceedings of International Workshop on Logic in Databases (LID '96), San Miniato, Pisa, Italy (1996) pp. 261\u2013280.","DOI":"10.1007\/BFb0031745"},{"key":"325412_CR12","doi-asserted-by":"crossref","unstructured":"T. Eiter, G. Gottlob and H. Mannila, Adding disjunction to datalog, in: Proc. Thirteenth ACM Symposium on Principles of Database Systems (PODS '94), Minneapolis, Minnesota, USA (ACM, 1994) pp. 267\u2013278. Full paper CD-TR 96\/90, Christian Doppler Lab. for Expert Systems, TU Vienna, Vienna, 1996.","DOI":"10.1145\/182591.182639"},{"key":"325412_CR13","first-page":"289","volume":"15","author":"T. Eiter","year":"1995","unstructured":"T. Eiter and G. Gottlob, On the computational cost of disjunctive logic programming: Propositional case, Ann. of Math. and AI 15 (1995) 289\u2013323.","journal-title":"Ann. of Math. and AI"},{"key":"325412_CR14","doi-asserted-by":"crossref","unstructured":"G. Gottlob, N. Leone and H. Veith, Second order logic and the weak exponential hierarchies, in: Proc. Conference on Mathematical Foundations of Computer Science (MFCS '95), Prague, eds. J. Wiedermann and P. Hajek, LNCS 969 (Springer, 1995) pp. 66\u201381. Full paper CD-TR 95\/80, Christian Doppler Lab. for Expert Systems, TU Vienna, Vienna (1995).","DOI":"10.1007\/3-540-60246-1_113"},{"issue":"4","key":"325412_CR15","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1109\/69.149930","volume":"4","author":"S. Greco","year":"1992","unstructured":"S. Greco, N. Leone and P. Rullo, COMPLEX: An object-oriented logic programming system, IEEE Transactions on Knowledge and Data Engineering 4(4) (1992) 344\u2013359.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"4","key":"325412_CR16","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"M. Fitting, A Kripke-Kleene semantics for logic programs, Journal of Logic Programming 2(4) (1985) 295\u2013312.","journal-title":"Journal of Logic Programming"},{"key":"325412_CR17","unstructured":"M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, in: Logic Programming: Proceedings Fifth Intl Conference and Symposium, Washington, Seattle, USA (MIT Press, 1988) pp. 1070\u20131080."},{"key":"325412_CR18","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"M. Gelfond and V. Lifschitz, Classical negation in logic programs and disjunctive databases, New Generation Computing 9 (1991) 365\u2013385.","journal-title":"New Generation Computing"},{"key":"325412_CR19","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1016\/0743-1066(92)90015-U","volume":"14","author":"A. Kakas","year":"1992","unstructured":"A. Kakas and P. Mancarella, Preferred extensions are partial stable models, Journal of Logic Programming 14 (1992) 341\u2013348.","journal-title":"Journal of Logic Programming"},{"key":"325412_CR20","doi-asserted-by":"crossref","unstructured":"J.A. Fern\u00e1ndez and J. Minker, Semantics of disjunctive deductive databases, in: Proc. 4th Intl Conference on Database Theory (ICDT '92), eds. J. Biskup et al., LNCS 646 (Springer, 1992) pp. 21\u201350.","DOI":"10.1007\/3-540-56039-4_31"},{"key":"325412_CR21","unstructured":"KIWI Team, A system for managing data and knowledge bases, in: Proc. ESPRIT Technical Week 1988: ESPRIT Project 1117 (North-Holland, 1988)."},{"key":"325412_CR22","unstructured":"N. Leone, P. Rullo and F. Scarcello, Declarative and fixpoint characterizations of disjunctive stable models, in: Logic Programming: Proc. Twelth Intl Symposium (ILPS '95), Portland, Oregon, USA, ed. J. Lloyd (MIT Press, 1995) pp. 399\u2013413."},{"key":"325412_CR23","doi-asserted-by":"crossref","unstructured":"N. Leone, P. Rullo, A. Mecchia and G. Rossi, A deductive environment for dealing with objects and non-monotonic reasoning, IEEE Transactions on Knowledge and Data Engineering (1997), forthcoming.","DOI":"10.1109\/69.617049"},{"key":"325412_CR24","unstructured":"V. Lifschitz and H. Turner, Splitting a logic program, in: Logic Programming: Proc. Eleventh Intl Conference, Santa Margherita Ligure, Italy, ed. P. van Hentenryck (MIT Press, 1994) pp. 23\u201338."},{"key":"325412_CR25","doi-asserted-by":"crossref","unstructured":"J. Lobo, J. Minker and A. Rajasekar, Foundations of Disjunctive Logic Programming (MIT Press, 1992).","DOI":"10.1016\/B978-0-12-450010-5.50022-0"},{"key":"325412_CR26","doi-asserted-by":"crossref","unstructured":"J. Minker, On indefinite databases and the closed world assumption, in: Proc. 6th Conference on Automated Deduction (CADE '82), New York, ed. D.W. Loveland, LNCS 138 (Springer, 1982) pp. 292\u2013308.","DOI":"10.1007\/BFb0000066"},{"key":"325412_CR27","first-page":"1","volume":"12","author":"J. Minker","year":"1994","unstructured":"J. Minker, Overview of disjunctive logic programming, Ann. of Math. and AI 12 (1994) 1\u201324.","journal-title":"Ann. of Math. and AI"},{"key":"325412_CR28","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. Przymusinski","year":"1988","unstructured":"T. Przymusinski, On the declarative and procedural semantics of stratified deductive databases, in: Foundations of Deductive Databases and Logic Programming, ed. J. Minker (Morgan-Kaufman, Washington DC, 1988) pp. 193\u2013216."},{"key":"325412_CR29","unstructured":"T. Przymusinski, Stationary semantics for disjunctive logic programs and deductive databases, in: Logic Programming: Proc. 1990 North American Conference, ed. S. Debray (MIT Press, 1990) pp. 40\u201362."},{"key":"325412_CR30","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T. Przymusinski","year":"1991","unstructured":"T. Przymusinski, Stable semantics for disjunctive programs, New Generation Computing 9 (1991) 401\u2013424.","journal-title":"New Generation Computing"},{"key":"325412_CR31","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter, On closed-world databases, in: Logic and Data Bases, eds. H. Gallaire and J. Minker (Plenum Press, New York, 1978) pp. 55\u201376."},{"key":"325412_CR32","doi-asserted-by":"crossref","unstructured":"K. Ross, The well-founded semantics for disjunctive logic programs, in: Deductive and Object-Oriented Databases: Proc. First Intl Conference (DOOD '89), Kyoto Research Park, Kyoto, Japan, eds. W. Kim, J.-M. Nicolas and S. Nishio (Elsevier, 1990) pp. 385\u2013402.","DOI":"10.1016\/B978-0-444-88433-6.50029-0"},{"issue":"6","key":"325412_CR33","doi-asserted-by":"crossref","first-page":"1216","DOI":"10.1145\/195613.195646","volume":"41","author":"K. Ross","year":"1994","unstructured":"K. Ross, Modular stratification and magic sets for Datalog programs with negation, Journal of the ACM 41(6) (1994) 1216\u20131267.","journal-title":"Journal of the ACM"},{"key":"325412_CR34","doi-asserted-by":"crossref","unstructured":"D. Sacc\u00e0 and C. Zaniolo, Stable models and nondeterminism in logic programs with negation, in: Proc. Ninth ACM Symposium on Principles of Database Systems (PODS '90), Nashville, Tennessee, USA (ACM, 1990) pp. 205\u2013218.","DOI":"10.1145\/298514.298572"},{"key":"325412_CR35","unstructured":"D. Sacc\u00e0 and C. Zaniolo, Partial models and three-valued models in logic programs with negation, in: Proc. 1st Intl Workshop on Logic Programming and Nonmonotonic Reasoning, Washington DC, eds. A. Nerode, W. Marek and V.S. Subrahmanian (MIT Press, 1991) pp. 87\u2013104."},{"key":"325412_CR36","unstructured":"D. Sacc\u00e0, The expressive powers of stable models for bound and unbound queries, Journal of Computer and System Sciences, forthcoming. (Extended abstract in: Proc. 2nd Workshop on Structural Complexity and Recursion-Theoretic Methods in Logic Programming, Vancouver, Canada, eds. H. Blair, W. Marek and A. Nerode (MSI, Cornell University, 1993)."},{"key":"325412_CR37","doi-asserted-by":"crossref","unstructured":"D. Sacc\u00e0 and C. Zaniolo, Deterministic and non-deterministic stable models, Journal of Logic and Computation (1997), forthcoming.","DOI":"10.1093\/logcom\/7.5.555"},{"issue":"1","key":"325412_CR38","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1006\/jcss.1995.1053","volume":"51","author":"J.S. Schlipf","year":"1995","unstructured":"J.S. Schlipf, The expressive powers of logic programming semantics, Journal of Computer and System Sciences 51(1) (1995) 64\u201386.","journal-title":"Journal of Computer and System Sciences"},{"key":"325412_CR39","volume-title":"Principles of Database and Knowledge-Base Systems","author":"J.D. Ullman","year":"1989","unstructured":"J.D. Ullman, Principles of Database and Knowledge-Base Systems (Computer Science Press, Rockville, Maryland, USA, 1989)."},{"key":"325412_CR40","doi-asserted-by":"crossref","unstructured":"A. Van Gelder, The alternating fixpoint of logic programs with negation, in: Proc. Eighth ACM Symposium on Principles of Database Systems (PODS '89), Philadelphia, Pennsylvania, USA (ACM, 1989) pp. 1\u201310.","DOI":"10.1145\/73721.73722"},{"issue":"3","key":"325412_CR41","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Van Gelder","year":"1991","unstructured":"A. Van Gelder, K. Ross and J. Schlipf, The well-founded semantics for general logic programs, Journal of the ACM 38(3) (1991) 620\u2013650.","journal-title":"Journal of the ACM"},{"key":"325412_CR42","doi-asserted-by":"crossref","unstructured":"J. You and L.Y. Yuan, Three-valued formalization of logic programming: is it needed? in: Proc. Ninth ACM Symposium on Principles of Database Systems (PODS '90), Nashville, Tennessee, USA (ACM, 1990) pp. 172\u2013182.","DOI":"10.1145\/298514.298559"},{"key":"325412_CR43","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1016\/S0022-0000(05)80053-4","volume":"49","author":"J. You","year":"1994","unstructured":"J. You and L.Y. Yuan, A three-valued semantics for deductive databases and logic programs, Journal of Computer and System Sciences 49 (1994) 334\u2013361.","journal-title":"Journal of Computer and System Sciences"},{"issue":"3","key":"325412_CR44","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0743-1066(94)00023-Y","volume":"22","author":"J. You","year":"1995","unstructured":"J. You and L.Y. Yuan, On the equivalence of semantics for normal logic programs, Journal of Logic Programming 22(3) (1995) 211\u2013222.","journal-title":"Journal of Logic Programming"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018947420290.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018947420290\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018947420290.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:33:18Z","timestamp":1747546398000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018947420290"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,3]]},"references-count":44,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1997,3]]}},"alternative-id":["325412"],"URL":"https:\/\/doi.org\/10.1023\/a:1018947420290","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,3]]}}}