{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,14]],"date-time":"2025-12-14T15:55:50Z","timestamp":1765727750528,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":90,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642314841"},{"type":"electronic","value":"9783642314858"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-31485-8_2","type":"book-chapter","created":{"date-parts":[[2012,6,22]],"date-time":"2012-06-22T19:13:03Z","timestamp":1340392383000},"page":"55-88","source":"Crossref","is-referenced-by-count":10,"title":["Ten Problems of Deontic Logic and Normative Reasoning in Computer Science"],"prefix":"10.1007","author":[{"given":"Jan","family":"Broersen","sequence":"first","affiliation":[]},{"given":"Leendert","family":"van der Torre","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T., Wooldridge, M., van der Hoek, W.: Normative System Games. In: Huhns, M., Shehory, O. (eds.) Proceedings of the Sixth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), pp. 876\u2013883. IFAMAAS (2007)","DOI":"10.1145\/1329125.1329284"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic\u00a050, 510\u2013530 (1985)","journal-title":"Journal of Symbolic Logic"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Alchourr\u00f3n, C.E., Makinson, D.: Hierarchies of Regulations and Their Logic. In: [55], 125\u2013148","DOI":"10.1007\/978-94-009-8484-4_5"},{"issue":"5","key":"2_CR4","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time Temporal Logic. Journal of the ACM\u00a049(5), 672\u2013713 (2002)","journal-title":"Journal of the ACM"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"361","DOI":"10.2307\/2214624","volume":"1","author":"L. \u00c5qvist","year":"1967","unstructured":"\u00c5qvist, L.: Good samaritans, contrary-to-duty imperatives, and epistemic obligations. NOUS\u00a01, 361\u2013379 (1967)","journal-title":"NOUS"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1016\/j.jal.2005.04.002","volume":"3","author":"L. \u00c5qvist","year":"2005","unstructured":"\u00c5qvist, L.: Combinations of tense and deontic logic. Journal of Applied Logic\u00a03, 421\u2013460 (2005)","journal-title":"Journal of Applied Logic"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"\u00c5qvist, L., Hoepelman, J.: Some theorems about a tree system of deontic tense logic. In: Hilpinen, R. (ed.) New Studies in Deontic Logic, pp. 187\u2013221. D. Reidel Publishing Company (1981)","DOI":"10.1007\/978-94-009-8484-4_9"},{"key":"2_CR8","unstructured":"Artosi, A., Rotolo, A., Vida, S.: On the logical nature of count-as conditionals. In: Procs. of LEA 2004 Workshop (2004)"},{"key":"2_CR9","unstructured":"Bailhache, P.: Authorities and addressees in deontic logic: indexed operators and action. In: Proceedings of DEON 1991, pp. 72\u201388 (1991)"},{"issue":"1-2","key":"2_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01531259","volume":"9","author":"P. Bartha","year":"1993","unstructured":"Bartha, P.: Conditional Obligation, Deontic Paradoxes, and the Logic of Agency. Annals of Mathematics and Artificial Intelligence\u00a09(1-2), 1\u201323 (1993)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Belnap, N., Perloff, M., Xu, M.: Facing the future: agents and choices in our indeterminist world, Oxford (2001)","DOI":"10.1093\/oso\/9780195138788.001.0001"},{"key":"2_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-89674-6_12","volume-title":"Intelligent Agents and Multi-Agent Systems","author":"G. Boella","year":"2008","unstructured":"Boella, G., Broersen, J., van der Torre, L.: Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations. In: Bui, T.D., Ho, T.V., Ha, Q.T. (eds.) PRIMA 2008. LNCS (LNAI), vol.\u00a05357, pp. 86\u201397. Springer, Heidelberg (2008)"},{"key":"2_CR13","unstructured":"Boella, G., Governatori, G., Rotolo, A., van der Torre, L.: A Logical Understanding of Legal Interpretation. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) KR. AAAI Press (2010)"},{"key":"2_CR14","unstructured":"Boella, G., Pigozzi, G., van der Torre, L.: Normative framework for normative system change. In: Sierra, C., Castelfranchi, C., Decker, K.S., Sichman, J.S. (eds.) AAMAS (1), pp. 169\u2013176. IFAAMAS (2009)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L.: A Logical Architecture of a Normative System. In: [41], pp. 24\u201335","DOI":"10.1007\/11786849_5"},{"issue":"1","key":"2_CR16","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s10506-007-9059-8","volume":"16","author":"G. Boella","year":"2008","unstructured":"Boella, G., van der Torre, L.: Institutions with a hierarchy of authorities in distributed dynamic environments. Artif. Intell. Law\u00a016(1), 53\u201371 (2008)","journal-title":"Artif. Intell. Law"},{"key":"2_CR17","unstructured":"Boella, G., van der Torre, L.W.N.: Regulative and Constitutive Norms in Normative Multiagent Systems. In: Dubois, D., Welty, C.A., Williams, M.-A. (eds.) KR, pp. 255\u2013266. AAAI Press (2004)"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L.W.N.: Enforceable social laws. In: Dignum, F., Dignum, V., Koenig, S., Kraus, S., Singh, M.P., Wooldridge, M. (eds.) AAMAS, pp. 682\u2013689. ACM (2005)","DOI":"10.1145\/1082473.1082577"},{"key":"2_CR19","unstructured":"Boella, G., van der Torre, L.W.N.: A Game-Theoretic Approach to Normative Multi-Agent Systems. In: Boella, et al. [20]"},{"key":"2_CR20","series-title":"Dagstuhl Seminar Proceedings","volume-title":"Normative Multi-agent Systems","author":"G. Boella","year":"2007","unstructured":"Boella, G., van der Torre, L.W.N., Verhagen, H.: Normative Multi-agent Systems, March 18-23. Dagstuhl Seminar Proceedings, vol.\u00a007122. Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany (2007)"},{"key":"2_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-540-30227-8_29","volume-title":"Logics in Artificial Intelligence","author":"J. Broersen","year":"2004","unstructured":"Broersen, J.: On the Logic of \u2018Being Motivated to Achieve \u03c1, Before \u03b4\u2019. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 334\u2013346. Springer, Heidelberg (2004), doi:10.1007\/b100483"},{"key":"2_CR22","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":"2_CR23","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":"2_CR24","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":"2_CR25","volume-title":"AAMAS 2010: Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multiagent Systems","author":"J. Broersen","year":"2010","unstructured":"Broersen, J.: CTL.STIT: enhancing ATL to express important multi-agent system verification properties. In: AAMAS 2010: Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multiagent Systems. ACM, New York (2010)"},{"issue":"3-4","key":"2_CR26","first-page":"428","volume":"2","author":"J. Broersen","year":"2002","unstructured":"Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal Generation in the BOID Architecture. Cognitive Science Quarterly Journal\u00a02(3-4), 428\u2013447 (2002)","journal-title":"Cognitive Science Quarterly Journal"},{"issue":"9","key":"2_CR27","doi-asserted-by":"publisher","first-page":"893","DOI":"10.1002\/int.20098","volume":"20","author":"J. Broersen","year":"2005","unstructured":"Broersen, J., Dastani, M., van der Torre, L.: Beliefs, Obligations, Intentions and Desires as Components in an Agent Architecture. International Journal of Intelligent Systems\u00a020(9), 893\u2013920 (2005)","journal-title":"International Journal of Intelligent Systems"},{"key":"2_CR28","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., 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":"2_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-540-70525-3_17","volume-title":"Deontic Logic in Computer Science","author":"J. Broersen","year":"2008","unstructured":"Broersen, J., Mastop, R., Meyer, J.-J.C., Turrini, P.: A Deontic Logic for Socially Optimal Norms. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol.\u00a05076, pp. 218\u2013232. Springer, Heidelberg (2008)"},{"key":"2_CR30","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":"2_CR31","unstructured":"Broersen, J., Wieringa, R., Meyer, J.-J.: A Fixed-point Characterization of a Deontic Logic of Regular Action"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Brown, M.: Doing as we ought: towards a logic of simply dischargeable obligations. In: Brown, M., Carmo, J. (eds.) Deontic Logic, Agency, and Normative Systems, Proceedings DEON 1996. Workshops in Computing, pp. 47\u201365. Springer (1996)","DOI":"10.1007\/978-1-4471-1488-8_3"},{"key":"2_CR33","first-page":"211","volume-title":"Automated Analysis of Legal Texts","author":"E. Bulygin","year":"1986","unstructured":"Bulygin, E.: Permissive Norms and Normative Concepts. In: Martino, A.A., Socci Natali, F. (eds.) Automated Analysis of Legal Texts, pp. 211\u2013218. North Holland, Amsterdam (1986)"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Chellas, B.: Modal Logic: An Introduction. Cambridge University Press (1980)","DOI":"10.1017\/CBO9780511621192"},{"key":"2_CR35","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\u00a024, 33\u201336 (1963)","journal-title":"Analysis"},{"key":"2_CR36","unstructured":"Cholvy, L., Cuppens, F.: Reasoning about Norms Provided by Conflicting Regulations. In: [69], 247\u2013264"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Cuppens, F., Cholvy, L., Saurel, C., Carr\u00e8re, J.: Merging Security Policies: Analysis of a Practical Example. In: CSFW, pp. 123\u2013136 (1998)","DOI":"10.1109\/CSFW.1998.683163"},{"key":"2_CR38","unstructured":"Demolombe, R., Bretier, P., Louis, V.: Formalisation de l\u2019obligation de faire avec d\u00e9lais. In: Proc. Journ\u00e9es Francophones sur la Mod\u00e9lisation Formelle de l\u2019Interaction, Caen (2005)"},{"key":"2_CR39","first-page":"339","volume":"100","author":"J.A. Eck van","year":"1982","unstructured":"van Eck, J.A.: A system of temporally relative modal and deontic predicate logic and its philosophical applications. Logique et Analyse\u00a0100, 339\u2013381 (1982)","journal-title":"Logique et Analyse"},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Emerson, E.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, ch. 14, pp. 996\u20131072. Elsevier Science (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"2_CR41","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Deontic Logic and Artificial Normative Systems","year":"2006","unstructured":"Goble, L., Meyer, J.-J.C. (eds.): DEON 2006. LNCS (LNAI), vol.\u00a04048. Springer, Heidelberg (2006)"},{"issue":"2-3","key":"2_CR42","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G. Governatori","year":"2005","unstructured":"Governatori, G.: Representing business contracts in RuleML. Int. J. Cooperative Inf. Syst.\u00a014(2-3), 181\u2013216 (2005)","journal-title":"Int. J. Cooperative Inf. Syst."},{"key":"2_CR43","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1007\/978-3-540-76928-6_74","volume-title":"AI 2007: Advances in Artificial Intelligence","author":"J. He","year":"2007","unstructured":"He, J., Yan, H., Jin, M., Liu, C.: Categorizing Software Engineering Knowledge Using a Combination of SWEBOK and Text Categorization. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol.\u00a04830, pp. 675\u2013681. Springer, Heidelberg (2007)"},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A.: Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic. In: Proc. NorMAS 2008 (2008)","DOI":"10.1007\/978-3-540-70525-3_2"},{"issue":"1","key":"2_CR45","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1093\/jigpal\/jzp075","volume":"18","author":"G. Governatori","year":"2010","unstructured":"Governatori, G., Rotolo, A.: Changing legal systems: legal abrogations and annulments in Defeasible Logic. Logic Journal of the IGPL\u00a018(1), 157\u2013194 (2010)","journal-title":"Logic Journal of the IGPL"},{"key":"2_CR46","series-title":"Lecture Notes in Computer Science","volume-title":"Deontic Logic in Computer Science","year":"2010","unstructured":"Governatori, G., Sartor, G. (eds.): DEON 2010. LNCS, vol.\u00a06181. Springer, Heidelberg (2010)"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"Gr\u00e9goire, E.: Fusing legal knowledge. In: Proceedings of the 2004 IEEE INt. Conf. on Information Reuse and Integration (IEEE-IRI 2004), pp. 522\u2013529 (2004)","DOI":"10.1109\/IRI.2004.1431514"},{"key":"2_CR48","unstructured":"Hansen, J., Pigozzi, G., van der Torre, L.W.N.: Ten Philosophical Problems in Deontic Logic. In: Boella, et al. [20]"},{"key":"2_CR49","first-page":"373","volume":"3","author":"B. Hansson","year":"1969","unstructured":"Hansson, B.: An Analysis of Some Deontic Logics. N\u00f4us\u00a03, 373\u2013398 (1969); reprinted in [54], 121\u2013147","journal-title":"N\u00f4us"},{"key":"2_CR50","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press (2000)","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"Herrestad, H., Krogh, C.: Obligations Directed from Bearers to Counterparts. In: Proceedings ICAIL 1995 (1995)","DOI":"10.1145\/222092.222243"},{"issue":"1","key":"2_CR52","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10849-009-9105-x","volume":"19","author":"A. Herzig","year":"2010","unstructured":"Herzig, A., Lorini, E.: A Dynamic Logic of Agency I: STIT, Capabilities and Powers. Journal of Logic, Language and Information\u00a019(1), 89\u2013121 (2010)","journal-title":"Journal of Logic, Language and Information"},{"key":"2_CR53","unstructured":"Hikmi, S.A.S.N., Indulwska, M., Sadiq, S. (eds.): A Study of Compliance Management in Information Systems Research (2009)"},{"volume-title":"Deontic Logic: Introductory and Systematic Readings","year":"1971","key":"2_CR54","unstructured":"Hilpinen, R. (ed.): Deontic Logic: Introductory and Systematic Readings. Reidel, Dordrecht (1971)"},{"volume-title":"New Studies in Deontic Logic","year":"1981","key":"2_CR55","unstructured":"Hilpinen, R. (ed.): New Studies in Deontic Logic. Reidel, Dordrecht (1981)"},{"key":"2_CR56","doi-asserted-by":"crossref","unstructured":"Horty, J.: Agency and Deontic Logic. Oxford University Press (2001)","DOI":"10.1093\/0195134613.001.0001"},{"key":"2_CR57","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1093\/jigpal\/4.3.427","volume":"3","author":"A. Jones","year":"1996","unstructured":"Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Journal of IGPL\u00a03, 427\u2013443 (1996)","journal-title":"Journal of IGPL"},{"issue":"1","key":"2_CR58","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10992-007-9049-z","volume":"37","author":"B. Kooi","year":"2008","unstructured":"Kooi, B., Tamminga, A.: Moral conflicts between groups of agents. Journal of Philosophical Logic\u00a037(1), 1\u201321 (2008)","journal-title":"Journal of Philosophical Logic"},{"key":"2_CR59","volume-title":"Counterfactuals","author":"D. Lewis","year":"1973","unstructured":"Lewis, D.: Counterfactuals. Basil Blackwell, Oxford (1973)"},{"key":"2_CR60","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-94-009-9860-5_11","volume-title":"Essays in Honour of Jaakko Hintikka","author":"D. Lewis","year":"1979","unstructured":"Lewis, D.: A problem about permission. In: Saarinen, E. (ed.) Essays in Honour of Jaakko Hintikka, pp. 163\u2013175. D. Reidel, Dordrecht (1979)"},{"key":"2_CR61","unstructured":"Liu, F.: Changing for the Better: Preference Dynamics and Agent Diversity, Ph.D. thesis. ILLC Dissertation Series, Amsterdam (2008)"},{"key":"2_CR62","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF00869396","volume":"54","author":"B. Loewer","year":"1983","unstructured":"Loewer, B., Belzer, M.: Dyadic deontic detachment. Synthese\u00a054, 295\u2013318 (1983)","journal-title":"Synthese"},{"key":"2_CR63","unstructured":"Makinson, D.: On a Fundamental Problem of Deontic Logic. In: [69], 29\u201353"},{"key":"2_CR64","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/BF00243391","volume":"15","author":"D. Makinson","year":"1986","unstructured":"Makinson, D.: On the Formal Representation of Rights Relations. Journal of Philosophical Logic\u00a015, 403\u2013425 (1986)","journal-title":"Journal of Philosophical Logic"},{"key":"2_CR65","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF01057652","volume":"52","author":"D. Makinson","year":"1993","unstructured":"Makinson, D.: Five faces of minimality. Studia Logica\u00a052, 339\u2013379 (1993)","journal-title":"Studia Logica"},{"key":"2_CR66","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, 383\u2013408 (2000)","journal-title":"Journal of Philosophical Logic"},{"key":"2_CR67","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, 155\u2013185 (2001)","journal-title":"Journal of Philosophical Logic"},{"key":"2_CR68","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.: Permissions from an Input\/Output Perspective. Journal of Philosophical Logic\u00a032, 391\u2013416 (2003)","journal-title":"Journal of Philosophical Logic"},{"volume-title":"Norms, Logics and Information Systems","year":"1999","key":"2_CR69","unstructured":"McNamara, P., Prakken, H. (eds.): Norms, Logics and Information Systems. IOS, Amsterdam (1999)"},{"key":"2_CR70","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J.-J. Meyer","year":"1988","unstructured":"Meyer, J.-J.: A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic. Notre Dame Journal of Formal Logic\u00a029, 109\u2013136 (1988)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2_CR71","first-page":"533","volume":"14","author":"Y. Moses","year":"1995","unstructured":"Moses, Y., Tennenholtz, M.: Artificial social systems. Computers and AI\u00a014, 533\u2013562 (1995)","journal-title":"Computers and AI"},{"issue":"2","key":"2_CR72","first-page":"311","volume":"149","author":"E. Pacuit","year":"2006","unstructured":"Pacuit, E., Parikh, R., Cogan, E.: The Logic of Knowledge Based Obligation. Knowledge, Rationality and Action a subjournal of Synthese\u00a0149(2), 311\u2013341 (2006)","journal-title":"Knowledge, Rationality and Action a subjournal of Synthese"},{"issue":"3-4","key":"2_CR73","doi-asserted-by":"publisher","first-page":"345","DOI":"10.3166\/jancl.13.345-375","volume":"13","author":"X. Parent","year":"2003","unstructured":"Parent, X.: Remedial Interchange, Contrary-to-Duty Obligation and Commutation. Journal of Applied Non-Classical Logics\u00a013(3-4), 345\u2013375 (2003)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"2-3","key":"2_CR74","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s10506-011-9108-1","volume":"19","author":"X. Parent","year":"2011","unstructured":"Parent, X.: Moral particularism in the light of deontic logic. Artif. Intell. Law\u00a019(2-3), 75\u201398 (2011)","journal-title":"Artif. Intell. Law"},{"issue":"1","key":"2_CR75","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"12","author":"M. Pauly","year":"2002","unstructured":"Pauly, M.: A Modal Logic for Coalitional Power in Games. Journal of Logic and Computation\u00a012(1), 149\u2013166 (2002)","journal-title":"Journal of Logic and Computation"},{"key":"2_CR76","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF00370671","volume":"57","author":"H. Prakken","year":"1996","unstructured":"Prakken, H., Sergot, M.: Contrary-to-duty Obligations and Defeasible Reasoning. Studia Logica\u00a057, 91\u2013115 (1996)","journal-title":"Studia Logica"},{"key":"2_CR77","doi-asserted-by":"crossref","unstructured":"Santos, F., Carmo, J.: Indirect Action, Influence and Responsibility. In: Brown, M.A., Carmo, J. (eds.) DEON, Workshops in Computing, pp. 194\u2013215. Springer (1996)","DOI":"10.1007\/978-1-4471-1488-8_11"},{"key":"2_CR78","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139173438","volume-title":"Speech Acts: an Essay in the Philosophy of Language","author":"J. Searle","year":"1969","unstructured":"Searle, J.: Speech Acts: an Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)"},{"key":"2_CR79","volume-title":"The Construction of Social Reality","author":"J. Searle","year":"1995","unstructured":"Searle, J.: The Construction of Social Reality. The Free Press, New York (1995)"},{"key":"2_CR80","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/BF00693275","volume":"4","author":"W. Spohn","year":"1975","unstructured":"Spohn, W.: An Analysis of Hansson\u2019s Dyadic Deontic Logic. Journal of Philosophical Logic\u00a04, 237\u2013252 (1975)","journal-title":"Journal of Philosophical Logic"},{"key":"2_CR81","doi-asserted-by":"crossref","unstructured":"Thomason, R.H.: Combinations of Tense and Modality. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic: Extensions of Classical Logic, pp. 135\u2013165. Reidel (1984)","DOI":"10.1007\/978-94-009-6259-0_3"},{"key":"2_CR82","doi-asserted-by":"crossref","unstructured":"van der Torre, L.: Deontic Redundancy: A Fundamental Challenge for Deontic Logic. In: Governatori, Sartor [46], pp. 11\u201332","DOI":"10.1007\/978-3-642-14183-6_4"},{"issue":"4","key":"2_CR83","doi-asserted-by":"publisher","first-page":"457","DOI":"10.3166\/jancl.20.457-477","volume":"20","author":"L.W.N. Torre van der","year":"2010","unstructured":"van der Torre, L.W.N.: Violation games: a new foundation for deontic logic. Journal of Applied Non-Classical Logics\u00a020(4), 457\u2013477 (2010)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2_CR84","unstructured":"van der Torre, L.W.N., Tan, Y.-H.: The Temporal Analysis of Chisholm\u2019s Paradox. In: Mostow, J., Rich, C. (eds.) AAAI\/IAAI, pp. 650\u2013655. AAAI Press \/ The MIT Press (1998)"},{"key":"2_CR85","unstructured":"Gruber, T.R.: Ontolingua: A mechanism to Support Portable Ontologies (1990)"},{"key":"2_CR86","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G.H. Wright von","year":"1951","unstructured":"von Wright, G.H.: Deontic Logic. Mind\u00a060, 1\u201315 (1951)","journal-title":"Mind"},{"key":"2_CR87","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G.H. Wright von","year":"1951","unstructured":"von Wright, G.H.: Deontic logic. Mind\u00a060, 1\u201315 (1951)","journal-title":"Mind"},{"key":"2_CR88","unstructured":"von Wright, G.H.: Norm and action; a logical enquiry. International Library of Philosophy and Scientific Method. Routledge & Kegan Paul (1963)"},{"key":"2_CR89","doi-asserted-by":"crossref","unstructured":"von Wright, G.H.: On the logic of norms and actions. In: Hilpinen, R. (ed.) New Studies in Deontic Logic, pp. 3\u201335. D. Reidel Publishing Company (1981)","DOI":"10.1007\/978-94-009-8484-4_1"},{"key":"2_CR90","unstructured":"von Wright, G.H.: Deontic Logic - as I see it. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, pp. 15\u201325. IOS Press (1999)"}],"container-title":["Lecture Notes in Computer Science","Lectures on Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31485-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T11:48:52Z","timestamp":1743594532000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31485-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642314841","9783642314858"],"references-count":90,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31485-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}