{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:56Z","timestamp":1725664976647},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540642992"},{"type":"electronic","value":"9783540697190"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64299-4_35","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:36:38Z","timestamp":1330299398000},"page":"206-222","source":"Crossref","is-referenced-by-count":0,"title":["Specifying with defaults: Compositional semantics"],"prefix":"10.1007","author":[{"given":"F. Miguel","family":"Dion\u00edsio","sequence":"first","affiliation":[]},{"given":"Udo W.","family":"Lipeck","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"11_CR1","volume-title":"Abstract and Concrete Categories","author":"J. Ad\u00e1mek","year":"1990","unstructured":"J. Ad\u00e1mek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. John Wiley & Sons, New York, 1990."},{"key":"11_CR2","unstructured":"H. Andr\u00e9ka, M. Ryan, and P.-Y. Schobbens. Operators and laws for combining preference relations. In R. J. Wieringa and R. Feenstra, editors, IS-CORE'94-Selected papers, pages 191\u2013206. World Scientific Publishers, 1995."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"S. Bra\u00df. Deduction with supernormal defaults. In P. Schmitt G. Brewka, K. Jantke, editor, Nonmonotonic and Inductive Logic-Second International Workshop, 1991, pages 153\u2013174, Berlin, 1992. Springer 1.","DOI":"10.1007\/BFb0030392"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"S. Bra\u00df and U. W. Lipeck. Semantics of inheritance in logical object specifications. In Claude Delobel, Michael Kifer, and Yoshifumi Masunaga, editors, Deductive and Object-Oriented Databases, 2nd Int. Conf. (DOOD'91), number 566 in LNCS, pages 411\u2013430. Springer, 19911.","DOI":"10.1007\/3-540-55015-1_22"},{"key":"11_CR5","unstructured":"S. Bra\u00df, M. Ryan, and U. W. Lipeck. Hierarchical defaults in specifications. In G. Saake and A. Sernadas, editors, Information Systems-Correctness and Reusability, Workshop IS-CORE '91, number 91-03 in Informatik-Bericht, pages 179\u2013201. TU Braunschweig, 19911."},{"key":"11_CR6","unstructured":"G. Brewka. Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 1991."},{"key":"11_CR7","unstructured":"R. M. Burstall and J. A. Goguen. Putting theories together to make specifications. In Raj Reddy, editor, Proceedings of the 5th International Joint Conference on Artificial Intelligence (IJCAI), pages 1045-1058, Cincinnati, Ohio, 1977. Department of Computer Science, Carnegie-Mellon University."},{"key":"11_CR8","unstructured":"F. M. Dionisio, U. W. Lipeck, and S. Bra\u00df. Composition of default specifications. In R. J. Wieringa and R. Feenstra, editors, IS-CORE'94-Selected papers, pages 207\u2013221. World Scientific Publishers, 19952."},{"key":"11_CR9","unstructured":"F. Dion\u00edsio. Composition of Hierarchic Default Specifications. PhD thesis, University of Hannover, 19972."},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"J. Fiadeiro and T. Maibaum. Describing, structuring and implementing objects. In J. W. de Bakker, W. P. de Roever,, and G. Rozenberg, editors, Foundations of Object-Oriented Languages, number 489 in LNCS, pages 275\u2013310. Springer, 1991.","DOI":"10.1007\/BFb0019447"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF01212304","volume":"4","author":"J. Fiadeiro","year":"1992","unstructured":"J. Fiadeiro and T. Maibaum. Temporal theories as modulaarization units for concurrent system specification. Formal Aspects of Computing, 4:239\u2013272, 1992.","journal-title":"Formal Aspects of Computing"},{"volume-title":"Belief Revision","year":"1992","key":"11_CR12","unstructured":"P. G\u00e4xdenfors, editor. Belief Revision. Cambridge Press, Cambridge, England, 1992."},{"key":"11_CR13","unstructured":"J. A. Goguen. A categorial manifesto. Technical report prg-72, Programming Research Group, University of Oxford, 1989."},{"issue":"1","key":"11_CR14","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95\u2013146, 1992.","journal-title":"Journal of the ACM"},{"key":"11_CR15","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BF01057652","volume":"52","author":"D. Makinson","year":"1993","unstructured":"D. Makinson. Five faces of minimality. Studia Logica, 52:339\u2013379, 1993.","journal-title":"Studia Logica"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy. Circumscription-a form of non-monotonic reasoning. Artificial Intelligence, 13:27\u201339, 1980.","journal-title":"Artificial Intelligence"},{"key":"11_CR17","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:27\u201347, 1988.","journal-title":"Artificial Intelligence"},{"key":"11_CR18","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 and J. Minker, editors, Logic and Data Bases, pages 55\u201376. Plenum Press, New York, 1978."},{"key":"11_CR19","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1109\/LICS.1991.151660","volume-title":"Proc. Sixth Annual IEEE Symposium on Logic in Computer Science (LICS)","author":"M. Ryan","year":"1991","unstructured":"M. Ryan. Defaults and revision in structured theories. In Proc. Sixth Annual IEEE Symposium on Logic in Computer Science (LICS), pages 362\u2013373, Los Alamitos, CA, 1991. IEEE Computer Society Press."},{"key":"11_CR20","unstructured":"M. Ryan. Representing defaults as sentences with reduced priority. In B. Nebel and W. Swartout, editors, Proc. Second International Conference on Principles of Knowlage Representation and Reasoning (KR'9,2). Morgan Kaufmann, 1992."},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"A. Sernadas, J. F. Costa, and C. Sernadas. An institution of object behaviour. In H. Ehrig and F. Orejas, editors, Recent Trends in Data Type Specification, pages 337\u2013350. Springer, 1994. LNCS 7853.","DOI":"10.1007\/3-540-57867-6_21"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"A. Sernadas, J. Fiadeiro, C. Sernadas, and H.-D. Ehrich. Abstract object types: A temporal perspective. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal Logic in Specification, pages 324\u2013350. Springer, 19893.","DOI":"10.1007\/3-540-51803-7_33"},{"issue":"5","key":"11_CR23","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1093\/logcom\/5.5.603","volume":"5","author":"A. Sernadas","year":"1995","unstructured":"A. Sernadas, C. Sernadas, and J. F. Costa. Object specification logic. Journal of Logic and Computation, 5(5):603\u2013630, 19953.","journal-title":"Journal of Logic and Computation"},{"key":"11_CR24","unstructured":"Y. Shoham. Nonmonotonic logics: meaning and utility. In Proceedings of IJCAI87, pages 388\u2013392, Milan, 1987."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64299-4_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:19:49Z","timestamp":1605647989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64299-4_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540642992","9783540697190"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-64299-4_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}