{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:27:34Z","timestamp":1743028054676,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030446376"},{"type":"electronic","value":"9783030446383"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-44638-3_14","type":"book-chapter","created":{"date-parts":[[2020,3,27]],"date-time":"2020-03-27T21:02:41Z","timestamp":1585342961000},"page":"219-241","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Decidable Multi-agent Logic for\u00a0Reasoning About Actions, Instruments, and Norms"],"prefix":"10.1007","author":[{"given":"Kees","family":"van Berkel","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3214-0828","authenticated-orcid":false,"given":"Tim","family":"Lyon","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Olivieri","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,28]]},"reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF00116787","volume":"4","author":"P d\u2019Altan","year":"1996","unstructured":"d\u2019Altan, P., Meyer, J.J., Wieringa, R.J.: An integrated framework for ought-to-be and ought-to-do constraints. Artif. Intell. Law 4(2), 77\u2013111 (1996)","journal-title":"Artif. Intell. Law"},{"issue":"1","key":"14_CR2","doi-asserted-by":"publisher","first-page":"9","DOI":"10.2307\/2088759","volume":"22","author":"AR Anderson","year":"1957","unstructured":"Anderson, A.R., Moore, O.K.: The formal analysis of normative concepts. Am. Sociol. Rev. 22(1), 9\u201317 (1957)","journal-title":"Am. Sociol. Rev."},{"key":"14_CR3","series-title":"Agents and Choices in our Indeterminist World","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the Future","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":"14_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/978-3-030-03098-8_25","volume-title":"PRIMA 2018: Principles and Practice of Multi-Agent Systems","author":"K Berkel van","year":"2018","unstructured":"van Berkel, K., Pascucci, M.: Notions of instrumentality in agency logic. In: Miller, T., Oren, N., Sakurai, Y., Noda, I., Savarimuthu, B.T.R., Cao Son, T. (eds.) PRIMA 2018. LNCS (LNAI), vol. 11224, pp. 403\u2013419. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03098-8_25"},{"key":"14_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"issue":"2","key":"14_CR6","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.jal.2010.06.002","volume":"9","author":"J Broersen","year":"2011","unstructured":"Broersen, J.: Deontic epistemic stit logic distinguishing modes of mens rea. J. Appl. Logic 9(2), 137\u2013152 (2011)","journal-title":"J. Appl. Logic"},{"issue":"1","key":"14_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00249673","volume":"17","author":"MA Brown","year":"1988","unstructured":"Brown, M.A.: On the logic of ability. J. Philos. Logic 17(1), 1\u201326 (1988)","journal-title":"J. Philos. Logic"},{"key":"14_CR8","series-title":"Synthese Library","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1007\/978-94-010-2557-7_21","volume-title":"Semantics of Natural Language","author":"HN Casta\u00f1eda","year":"1972","unstructured":"Casta\u00f1eda, H.N.: On the semantics of the ought-to-do. In: Davidson, D., Harman, G. (eds.) Semantics of Natural Language. Synthese Library, vol. 40, pp. 675\u2013694. Springer, Dordrecht (1972). https:\/\/doi.org\/10.1007\/978-94-010-2557-7_21"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1093\/analys\/24.2.33","volume":"24","author":"R Chisholm","year":"1963","unstructured":"Chisholm, R.: Contrary-to-duty imperatives and deontic logic. Analysis 24, 33\u201336 (1963)","journal-title":"Analysis"},{"issue":"2","key":"14_CR10","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M Fischer","year":"1979","unstructured":"Fischer, M., Ladner, R.: Propositional dynamic logic of regular programs. J. Comput. Syst. Sci. 18(2), 194\u2013211 (1979)","journal-title":"J. Comput. Syst. Sci."},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-030-00338-8_1","volume-title":"Reasoning Web. Learning, Uncertainty, Streaming, and Scalability","author":"G Governatori","year":"2018","unstructured":"Governatori, G.: Practical normative reasoning with defeasible deontic logic. In: d\u2019Amato, C., Theobald, M. (eds.) Reasoning Web 2018. LNCS, vol. 11078, pp. 1\u201325. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00338-8_1"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Governatori, G., Hashmi, M.: No time for compliance. In: 19th International Enterprise Distributed Object Computing Conference, pp. 9\u201318. IEEE (2015)","DOI":"10.1109\/EDOC.2015.12"},{"issue":"6","key":"14_CR13","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1007\/s10992-013-9295-1","volume":"42","author":"G Governatori","year":"2013","unstructured":"Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S.: Computing strong and weak permissions in defeasible logic. J. Philos. Logic 42(6), 799\u2013829 (2013). https:\/\/doi.org\/10.1007\/s10992-013-9295-1","journal-title":"J. Philos. Logic"},{"key":"14_CR14","first-page":"195","volume-title":"Handbook of Deontic Logic and Normative Systems","author":"SO Hansson","year":"2013","unstructured":"Hansson, S.O.: The varieties of permission. In: Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, pp. 195\u2013240. College Publications, London (2013)"},{"key":"14_CR15","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)"},{"key":"14_CR16","volume-title":"Critique of Pure Reason","author":"I Kant","year":"2000","unstructured":"Kant, I.: Critique of Pure Reason. Cambridge University Press, Cambridge (2000)"},{"issue":"1","key":"14_CR17","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"JJC Meyer","year":"1988","unstructured":"Meyer, J.J.C.: A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame J. Formal Logic 29(1), 109\u2013136 (1988)","journal-title":"Notre Dame J. Formal Logic"},{"issue":"4","key":"14_CR18","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1111\/theo.12135","volume":"83","author":"M Pascucci","year":"2017","unstructured":"Pascucci, M.: Anderson\u2019s restriction of deontic modalities to contingent propositions. Theoria 83(4), 440\u2013470 (2017)","journal-title":"Theoria"},{"key":"14_CR19","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-94-015-8851-5_10","volume-title":"Defeasible Deontic Logic","author":"H Prakken","year":"1997","unstructured":"Prakken, H., Sergot, M.: Dyadic deontic logic and contrary-to-duty obligations. In: Nute, D. (ed.) Defeasible Deontic Logic, pp. 223\u2013262. Springer, Dordrecht (1997). https:\/\/doi.org\/10.1007\/978-94-015-8851-5_10"},{"issue":"4","key":"14_CR20","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1016\/j.jlap.2012.03.003","volume":"81","author":"C Prisacariu","year":"2012","unstructured":"Prisacariu, C., Schneider, G.: A dynamic deontic logic for complex contracts. J. Logic Algebraic Program. 81(4), 458\u2013490 (2012)","journal-title":"J. Logic Algebraic Program."},{"issue":"237","key":"14_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"GH Wright von","year":"1951","unstructured":"von Wright, G.H.: Deontic logic. Mind 60(237), 1\u201315 (1951)","journal-title":"Mind"},{"key":"14_CR22","volume-title":"An Essay in Deontic Logic and the General Theory of Action","author":"GH Wright von","year":"1968","unstructured":"von Wright, G.H.: An Essay in Deontic Logic and the General Theory of Action. North Holland Publishing Company, Amsterdam (1968)"},{"key":"14_CR23","volume-title":"The Varieties of Goodness","author":"GH Wright von","year":"1972","unstructured":"von Wright, G.H.: The Varieties of Goodness. Routledge & Kegan Paul, London and Henley (1972). fourth impression"}],"container-title":["Lecture Notes in Computer Science","Logic and Argumentation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-44638-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,3]],"date-time":"2024-08-03T00:19:16Z","timestamp":1722644356000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-44638-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030446376","9783030446383"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-44638-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"28 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CLAR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Logic and Argumentation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hangzhou","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 April 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 April 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"clar2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.xixilogic.org\/events\/clar2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}