{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:56Z","timestamp":1725663476183},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540550150"},{"type":"electronic","value":"9783540466468"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-55015-1_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:23:48Z","timestamp":1330212228000},"page":"411-430","source":"Crossref","is-referenced-by-count":15,"title":["Semantics of inheritance In logical object specifications"],"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,6,4]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0169-023X(90)90016-7","volume":"5","author":"S. Abiteboul","year":"1990","unstructured":"S. Abiteboul: Towards a deductive object-oriented database language. Data & Knowledge Engineering 5 (1990), 263\u2013287.","journal-title":"Data & Knowledge Engineering"},{"key":"22_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. A. Blair, A. Walker: Towards a theory of declarative knowledge. In J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, 89\u2013148, Morgan Kaufmann Publishers, Los-Altos (Calif.), 1988."},{"key":"22_CR3","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0169-023X(90)90020-E","volume":"5","author":"C. Beeri","year":"1990","unstructured":"C. Beeri: A formal approach to object-oriented databases. Data & Knowledge Engineering 5 (1990), 353\u2013382.","journal-title":"Data & Knowledge Engineering"},{"key":"22_CR4","series-title":"LNCS 364","first-page":"68","volume-title":"Second Symposium on Mathematical Fundamentals of Database Systems (MFDBS'89)","author":"S. Brass","year":"1989","unstructured":"S. Brass, U. W. Lipeck: Specifying closed world assumptions for logic databases. In J. Demetrovics, B. Thalheim (eds.), Second Symposium on Mathematical Fundamentals of Database Systems (MFDBS'89), 68\u201384, LNCS 364, Springer-Verlag, Berlin, 1989."},{"key":"22_CR5","unstructured":"S. Brass, U. W. Lipeck: Generalized bottom-up query evaluation. To appear in Proceedings of EDBT'92 (Extending Database Technology), Springer-Verlag, 1991."},{"key":"22_CR6","series-title":"LNCS 470","first-page":"349","volume-title":"Third International Conference on Database Theory (ICDT'90)","author":"S. Brass","year":"1990","unstructured":"S. Brass: Beginnings of a theory of general database completions. In S. Abiteboul, P. C. Kanellakis (eds.), Third International Conference on Database Theory (ICDT'90), 349\u2013363, LNCS 470, Springer-Verlag, Berlin, 1990."},{"key":"22_CR7","unstructured":"S. Brass: Deduction under closed world assumptions. Submitted for publication, 1991."},{"key":"22_CR8","volume-title":"Nonmonotonic Reasoning: Logical Foundations of Commonsense","author":"G. Brewka","year":"1991","unstructured":"G. Brewka: Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press, Cambridge, 1991."},{"key":"22_CR9","unstructured":"S. Brass, M. Ryan, U. W. Lipeck: Hierarchical defaults in specifications. In Proceedings of the IS-CORE Workshop, London, September 1991. To appear as Informatik-Bericht, TU Braunschweig."},{"key":"22_CR10","volume-title":"Foundations of Object-Oriented Languages","author":"J. Fiadeiro","year":"1990","unstructured":"J. Fiadeiro, T. Maibaum: Describing, structuring, and implementing objects. In J. de Bakker, W. de Roever, G. Rozenberg (eds.), Foundations of Object-Oriented Languages, 1990. To be published by Springer-Verlag, Berlin."},{"key":"22_CR11","volume-title":"Object-Oriented Databases: Analysis, Design and Construction","author":"J. Fiadeiro","year":"1990","unstructured":"J. Fiadeiro, C. Sernadas, T. Maibaum, G. Saake: Proof-theoretic semantics of objectoriented constructs. In W. Kent, S. Khosla, R. Meersman (eds.), Object-Oriented Databases: Analysis, Design and Construction, 1990. To be published by North-Holland, Amsterdam."},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"A. Heuer, P. Sander: Semantics and evaluation of rules over complex objects. In W. Kim, J.-M. Nicolas, S. Nishio (eds.), The First International Conference on Deductive and Object-Oriented Databases, Proceedings, 439\u2013458, Kyoto, Japan, 1989.","DOI":"10.1016\/B978-0-444-88433-6.50033-2"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"M. Kifer, G. Lausen: F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In J. Clifford, B. Lindsay, D. Maier (eds.), Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data, 134\u2013146, 1989.","DOI":"10.1145\/67544.66939"},{"volume-title":"Deductive and Object-Oriented Databases, Proceedings of the First International Conference (DOOD89)","year":"1990","key":"22_CR14","unstructured":"W. Kim, J.-M. Nicolas, S. Nishio (eds.): Deductive and Object-Oriented Databases, Proceedings of the First International Conference (DOOD89). North-Holland Publ.Co., Kyoto, Japan, 1990. See also: Special Issue on Deductive and ObjectOriented Databases of Data & Knowledge Engineering 5(4), (Okt. 1990)."},{"key":"22_CR15","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(86)90028-7","volume":"28","author":"V. Lifschitz","year":"1986","unstructured":"V. Lifschitz: On the satisfiability of circumscription. Artificial Intelligence 28 (1986), 17\u201327.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"22_CR16","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":"22_CR17","series-title":"LNCS 495","first-page":"59","volume-title":"MFDBS 91 (3rd Symposium on Mathematical Fundamentals of Database Systems)","author":"E. Laenens","year":"1991","unstructured":"E. Laenens, D. Vermeir: On the relationship between well-founded and stable partial models. In B. Thalheim, J. Demetrovics, H.-D. Gerhardt (eds.), MFDBS 91 (3rd Symposium on Mathematical Fundamentals of Database Systems), 59\u201373, LNCS 495, Springer-Verlag, Berlin, 1991."},{"key":"22_CR18","first-page":"1","volume-title":"Non-Monotonic Reasoning (2nd International Workshop)","author":"D. Makinson","year":"1989","unstructured":"D. Makinson: General theory of cumulative inference. In Non-Monotonic Reasoning (2nd International Workshop), 1\u201318, LNAI 346, Springer-Verlag, Berlin, 1989."},{"key":"22_CR19","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"J. McCarthy: Applications of circumscription to formalizing common-sense knowledge. Artificial Intelligence 28 (1986), 86\u2013116.","journal-title":"Artificial Intelligence"},{"key":"22_CR20","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":"T. C. Przymusinski: On the declarative semantics of deductive databases and logic programs. In J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, 193\u2013216, Morgan Kaufmann Publishers, Los-Altos (Calif.), 1988."},{"key":"22_CR21","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 data bases. In H. Gallaire, J. Minker (eds.), Logic and Data Bases, 55\u201376, Plenum, New York, 1978."},{"key":"22_CR22","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. Artificial Intelligence 13 (1980), 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"22_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":"22_CR24","volume-title":"Research Notes in Artificial Intelligence","author":"D. S. Touretzky","year":"1986","unstructured":"D. S. Touretzky: The Mathematics of Inheritance. Research Notes in Artificial Intelligence. Pitman, London, 1986."}],"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-55015-1_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:10Z","timestamp":1605646630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55015-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540550150","9783540466468"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-55015-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}