{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:37Z","timestamp":1725558937752},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642141829"},{"type":"electronic","value":"9783642141836"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14183-6_4","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T11:04:12Z","timestamp":1278327852000},"page":"11-32","source":"Crossref","is-referenced-by-count":6,"title":["Deontic Redundancy: A Fundamental Challenge for Deontic Logic"],"prefix":"10.1007","author":[{"given":"Leendert","family":"van der Torre","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","first-page":"43","volume-title":"Deontic Logic in Computer Science: Normative System Specification","author":"C. Alchourr\u00f3n","year":"1993","unstructured":"Alchourr\u00f3n, C.: Philosophical foundations of deontic logic and the logic of defeasible conditionals. In: Meyer, J.-J., Wieringa, R. (eds.) Deontic Logic in Computer Science: Normative System Specification, pp. 43\u201384. John Wiley & Sons, Chichester (1993)"},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/978-94-009-8484-4_5","volume-title":"New studies in deontic logic","author":"C.E. Alchourron","year":"1981","unstructured":"Alchourron, C.E., Makinson, D.: Hierarchies of regulations and their logic. In: Hilpinen, R. (ed.) New studies in deontic logic, pp. 125\u2013148. D. Reidel, Dordrecht (1981)"},{"key":"4_CR3","first-page":"453","volume":"15","author":"C. Alchourr\u00f3n","year":"1984","unstructured":"Alchourr\u00f3n, C., Bulygin, E.: Pragmatic foundations for a logic of norms. Rechtstheorie\u00a015, 453\u2013464 (1984)","journal-title":"Rechtstheorie"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1093\/mind\/LXVII.265.100","volume":"67","author":"A. Anderson","year":"1958","unstructured":"Anderson, A.: A reduction of deontic logic to alethic modal logic. Mind\u00a067, 100\u2013103 (1958)","journal-title":"Mind"},{"key":"4_CR5","series-title":"LNAI","first-page":"197","volume-title":"DEON 2010","author":"G. Aucher","year":"2010","unstructured":"Aucher, G., Boella, G., van der Torre, L.: Dynamic epistemic deontic logic. In: Governatori, G., Sartor, G. (eds.) DEON 2010. LNCS (LNAI), vol.\u00a06181, pp. 197\u2013214. Springer, Heidelberg (2010)"},{"key":"4_CR6","volume-title":"Handbook of Modal Logics","author":"P. Blackburn","year":"2006","unstructured":"Blackburn, P., van Benthem, J., Wolter, F.: Handbook of Modal Logics. Elsevier, Amsterdam (2006)"},{"unstructured":"Bobbio, N.: Norma. In: Enciclopedia Einaudi, Torino, Einaudi, vol.\u00a09, pp. 876\u2013907 (1980)","key":"4_CR7"},{"key":"4_CR8","doi-asserted-by":"publisher","DOI":"10.1142\/9789812567802","volume-title":"Explanatory Nonmonotonic Reasoning","author":"A. Bochman","year":"2005","unstructured":"Bochman, A.: Explanatory Nonmonotonic Reasoning. World Scientific Publishing, London (2005)"},{"key":"4_CR9","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)"},{"issue":"1","key":"4_CR10","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"},{"issue":"1","key":"4_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10458-008-9047-8","volume":"17","author":"G. Boella","year":"2008","unstructured":"Boella, G., van der Torre, L., Verhagen, H.: Introduction to the special issue on normative multiagent systems. Autonomous Agents and Multi-Agent Systems\u00a017(1), 1\u201310 (2008)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"4_CR12","first-page":"1389","volume-title":"IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","author":"J. Broersen","year":"2003","unstructured":"Broersen, J., Dastani, M., van der Torre, L.W.N.: BDIOCTL: Obligations and the specification of agent behavior. In: Gottlob, G., Walsh, T. (eds.) IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, pp. 1389\u20131390. Morgan Kaufmann, San Francisco (2003)"},{"key":"4_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","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)"},{"key":"4_CR14","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"883","volume-title":"Proceedings of ECAI 2008 - 18th European Conference on Artificial Intelligence","author":"J. Broersen","year":"2008","unstructured":"Broersen, J., van der Torre, L.: Conditional norms and dyadic obligations in time. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N., Avouris, N.M. (eds.) Proceedings of ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25. Frontiers in Artificial Intelligence and Applications, vol.\u00a0178, pp. 883\u2013884. IOS Press, Amsterdam (2008)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/978-3-642-01639-4_15","volume-title":"Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Revised Papers","author":"J. Broersen","year":"2009","unstructured":"Broersen, J., van der Torre, L.: Reasoning about norms, obligations, time and agents. In: Ghose, A.K., Governatori, G., Sadananda, R. (eds.) Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Revised Papers, Bangkok, Thailand, November 21-23. LNCS, vol.\u00a05044, pp. 171\u2013182. Springer, Heidelberg (2009)"},{"key":"4_CR16","first-page":"211","volume-title":"Automated Analysis of Legal Texts","author":"E. Bulygin","year":"1986","unstructured":"Bulygin, E.: Permissive norms and normative systems. In: Martino, A., Socci Natali, F. (eds.) Automated Analysis of Legal Texts, pp. 211\u2013218. Publishing Company, Amsterdam (1986)"},{"key":"4_CR17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal logic: an introduction","author":"B. Chellas","year":"1980","unstructured":"Chellas, B.: Modal logic: an introduction. Cambridge University Press, Cambridge (1980)"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"193","DOI":"10.2307\/2026120","volume":"81","author":"J.W. Forrester","year":"1984","unstructured":"Forrester, J.W.: Gentle murder, or the adverbial samaritan. Journal of Philosophy\u00a081, 193\u2013197 (1984)","journal-title":"Journal of Philosophy"},{"key":"4_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-70525-3_13","volume-title":"Deontic Logic in Computer Science","author":"D.M. Gabbay","year":"2008","unstructured":"Gabbay, D.M.: Reactive kripke models and contrary to duty obligations. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol.\u00a05076, pp. 155\u2013173. Springer, Heidelberg (2008)"},{"issue":"3-4","key":"4_CR20","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1016\/j.jal.2005.04.004","volume":"3","author":"L. Goble","year":"2005","unstructured":"Goble, L.: A logic for deontic dilemmas. J. Applied Logic\u00a03(3-4), 461\u2013483 (2005)","journal-title":"J. Applied Logic"},{"key":"4_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11786849_11","volume-title":"Deontic Logic and Artificial Normative Systems","author":"D. Grossi","year":"2006","unstructured":"Grossi, D., Meyer, J.-J.C., Dignum, F.: Counts-as: Classification or constitution? an answer using modal logic. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol.\u00a04048, pp. 115\u2013130. Springer, Heidelberg (2006)"},{"unstructured":"Hansen, J.: Imperatives and deontic logic: On the semantic foundations of deontic logic. PhD thesis, University of Leipzig (2008)","key":"4_CR22"},{"unstructured":"Hansen, J., Pigozzi, G., van der Torre, L.W.N.: Ten philosophical problems in deontic logic. In: Boella, G., van der Torre, L.W.N., Verhagen, H. (eds.) Normative Multi-agent Systems, Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany, March 18-23, vol.\u00a007122 (2007)","key":"4_CR23"},{"key":"4_CR24","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)","journal-title":"N\u00f4us"},{"key":"4_CR25","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"},{"key":"4_CR26","doi-asserted-by":"crossref","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":"4_CR27","first-page":"293","volume-title":"Normative Systems in Legal and Moral Theory. Festschrift for Carlos E. Alchourr\u00f3n and Eugenio Bulygin","author":"L. Lindahl","year":"1997","unstructured":"Lindahl, L.: Norms, meaning postulates, and legal predicates. In: Garz\u00f3n Vald\u00e9s, E. (ed.) Normative Systems in Legal and Moral Theory. Festschrift for Carlos E. Alchourr\u00f3n and Eugenio Bulygin, pp. 293\u2013307. Duncker & Humblot, Berlin (1997)"},{"key":"4_CR28","first-page":"29","volume-title":"Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science","author":"D. Makinson","year":"1999","unstructured":"Makinson, D.: On a fundamental problem of deontic logic. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, pp. 29\u201354. IOS Press, Amsterdam (1999)"},{"issue":"4","key":"4_CR29","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":"4_CR30","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"},{"issue":"4","key":"4_CR31","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(4), 391\u2013416 (2003)","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"4_CR32","first-page":"515","volume":"13","author":"D. Makinson","year":"2003","unstructured":"Makinson, D.: Ways of doing logic: What was different about agm 1985? J. Logic Computat.\u00a013(1), 515 (2003)","journal-title":"J. Logic Computat."},{"issue":"1","key":"4_CR33","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J.J.C. 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 Journal of Formal Logic\u00a029(1), 109\u2013136 (1988)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"4_CR34","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/978-1-4471-1488-8_12","volume-title":"Deontic Logic, Agency and Normative Systems, DEON \u201996: Third International Workshop on Deontic Logic in Computer Science, Workshops in Computing","author":"Y.-H. Tan","year":"1996","unstructured":"Tan, Y.-H., van der Torre, L.W.N.: How to combine ordering and minimizing in a deontic logic based on preferences. In: Brown, M.A., Carmo, J. (eds.) Deontic Logic, Agency and Normative Systems, DEON \u201996: Third International Workshop on Deontic Logic in Computer Science, Workshops in Computing, Sesimbra, Portugal, January 11-13, pp. 216\u2013232. Springer, Heidelberg (1996)"},{"key":"4_CR35","first-page":"145","volume-title":"Proceedings of the 2009 IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology, IAT 2009","author":"N.A.M. Tinnemeier","year":"2009","unstructured":"Tinnemeier, N.A.M., Dastani, M., Meyer, J.-J.C., van der Torre, L.W.N.: Programming normative artifacts with declarative obligations and prohibitions. In: Proceedings of the 2009 IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology, IAT 2009, Milan, Italy, September 15-18, pp. 145\u2013152. IEEE, Los Alamitos (2009)"},{"key":"4_CR36","first-page":"73","volume-title":"Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science","author":"L. Torre van der","year":"1999","unstructured":"van der Torre, L., Tan, Y.-H.: Deontic update semantics. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, pp. 73\u201389. IOS Press, Amsterdam (1999)"},{"issue":"1-4","key":"4_CR37","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1023\/A:1018975332469","volume":"27","author":"L.W.N. Torre van der","year":"1999","unstructured":"van der Torre, L.W.N., Tan, Y.-H.: Contrary-to-duty reasoning with preference-based dyadic obligations. Ann. Math. Artif. Intell.\u00a027(1-4), 49\u201378 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1","key":"4_CR38","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1023\/A:1008359312576","volume":"7","author":"L.W.N. Torre van der","year":"1999","unstructured":"van der Torre, L.W.N., Tan, Y.-H.: Diagnosis and decision making in normative reasoning. Artif. Intell. Law\u00a07(1), 51\u201367 (1999)","journal-title":"Artif. Intell. Law"},{"key":"4_CR39","first-page":"1239","volume-title":"Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI \u201999","author":"L.W.N. Torre van der","year":"1999","unstructured":"van der Torre, L.W.N., Tan, Y.-H.: Rights, duties and commitments between agents. In: Dean, T. (ed.) Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI \u201999, Stockholm, Sweden, July 31 - August 6, 2 vols., 1450 pages, pp. 1239\u20131246. Morgan Kaufmann, San Francisco (1999)"},{"key":"4_CR40","first-page":"631","volume-title":"UAI \u201999: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence","author":"L.W.N. Torre van der","year":"1999","unstructured":"van der Torre, L.W.N., Tan, Y.-H.: An update semantics for defeasible obligations. In: Laskey, K.B., Prade, H. (eds.) UAI \u201999: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Stockholm, Sweden, July 30-August 1, pp. 631\u2013638. Morgan Kaufmann, San Francisco (1999)"},{"key":"4_CR41","first-page":"267","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems, Agents, Reasoning and Dynamics","author":"L.W.N. Torre van der","year":"2001","unstructured":"van der Torre, L.W.N., Tan, Y.-H.: Dynamic normative reasoning under uncertainty: How to distinguish between obligations under uncertainty and prima facie obligations. In: Gabbay, D.M., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems. Agents, Reasoning and Dynamics, vol.\u00a06, pp. 267\u2013297. Kluwer, Dordrecht (2001)"},{"unstructured":"van der Torre, L.W.N.: Reasoning about Obligations: Defeasibility in Preference-Based Deontic Logic. PhD thesis, Erasmus University of Rotterdam (1997)","key":"4_CR42"},{"key":"4_CR43","first-page":"411","volume":"171-172","author":"L.W.N. Torre van der","year":"2000","unstructured":"van der Torre, L.W.N., Tan, Y.-H.: Two phase deontic logic. Logique et Analyse\u00a0171-172, 411\u2013426 (2000)","journal-title":"Logique et Analyse"},{"issue":"3","key":"4_CR44","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF00248150","volume":"25","author":"F. Veltman","year":"1996","unstructured":"Veltman, F.: Defaults in update semantics. Journal of Philosophical Logic\u00a025(3), 221\u2013261 (1996)","journal-title":"Journal of Philosophical Logic"},{"key":"4_CR45","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":"4_CR46","volume-title":"A logical Inquiry","author":"G.H. Wright von","year":"1963","unstructured":"von Wright, G.H.: Norm and Action. In: A logical Inquiry, Routledge and Kegan Paul, London (1963)"},{"key":"4_CR47","first-page":"15","volume-title":"Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science","author":"G.H. Wright von","year":"1999","unstructured":"von Wright, G.H.: On a fundamental problem of deontic logic. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, pp. 15\u201325. IOS Press, Amsterdam (1999)"},{"key":"4_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/3-540-58107-3_18","volume-title":"Foundations of Knowledge Representation and Reasoning","author":"E. Weydert","year":"1994","unstructured":"Weydert, E.: Hyperrational conditionals - monotonic reasoning about nested default conditionals. In: Lakemeyer, G., Nebel, B. (eds.) ECAI-WS 1992. LNCS, vol.\u00a0810, pp. 310\u2013332. Springer, Heidelberg (1994)"},{"issue":"3-4","key":"4_CR49","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/S1570-8683(03)00016-8","volume":"1","author":"E. Weydert","year":"2003","unstructured":"Weydert, E.: System jlz - rational default reasoning by minimal ranking constructions. J. Applied Logic\u00a01(3-4), 273\u2013308 (2003)","journal-title":"J. Applied Logic"}],"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-14183-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T10:37:51Z","timestamp":1552646271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14183-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141829","9783642141836"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14183-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}