{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:46:56Z","timestamp":1725515216022},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642315695"},{"type":"electronic","value":"9783642315701"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31570-1_14","type":"book-chapter","created":{"date-parts":[[2012,7,11]],"date-time":"2012-07-11T02:50:23Z","timestamp":1341975023000},"page":"199-214","source":"Crossref","is-referenced-by-count":1,"title":["Discussion Paper: Changing Norms Is Changing Obligation Change"],"prefix":"10.1007","author":[{"given":"Jan","family":"Broersen","sequence":"first","affiliation":[]},{"given":"Dov","family":"Gabbay","sequence":"additional","affiliation":[]},{"given":"Leendert","family":"van der Torre","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/1562814.1562824","volume-title":"TARK 2009: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge","author":"A. Baltag","year":"2009","unstructured":"Baltag, A., Smets, S.: Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. In: TARK 2009: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 41\u201350. ACM, New York (2009)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol.\u00a053. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-01639-4_15","volume-title":"Agent Computing and Multi-Agent Systems","author":"J. Broersen","year":"2009","unstructured":"Broersen, J., van der Torre, L.: Reasoning about Norms, Obligations, Time and Agents. In: Ghose, A., Governatori, G., Sadananda, R. (eds.) PRIMA 2007. LNCS, vol.\u00a05044, pp. 171\u2013182. Springer, Heidelberg (2009)"},{"key":"14_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-540-88833-8_5","volume-title":"Computational Logic in Multi-Agent Systems","author":"J. Broersen","year":"2008","unstructured":"Broersen, J., Brunel, J.: \u2018What I Fail to Do Today, I Have to Do Tomorrow\u2019: A Logical Study of the Propagation of Obligations. In: Sadri, F., Satoh, K. (eds.) CLIMA VIII 2007. LNCS (LNAI), vol.\u00a05056, pp. 82\u201399. Springer, Heidelberg (2008)"},{"key":"14_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/11786849_7","volume-title":"Deontic Logic and Artificial Normative Systems","author":"J. Broersen","year":"2006","unstructured":"Broersen, J.: Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm\u2019s Scenario. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol.\u00a04048, pp. 53\u201368. Springer, Heidelberg (2006)"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02377-4_1","volume-title":"Organized Adaption in Multi-Agent Systems","author":"J. Broersen","year":"2009","unstructured":"Broersen, J.: Issues in Designing Logical Models for Norm Change. In: Vouros, G., Artikis, A., Stathis, K., Pitt, J. (eds.) OAMAS 2008. LNCS, vol.\u00a05368, pp. 1\u201317. Springer, Heidelberg (2009)"},{"key":"14_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-25927-5_5","volume-title":"Deontic Logic in Computer Science","author":"J. Broersen","year":"2004","unstructured":"Broersen, J., Dignum, F.P.M., Dignum, V., Meyer, J.-J.C.: Designing a Deontic Logic of Deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol.\u00a03065, pp. 43\u201356. Springer, Heidelberg (2004), doi:10.1007\/b98159"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-01639-4_15","volume-title":"Agent Computing and Multi-Agent Systems","author":"J. Broersen","year":"2009","unstructured":"Broersen, J., van der Torre, L.: Reasoning about Norms, Obligations, Time and Agents. In: Ghose, A., Governatori, G., Sadananda, R. (eds.) PRIMA 2007. LNCS, vol.\u00a05044, pp. 171\u2013182. Springer, Heidelberg (2009)"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"33","DOI":"10.2307\/3327064","volume":"24","author":"R.M. Chisholm","year":"1963","unstructured":"Chisholm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysis\u00a024, 33\u201336 (1963)","journal-title":"Analysis"},{"issue":"4","key":"14_CR10","doi-asserted-by":"publisher","first-page":"692","DOI":"10.1016\/j.ic.2011.01.002","volume":"209","author":"M. Crochemore","year":"2011","unstructured":"Crochemore, M., Gabbay, D.: Reactive automata. Information and Computation\u00a0209(4), 692\u2013704 (2011)","journal-title":"Information and Computation"},{"key":"14_CR11","unstructured":"Elster, J.: Ulysses and the Sirens (1979)"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF00996309","volume":"77","author":"B. Fraassen van","year":"1995","unstructured":"van Fraassen, B.: Belief and the problem of Ulysses and the Sirens. Philosophical Studies\u00a077, 7\u201337 (1995)","journal-title":"Philosophical Studies"},{"key":"14_CR13","volume-title":"AAMAS 2009: Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems","author":"G. Pigozzi","year":"2009","unstructured":"Pigozzi, G., Boella, G., van der Torre, L.: A normative framework for norm change. In: AAMAS 2009: Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems. ACM, New York (2009)"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A.: Changing legal systems: Legal abrogations and annulments in defeasible logic. Journal of Logic and Computation (2010)","DOI":"10.1093\/jigpal\/jzp075"},{"key":"#cr-split#-14_CR15.1","doi-asserted-by":"crossref","unstructured":"Hansson, B.: An analysis of some deontic logic. In: Hilpinen, R. (ed.) Deontic Logic: Introductory and Systematic Readings, pp. 121-147. Reidel (1971)","DOI":"10.1007\/978-94-010-3146-2_5"},{"key":"#cr-split#-14_CR15.2","doi-asserted-by":"crossref","unstructured":"reprinted from Nous 3, 373-398 (1969)","DOI":"10.2307\/2214372"},{"key":"14_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0814-3","volume-title":"A Textbook of Belief Dynamics","author":"S.O. Hansson","year":"1999","unstructured":"Hansson, S.O.: A Textbook of Belief Dynamics. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Horty, J.F.: Agency and Deontic Logic. Oxford University Press (2001)","DOI":"10.1093\/0195134613.001.0001"},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1004748624537","volume":"29","author":"D. Makinson","year":"2000","unstructured":"Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosphical Logic\u00a029, 383\u2013408 (2000)","journal-title":"Journal of Philosphical Logic"},{"issue":"26","key":"14_CR19","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1023\/A:1024806529939","volume":"32","author":"D. Makinson","year":"2003","unstructured":"Makinson, D., van der Torre, L.: Permission from an input-output perspective. Journal of Philosophical Logic\u00a032(26), 391\u2013416 (2003)","journal-title":"Journal of Philosophical Logic"},{"issue":"4","key":"14_CR20","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1004748624537","volume":"29","author":"D. Makinson","year":"2000","unstructured":"Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic\u00a029(4), 383\u2013408 (2000)","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"14_CR21","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1023\/A:1017599526096","volume":"30","author":"D. Makinson","year":"2001","unstructured":"Makinson, D., van der Torre, L.: Constraints for input-output logics. Journal of Philosophical Logic\u00a030(2), 155\u2013185 (2001)","journal-title":"Journal of Philosophical Logic"},{"key":"14_CR22","unstructured":"Parfit, D.: Reasons and Persons (1984)"},{"key":"14_CR23","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1093\/mind\/XCVI.381.36","volume":"96","author":"M. Smith","year":"1987","unstructured":"Smith, M.: The Humean theory of motivation. Mind\u00a096, 36\u201361 (1987)","journal-title":"Mind"},{"key":"14_CR24","volume-title":"AAMAS 2010: Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multiagent Systems","author":"N. Tinnemeier","year":"2010","unstructured":"Tinnemeier, N., Dastani, M., Meyer, J.-J.: Programming norm change. In: AAMAS 2010: Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multiagent Systems. ACM, New York (2010)"}],"container-title":["Lecture Notes in Computer Science","Deontic Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31570-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T21:00:00Z","timestamp":1556917200000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31570-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642315695","9783642315701"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31570-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}