{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:11:32Z","timestamp":1725538292770},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642048920"},{"type":"electronic","value":"9783642048937"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04893-7_6","type":"book-chapter","created":{"date-parts":[[2009,9,26]],"date-time":"2009-09-26T02:11:09Z","timestamp":1253931069000},"page":"66-75","source":"Crossref","is-referenced-by-count":4,"title":["Attributing Distributed Responsibility in Stit Logic"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Ciuni","sequence":"first","affiliation":[]},{"given":"Rosja","family":"Mastop","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T., Kupferman, O.: Alternating-time temporal logic. In: Proceedings of the 38th IEEE Symposium on Foundations of Computer Science, pp. 100\u2013109 (1997)","DOI":"10.1109\/SFCS.1997.646098"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/BF01028971","volume":"51","author":"N. Belnap","year":"1992","unstructured":"Belnap, N., Perloff, M.: The way of the agent. Studia Logica\u00a051, 463\u2013484 (1992)","journal-title":"Studia Logica"},{"key":"6_CR3","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the Future: Agents and Choices in our Indeterminist World","author":"N. Belnap","year":"2001","unstructured":"Belnap, N., Perloff, M., Xu, M.: Facing the Future: Agents and Choices in our Indeterminist World. Oxford University Press, Oxford (2001)"},{"key":"6_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-540-70525-3_12","volume-title":"Deontic Logic in Computer Science","author":"J. Broersen","year":"2008","unstructured":"Broersen, J.: A logical analysis of the interaction between \u2018obligation-to-do\u2019 and \u2018knowingly doing\u2019. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol.\u00a05076, pp. 140\u2013154. Springer, Heidelberg (2008)"},{"key":"6_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-540-93920-7_4","volume-title":"Declarative Agent Languages and Technologies VI","author":"J. Broersen","year":"2009","unstructured":"Broersen, J.: A complete stit logic for knowledge and action, and some of its applications. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol.\u00a05397, pp. 47\u201359. Springer, Heidelberg (2009)"},{"key":"6_CR6","unstructured":"Broersen, J.: First steps in the stit-logic analysis of intentional action. In: ESSLLI 2009 workshop on Logical Methods for Social Concepts, LMSC 2009 (2009)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Broersen, J., Herzig, A., Troquard, N.: A normal simulation of coalition logic and an epistemic extension. In: Proceedings of TARK XI, pp. 92\u2013101. ACM Digital Library (2007)","DOI":"10.1145\/1324249.1324264"},{"key":"6_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511487408","volume-title":"Practical Reasoning in a Social World: How We Act Together","author":"K. Graham","year":"2002","unstructured":"Graham, K.: Practical Reasoning in a Social World: How We Act Together. Cambridge University Press, Cambridge (2002)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BFb0028194","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"A. Herzig","year":"1993","unstructured":"Herzig, A., Gasquet, O.: Translating inaccessible worlds logic into bimodal logic. In: Clarke, M., Kruse, R., Moral, S. (eds.) ECSQARU 1993. LNCS, vol.\u00a0747, pp. 145\u2013150. Springer, Heidelberg (1993)"},{"key":"6_CR10","doi-asserted-by":"publisher","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and Deontic Logic","author":"J. Horty","year":"2001","unstructured":"Horty, J.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)"},{"issue":"3","key":"6_CR11","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1305\/ndjfl\/1093870378","volume":"24","author":"I.L. Humberstone","year":"1983","unstructured":"Humberstone, I.L.: Inaccessible worlds. Notre Dame Journal of Formal Logic\u00a024(3), 346\u2013352 (1983)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"6_CR12","first-page":"123","volume-title":"Legal Knowledge and Information Systems. Jurix 2000","author":"J. Lehmann","year":"2000","unstructured":"Lehmann, J., Breuker, J.: On automatic causal reasoning. In: Breuker, J., Leenes, R., Winkels, R. (eds.) Legal Knowledge and Information Systems. Jurix 2000, pp. 123\u2013134. IOS Press, Amsterdam (2000)"},{"key":"6_CR13","unstructured":"Pauly, M.: Logic for Social Software. PhD thesis, CWI\/ILLC, Universiteit van Amsterdam (2001)"},{"key":"6_CR14","series-title":"Synthese Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H. Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol.\u00a0337. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04893-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,16]],"date-time":"2024-03-16T19:46:44Z","timestamp":1710618404000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04893-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642048920","9783642048937"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04893-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}