{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:15:02Z","timestamp":1725488102689},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540675303"},{"type":"electronic","value":"9783540454991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45499-3_5","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T01:55:04Z","timestamp":1185933304000},"page":"26-40","source":"Crossref","is-referenced-by-count":0,"title":["Distance Functions for Defaults in Reactive Systems"],"prefix":"10.1007","author":[{"given":"Sofia","family":"Guerra","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"5_CR1","unstructured":"Stefan Brass, Udo Lipeck, and Pedro Resende. Specification of object behaviour with defaults. In Udo Lipeck and Gerhard Koschorreck, editors, Proceedings of the International Workshop on Information Systems: Correctness and Reusability, ISCORE-93, pages 155\u2013177, 1993."},{"key":"5_CR2","series-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","volume-title":"Nonmonotonic Reasoning and Uncertain Reasoning","year":"1994","unstructured":"Dov Gabbay, C. J. Hogger, and J. A. Robinson, editors. Nonmonotonic Reasoning and Uncertain Reasoning, volume 3 of Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford: Clarendon Press, 1994."},{"issue":"1","key":"5_CR3","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1049\/sej.1996.0001","volume":"11","author":"A. Finkelstein","year":"1996","unstructured":"Anthony Finkelstein and Ian Sommerville. The viewpoints FAQ. Software Engineering Journal, 11(1):2\u20134, 1996.","journal-title":"Software Engineering Journal"},{"issue":"1","key":"5_CR4","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"Joseph A. Goguen and Rod M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95\u2013146, January 1992.","journal-title":"Journal of the ACM"},{"key":"5_CR5","unstructured":"Sofia Guerra. Defaults in the Specification of Reactive Systems. PhD thesis, Instituto Superior T\u00e9cnico, Universidade T\u00e9cnica de Lisboa, 1999."},{"key":"5_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/3-540-57802-1_2","volume-title":"Management and Processing Complex Data Structures, Proceedings 3rd Workshop on Information Systems and Artificial Intelligence","author":"U. W. Lipeck","year":"1994","unstructured":"Udo W. Lipeck and Stefan Brass. Object-oriented system specification using defaults. In K. V. Luck and H. Marburger, editors, Management and Processing Complex Data Structures, Proceedings 3rd Workshop on Information Systems and Artificial Intelligence, volume LNCS 777, pages 22\u201343, Berlin, 1994. Springer Verlag."},{"key":"5_CR7","series-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","first-page":"35","volume-title":"Nonmonotonic Reasoning and Uncertain Reasoning","author":"D. Makinson","year":"1994","unstructured":"David Makinson. General patterns in non-monotonic reasoning. In C. J. Hogger, and J. A. Robinson, editors. Nonmonotonic Reasoning and Uncertain Reasoning, volume 3 of Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford: Clarendon Press, 1994 Gabbay et al. [2], chapter 2, pages 35\u2013110."},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0004-3702(98)00073-3","volume":"103","author":"L. Morgenstern","year":"1998","unstructured":"Leora Morgenstern. Inheritance comes of age: Applying nonmonotonic techniques to problems in industry. Artificial Intelligence, 103:237\u2013271, 1998.","journal-title":"Artificial Intelligence"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Amir Pnueli. The temporal logic of programs. In Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, pages 46\u201357, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"5_CR10","unstructured":"Pierre-Yves Schobbens. Exceptions in Algebraic Specifications. PhD thesis, Universit\u00e9 Catholique de Louvain, Facult\u00e9 des Sciences Appliqu\u00e9es, 1992."},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0004-3702(88)90085-9","volume":"36","author":"Y. Shoham","year":"1988","unstructured":"Yoav Shoham. Chronological ignorance: Experiments in nonmonotonic temporal reasoning. Artificial Intelligence, 36:279\u2013331, 1988.","journal-title":"Artificial Intelligence"},{"issue":"5","key":"5_CR12","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1093\/logcom\/5.5.603","volume":"5","author":"A. Sernadas","year":"1995","unstructured":"A. Sernadas, Cristina Sernadas, and J. F. Costa. Object specification logic. Journal of Logic and Computation, 5(5):603\u2013630, 1995.","journal-title":"Journal of Logic and Computation"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45499-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T21:45:36Z","timestamp":1550439936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45499-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540675303","9783540454991"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45499-3_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}