{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:37Z","timestamp":1725663757984},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578024"},{"type":"electronic","value":"9783540483359"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57802-1_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T08:23:18Z","timestamp":1330244598000},"page":"22-43","source":"Crossref","is-referenced-by-count":1,"title":["Object-oriented system specification using defaults"],"prefix":"10.1007","author":[{"given":"Udo W.","family":"Lipeck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Brass","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"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 Mathetmatical Fundamentals of Database Systems (MFDBS'89), 68\u201384, LNCS 364, Springer-Verlag, 1989.","key":"2_CR1","DOI":"10.1007\/3-540-51251-9_6"},{"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. (DOOD'91), 411\u2013430, LNCS 566, Springer-Verlag, 1991.","key":"2_CR2","DOI":"10.1007\/3-540-55015-1_22"},{"doi-asserted-by":"crossref","unstructured":"S. Brass, U. W. Lipeck: Bottom-up query evaluation with partially ordered defaults. In S. Ceri, K. Tanaka, S. Tsur (eds.), Deductive and Object-Oriented Databases, 3rd Int. Conf. (DOOD'93), 252\u2013266, LNCS 760, Springer, 1993.","key":"2_CR3","DOI":"10.1007\/3-540-57530-8_16"},{"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 Int. Workshop (NIL'91), 153\u2013174, LNAI 659, Springer-Verlag, 1993.","key":"2_CR4","DOI":"10.1007\/BFb0030392"},{"unstructured":"S. Brass: On the semantics of supernormal defaults. In R. Bajcsy (ed.), Proc. of the 13th Int. Joint Conf. on Artificial Intelligence (IJCAI'93), Morgan Kaufmann, 1993.","key":"2_CR5"},{"unstructured":"G. Brewka: Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press, 1991.","key":"2_CR6"},{"unstructured":"S. Brass, M. Ryan, U. W. Lipeck: Hierarchical defaults in specifications. In G. Saake, A. Sernadas (eds.), Information Systems \u2014 Correctness and Reusability, Workshop IS-CORE '91, 179\u2013201, Informatik-Bericht 91-03, TU Braunschweig, 1991.","key":"2_CR7"},{"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 Europ. Conf. on Artificial Intelligence (ECAI 92), 289\u2013293, John Wiley & Sons, 1992.","key":"2_CR8"},{"unstructured":"J. P. Delgrande, W. K. Jackson: Default logic revisited. In J. Allen, R. Fikes, E. Sandewall (eds.), Principles of Knowledge Representation and Reasoning, 2nd Int. Conf. (KR'91), 118\u2013127, Morgan Kaufmann, 1991.","key":"2_CR9"},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1111\/j.1467-8640.1985.tb00055.x","volume":"1","author":"D. W. Etherington","year":"1985","unstructured":"D. W. Etherington, R. E. Mercer, R. Reiter: On the adequacy of predicate circumscription for closed-world reasoning. Computational Intelligence 1 (1985), 11\u201315.","journal-title":"Computational Intelligence"},{"unstructured":"J. Fiadeiro, T. Maibaum: Towards object calculi. In G. Saake, A. Sernadas (eds.), Information Systems \u2014 Correctness and Reusability, Workshop ISCORE '91, 129\u2013178, Informatik-Bericht 91-03, TU Braunschweig, 1991.","key":"2_CR11"},{"key":"2_CR12","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S. Hanks","year":"1987","unstructured":"S. Hanks, D. McDermott: Nonmonotonic logic and temporal projection. Artificial Intelligence 33 (1987), 379\u2013412.","journal-title":"Artificial Intelligence"},{"key":"2_CR13","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":"2_CR14","doi-asserted-by":"crossref","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. Artif. Intelligence 13 (1980), 81\u2013132.","journal-title":"Artif. Intelligence"},{"doi-asserted-by":"crossref","unstructured":"R. Reiter: On formalizing database updates \u2014 preliminary report. In A. Pirotte, C. Delobel, G. Gottlob (eds.), Advances in Database Technology \u2014 EDBT'92, 3rd Int. Conf., 10\u201320, LNCS 580, Springer-Verlag, 1992.","key":"2_CR15","DOI":"10.1007\/BFb0032420"},{"doi-asserted-by":"crossref","unstructured":"M. Ryan: Defaults and revision in structured theories. In Proc. of the IEEE Symposium on Logic in Computer Science (LICS'91), 362\u2013373, 1991.","key":"2_CR16","DOI":"10.1109\/LICS.1991.151660"},{"unstructured":"A. Sernadas, C. Sernadas. Denotational semantics of object specification within an arbitrary temporal logic institution. In U. W. Lipeck, G. Koschorreck (eds.), Information Systems \u2014 Correctness and Reusability, Workshop ISCORE '93, 61\u201389, Informatik-Bericht 93-01, Univ. Hannover, 1993.","key":"2_CR17"},{"key":"2_CR18","volume-title":"Technical report","author":"A. Sernadas","year":"1992","unstructured":"A. Sernadas, C. Sernadas, J. F. Costa: Object specification logic. Technical report, INESC, Lisbon, June 1992."}],"container-title":["Lecture Notes in Computer Science","Management and Processing of Complex Data Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57802-1_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:14:11Z","timestamp":1605629651000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57802-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578024","9783540483359"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-57802-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}