{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:33Z","timestamp":1725664113353},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540575306"},{"type":"electronic","value":"9783540482123"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57530-8_16","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:07:46Z","timestamp":1330261666000},"page":"253-266","source":"Crossref","is-referenced-by-count":5,"title":["Bottom-up query evaluation with partially ordered defaults"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Brass","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Udo W.","family":"Lipeck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"16_CR1","volume-title":"Research Report RR-92-58","author":"F. Baader","year":"1992","unstructured":"F. Baader, B. Hollunder: How to prefer more specific defaults in terminological default logic. Research Report RR-92-58, DFKI, Kaiserslautern, 1992."},{"key":"16_CR2","unstructured":"A. B. Baker, M. L. Ginsberg: A theorem prover for prioritized circumscription. In Proc. 11th Int. Joint Conf. on Artificial Intelligence (IJCAI), 463\u2013467, 1989."},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"S. Brass: Deduction with supernormal defaults. In G. Brewka, K. P. Jantke, P. H. Schmitt (eds.), Nonmonotonic and Inductive Logics, 2nd International Workshop (NIL'91), 153\u2013174, LNAI 659, Springer-Verlag, 1993.","DOI":"10.1007\/BFb0030392"},{"key":"16_CR4","unstructured":"S. Brass: Efficient query evaluation in disjunctive deductive databases. Internal Report 93Br02, Institut f\u00fcr Informatik, Universit\u00e4t Hannover, 1993."},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"S. Brass, U. W. Lipeck: Specifying closed world assumptions for logic databases. In J. Demetrovics, B. Thalheim (eds.), 2nd Symp. on Mathematical Fundamentals of Database Syst. (MFDBS'89), 68\u201384, LNCS 364, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51251-9_6"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"S. Brass, U. W. Lipeck: Semantics of inheritance in logical object specifications. In C. Delobel, M. Kifer, Y. Masunaga (eds.), Deductive and Object-Oriented Databases, 2nd Int. Conf. (D00D'91), 411\u2013430, LNCS 566, Springer, 1991.","DOI":"10.1007\/3-540-55015-1_22"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"S. Brass, U. W. Lipeck: Generalized bottom-up query evaluation. In A. Pirotte, C. Delobel, G. Gottlob (eds.), Advances in Database Technology \u2014 EDBT'92, 3rd Int. Conf., 88\u2013103, LNCS 580, Springer-Verlag, 1992.","DOI":"10.1007\/BFb0032425"},{"key":"16_CR8","unstructured":"G. Brewka: Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press, 1991."},{"key":"16_CR9","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0169-023X(90)90017-8","volume":"5","author":"F. Bry","year":"1990","unstructured":"F. Bry: Query evaluation in recursive databases: bottom-up and top-down reconciled. Data & Knowledge Engineering 5 (1990), 289\u2013312.","journal-title":"Data & Knowledge Engineering"},{"key":"16_CR10","volume-title":"Surveys in Computer Science","author":"S. Ceri","year":"1990","unstructured":"S. Ceri, G. Gottlob, L. Tanca: Logic Programming and Databases. Surveys in Computer Science. Springer-Verlag, Berlin, 1990."},{"key":"16_CR11","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.-L. Chang","year":"1973","unstructured":"C.-L. Chang, R. C.-T. Lee: Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 1973."},{"key":"16_CR12","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0304-3975(51)90010-2","volume":"78","author":"R. Demolombe","year":"1991","unstructured":"R. Demolombe: An efficient strategy for non-horn deductive databases. Theoretical Computer Science 78 (1991), 245\u2013259.","journal-title":"Theoretical Computer Science"},{"key":"16_CR13","unstructured":"J. Dix: Default theories of Poole-type and a method for constructing cumulative versions of default logic. In B. Neumann (ed.), Proc. of the 10th European Conf. on Artificial Intelligence (ECAI 92), 289\u2013293, John Wiley & Sons, 1992."},{"key":"16_CR14","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H. Gallaire","year":"1984","unstructured":"H. Gallaire, J. Minker, J.-M. Nicolas: Logic and databases: A deductive approach. Computing Surveys 16 (1984), 153\u2013185.","journal-title":"Computing Surveys"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"M. Gelfond, H. Przymusinska, T. Przymusinski: The extended closed world assumption and its relationship to parallel circumscription. In Proc. 5th ACM SIGACT-SIGMOD Symp. Princ. of Database Syst. (PODS'86), 133\u2013139, 1986.","DOI":"10.1145\/6012.15410"},{"key":"16_CR16","unstructured":"M. Kifer, G. Lausen, J. Wu: Logical foundations of object-oriented and frame-based languages. Technical report, SUNY at Stony Brook, 1990."},{"issue":"2","key":"16_CR17","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1093\/logcom\/1.2.159","volume":"1","author":"E. Laenens","year":"1990","unstructured":"E. Laenens, D. Vermeir: A fixpoint semantics for ordered logic. Journal of Logic and Computation 1:2 (1990), 159\u2013185.","journal-title":"Journal of Logic and Computation"},{"key":"16_CR18","volume-title":"Foundations of Disjunctive Logic Programming","author":"J. Lobo","year":"1992","unstructured":"J. Lobo, J. Minker, A. Rajasekar: Foundations of Disjunctive Logic Programming. MIT Press, Cambridge, Massachusetts, 1992."},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"R. Manthey, F. Bry: SATCHMO: a theorem prover implemented in Prolog. In E. Lusk, R. Overbeek (eds.), 9th Conf. on Automated Deduction (CADE-9), 415\u2013434, LNCS 310, Springer-Verlag, 1988.","DOI":"10.1007\/BFb0012847"},{"key":"16_CR20","volume-title":"A Logical Language for Data and Knowledge Bases","author":"S. Naqvi","year":"1989","unstructured":"S. Naqvi, S. Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press, New York, 1989."},{"key":"16_CR21","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"D. Poole: A logical framework for default reasoning. Artificial Intelligence 36 (1988), 27\u201347.","journal-title":"Artificial Intelligence"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"V. Royer: Backward chaining evaluation in stratified disjunctive theories. In Proc. of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'90), 183\u2013195, 1990.","DOI":"10.1145\/298514.298562"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"M. Ryan: Defaults and revision in structured theories. In Proceedings of the IEEE Symposium on Logic in Computer Science (LICS'91), 362\u2013373, 1991.","DOI":"10.1109\/LICS.1991.151660"},{"key":"16_CR24","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0004-3702(93)90033-8","volume":"60","author":"K. Thirunarayan","year":"1993","unstructured":"K. Thirunarayan, M. Kifer: A theory of nonmonotonic inheritance based on annotated logic. Artificial Intelligence 60 (1993), 23\u201350.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Deductive and Object-Oriented Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57530-8_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:06:07Z","timestamp":1619571967000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57530-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540575306","9783540482123"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-57530-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}