{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:50Z","timestamp":1725664070655},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540589075"},{"type":"electronic","value":"9783540491361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-58907-4_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:53:59Z","timestamp":1330275239000},"page":"68-81","source":"Crossref","is-referenced-by-count":1,"title":["Querying disjunctive databases through nonmonotonic logics"],"prefix":"10.1007","author":[{"given":"Piero A.","family":"Bonatti","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Eiter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0304-3975(51)90007-2","volume":"78","author":"S. Abiteboul","year":"1991","unstructured":"Abiteboul, S., Kanellakis, P., Grahne, G.: On the Representation and Querying of Sets of Possible Worlds. Theoretical Computer Science 78 (1991) 159\u2013187","journal-title":"Theoretical Computer Science"},{"unstructured":"Abiteboul, S., Vianu, V.: Expressive Power of Query Languages. In Ullman, J. (ed.) Theoretical Studies in Computer Science. Academic Press, 1992","key":"7_CR2"},{"key":"7_CR3","volume-title":"Technical Report CD-TR 94\/70","author":"P. A. Bonatti","year":"1994","unstructured":"Bonatti, P. A., Eiter, T.: Querying Disjunctive Databases Through Nonmonotonic Logics. Technical Report CD-TR 94\/70, CD-Laboratory for Expert Systems, TU Vienna, Austria, 1994. Forthcoming. Preliminary version available from the authors."},{"unstructured":"Bonatti, P. A.: Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. Journal of Logic Programming (to appear). Preliminary version in Apt, K. (ed.) Proc. of the Joint International Conference and Symposium on Logic Programming, MIT Press, 1992","key":"7_CR4"},{"doi-asserted-by":"crossref","unstructured":"Cadoli, M., Eiter, T., Gottlob, G.: Using Default Logic as a Query Language. In Proc. Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR-94), 99\u2013108, 1994","key":"7_CR5","DOI":"10.1016\/B978-1-4832-1452-8.50106-8"},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(85)90002-0","volume":"2","author":"A. Chandra","year":"1985","unstructured":"Chandra, A., Harel, D.: Horn Clause Queries and Generalizations. Journal of Logic Programming 2 (1985) 1\u201315","journal-title":"Journal of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"Chandra A. K.: Theory of Database Queries. In Proc. PODS-88, 1988","key":"7_CR7","DOI":"10.1145\/308386.308396"},{"doi-asserted-by":"crossref","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Adding Disjunction to Datalog. In Proc. Thirteenth ACM SIGACT SIGMOD-SIGART Symposium on Principles of Database Systems (PODS-94), 267\u2013278, May 1994","key":"7_CR8","DOI":"10.1145\/182591.182639"},{"key":"7_CR9","volume-title":"Reasoning with Incomplete Information","author":"D. W. Etherington","year":"1988","unstructured":"Etherington, D. W.: Reasoning with Incomplete Information. Morgan Kaufmann Publishers, Inc., Los Altos, 1988"},{"doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez, J., Minker, J.: Semantics of Disjunctive Deductive Databases. In Proc. 4th Intl. Conference on Database Theory (ICDT-92), LNCS 646, 21\u201350, Springer-Verlag, 1992","key":"7_CR10","DOI":"10.1007\/3-540-56039-4_31"},{"key":"7_CR11","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","volume":"2","author":"G. Gottlob","year":"1992","unstructured":"Gottlob G.: Complexity Results for Nonmonotonic Logics. Journal of Logic and Computation 2 (1992) 397\u2013425","journal-title":"Journal of Logic and Computation"},{"unstructured":"Grahne G.: Updates and Counterfactuals. In Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning (KR-91), 269\u2013276, 1991","key":"7_CR12"},{"unstructured":"Gurevich Y.: Logic and the Challenge of Computer Science. In E. B\u00f6rger, editor, Trends in Theoretical Computer Science, Chapter 1. Computer Science Press, 1988","key":"7_CR13"},{"key":"7_CR14","volume-title":"Handbook of Theoretical Computer Science, Volume B","author":"P. Kanellakis","year":"1990","unstructured":"Kanellakis, P.: Elements of Relational Database Theory. In J. van Leeuwen (ed.) Handbook of Theoretical Computer Science, Volume B, Chapter 17. Elsevier Science Publishers B.V. (North-Holland), 1990"},{"doi-asserted-by":"crossref","unstructured":"Kolaitis, P., Vardi, M.: On the Expressive Power of Datalog: Tools and a Case Study. In Proceedings PODS-90, 61\u201371, 1990","key":"7_CR15","DOI":"10.1145\/298514.298542"},{"key":"7_CR16","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, MA, 1992"},{"key":"7_CR17","volume-title":"Non-Monotonic Reasoning","author":"W. Lukasiewicz","year":"1990","unstructured":"Lukasiewicz, W.: Non-Monotonic Reasoning. Ellis Horwood Limited, Chichester, England, 1990"},{"key":"7_CR18","doi-asserted-by":"crossref","first-page":"588","DOI":"10.1145\/116825.116836","volume":"38","author":"W. Marek","year":"1991","unstructured":"Marek, W., Truszczy\u0144ski, M.: Autoepistemic Logic. Journal of the ACM 38 (1991) 588\u2013619","journal-title":"Journal of the ACM"},{"doi-asserted-by":"crossref","unstructured":"Marek, W., Truszczy\u0144ski, M.: Nonmonotonic Logics \u2014 Context-Dependent Reasoning. Springer-Verlag, 1993","key":"7_CR19","DOI":"10.1007\/978-3-662-02906-0"},{"key":"7_CR20","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"Moore R.: Semantical Considerations on Nonmonotonic Logics. Artificial Intelligence 25 (1985) 75\u201394","journal-title":"Artificial Intelligence"},{"key":"7_CR21","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T. Przymusinski","year":"1991","unstructured":"Przymusinski, T.: Stable Semantics for Disjunctive Programs. New Generation Computing 9 (1991) 401\u2013424","journal-title":"New Generation Computing"},{"doi-asserted-by":"crossref","unstructured":"Przymusinski, T.: On the Declarative and Procedural Semantics of Stratified Deductive Databases. in Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, 193\u2013216. Morgan Kaufman, 1988","key":"7_CR22","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"7_CR23","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A Logic for Default Reasoning. Artificial Intelligence 13 (1980) 81\u2013132","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"Schlipf, J.: The Expressive Powers of Logic Programming Semantics. Technical Report CIS-TR-90-3, Computer Science Department, University of Cincinnati, 1990. Preliminary version in Proc. PODS-90, 196\u2013204. To appear in the Journal of Computer and System Sciences","key":"7_CR24","DOI":"10.1145\/298514.298564"},{"doi-asserted-by":"crossref","unstructured":"Vardi, M.: Complexity of relational query languages. In Proceedings 14th STOC, 137\u2013146, 1982","key":"7_CR25","DOI":"10.1145\/800070.802186"},{"key":"7_CR26","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/0022-0000(86)90016-4","volume":"32","author":"M. Vardi","year":"1986","unstructured":"Vardi, M.: Querying Logical Databases. Journal of Computer and System Sciences 32 (1986) 142\u2013160","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2014 ICDT '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58907-4_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:24:41Z","timestamp":1605648281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58907-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540589075","9783540491361"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-58907-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}