{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:39:52Z","timestamp":1725493192479},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_14","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:50:39Z","timestamp":1192902639000},"page":"161-172","source":"Crossref","is-referenced-by-count":5,"title":["Using Institutions for the Study of Qualitative and Quantitative Conditional Logics"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"Kern-Isberner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"14_CR1","unstructured":"C. Beierle and G. Kern-Isberner. Looking at probabilistic conditionals from an institutional point of view. In Proceedings of the Workshop Conditionals, Information, and Inference. Hagen, 2002."},{"key":"14_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume-title":"The semantics of Clear, a specification language","author":"R. Burstall","year":"1980","unstructured":"R. Burstall and J. Goguen. The semantics of Clear, a specification language. In Proceedings of the 1979 Copenhagen Winterschool on Abstract Software Specification, volume 86 of LNCS, pages 292\u2013332, Berlin, 1980. Springer-Verlag."},{"key":"14_CR3","first-page":"71","volume-title":"Conditional Logic in Expert Systems","author":"P. Calabrese","year":"1991","unstructured":"P. Calabrese. Deduction and inference using conditional logic and probability. In I. Goodman, M. Gupta, H. Nguyen, and G. Rogers, editors, Conditional Logic in Expert Systems, pages 71\u2013100. Elsevier, North Holland, 1991."},{"key":"14_CR4","volume-title":"Theory of Probability","author":"B. Finetti De","year":"1974","unstructured":"B. De Finetti. Theory of Probability, volume 1,2. John Wiley and Sons, New York, 1974."},{"key":"14_CR5","first-page":"115","volume-title":"Conditional Logic in Expert Systems","author":"D. Dubois","year":"1991","unstructured":"D. Dubois and H. Prade. Conditioning, non-monotonic logic and non-standard uncertainty models. In I. Goodman, M. Gupta, H. Nguyen, and G. Rogers, editors, Conditional Logic in Expert Systems, pages 115\u2013158. Elsevier, North Holland, 1991."},{"issue":"1","key":"14_CR6","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"J. Goguen and R. 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":"14_CR7","doi-asserted-by":"crossref","unstructured":"J. A. Goguen and G. Rosu. Institution morphisms. In D. Sannella, editor, Festschrift for Rod Burstall. 2002. (to appear).","DOI":"10.1007\/s001650200013"},{"key":"14_CR8","volume-title":"Category theory","author":"H. Herrlich","year":"1973","unstructured":"H. Herrlich and G. E. Strecker. Category theory. Allyn and Bacon, Boston, 1973."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"G. Kern-Isberner. Conditionals in nonmonotonic reasoning and belief revision. Springer, Lecture Notes in Artificial Intelligence LNAI 2087, 2001.","DOI":"10.1007\/3-540-44600-1"},{"key":"14_CR10","volume-title":"Counterfactuals","author":"D. Lewis","year":"1973","unstructured":"D. Lewis. Counterfactuals. Harvard University Press, Cambridge, Mass., 1973."},{"key":"14_CR11","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1972","unstructured":"S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag, New York, 1972."},{"key":"14_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-8966-5","volume-title":"Topics in Conditional Logic","author":"D. Nute","year":"1980","unstructured":"D. Nute. Topics in Conditional Logic. D. Reidel Publishing Company, Dordrecht, Holland, 1980."},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BF01211084","volume":"9","author":"D. Sannella","year":"1997","unstructured":"D. Sannella and A. Tarlecki. Essential comcepts for algebraic specification and program development. Formal Aspects of Computing, 9:229\u2013269, 1997.","journal-title":"Formal Aspects of Computing"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"R. Stalnaker. A theory of conditionals. In N. Rescher, editor, Studies in Logical Theory. American Philosphical Quarterly Monograph Series, No. 2, Blackwell, Oxford, 1968.","DOI":"10.1007\/978-94-009-9117-0_2"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:07:46Z","timestamp":1556921266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}