{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:05:07Z","timestamp":1725494707554},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540670278"},{"type":"electronic","value":"9783540465812"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46581-2_15","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T21:23:59Z","timestamp":1194989039000},"page":"216-239","source":"Crossref","is-referenced-by-count":0,"title":["The Role of Diagnosis and Decision Theory in Normative Reasoning"],"prefix":"10.1007","author":[{"given":"Leendert W. N.","family":"van der Torre","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Ramos","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"additional","affiliation":[]},{"given":"Yao-Hua","family":"Tan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,4]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"C.E. Alchourr\u00f3n, P. G\u00e4rdenfors, and D. Makinson. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, pages 510\u2013530, 1985.","DOI":"10.2307\/2274239"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1093\/mind\/LXVII.265.100","volume":"67","author":"A.R. Anderson","year":"1958","unstructured":"A.R. Anderson. A reduction of deontic logic to alethic modal logic. Mind, 67:100\u2013103, 1958.","journal-title":"Mind"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"H. Beatty. On evaluating deontic logics. In Exact philosophy, pages 173\u2013178. Reidel, 1973.","DOI":"10.1007\/978-94-010-2516-4_11"},{"key":"15_CR4","unstructured":"R.W.H. Bons, R.M. Lee, R.W. Wagenaar, and C.D. Wrigley. Modeling interorganizational trade procedures using documentary Petri nets. In Proceedings of the 27thHawaii International Conferenceon System Sciences (HICSS\u201995), Hawaii, 1995."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"C. Boutilier. Toward a logic for qualitative decision theory. In Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR\u201994), pages 75\u201386, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50104-4"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"H. Casta\u00f1eda. The paradoxes of deontic logic: the simplest solution to all of them in one fell swoop. In New Studies in Deontic Logic. D. Reidel, 1981.","DOI":"10.1007\/978-94-009-8484-4_2"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"B.F. Chellas. Modal Logic: An Introduction. Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"15_CR8","unstructured":"K.-T. Chen and R.M. Lee. Schematic evaluation of internal accounting control systems. Technical Report Research Monograph RM-1992-08-01, Euridis, Erasmus University Rotterdam, 1992."},{"key":"15_CR9","unstructured":"J. de Kleer, A.K. Mackwort, and R. Reiter. Characterizing diagnosis. In Proceedings AAAI\u201990, pages 324\u2013330, Boston, MA, 1990."},{"key":"15_CR10","unstructured":"D. Dubois and H. Prade. Qualitative decision theory. In Proceedings IJCAI\u201995, pages 1924\u20131930. Morgan Kaufmann, 1995."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"R Davis and H. Walter. Model based reasoning: troubleshouting. In Exploring Artificial Intelligence: Survey talks from the National Conferences on Artificial Intelligence, pages 297\u2013346, San Mateo, California, 1988. Morgan Kaufmann.","DOI":"10.21236\/ADA201614"},{"key":"15_CR12","first-page":"121","volume-title":"Deontic Logic: Introductionary and Systematic Readings","author":"B. Hansson","year":"1971","unstructured":"B. Hansson. An analysis of some deontic logics. In Deontic Logic: Introductionary and Systematic Readings, pages 121\u2013147. D. Reidel Publishing Company, Dordrecht, Holland, 1971."},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/BF01531262","volume":"9","author":"J.F. Horty","year":"1993","unstructured":"J.F. Horty. Deontic logic as founded in nonmonotonic logic. Annals of Mathematics and Artificial Intelligence, 9:69\u201391, 1993.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/BF00869303","volume":"65","author":"R.E. Jennings","year":"1985","unstructured":"R.E. Jennings. Can there be a natural logic? Synthese, 65:257\u2013274, 1985.","journal-title":"Synthese"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF00118478","volume":"1","author":"A.J.I. Jones","year":"1992","unstructured":"A.J.I. Jones and M. Sergot. Deontic logic in the representation of law: Towards a methodology. Artificial Intelligence and Law, 1:45\u201364, 1992.","journal-title":"Artificial Intelligence and Law"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"H. Katsuno and A.O. Mendelzon. On the difference between updating a belief base and revising it. In P. G\u00e4rdenfors, editor, Belief Revision, pages 183\u2013203. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511526664.007"},{"key":"15_CR17","unstructured":"J. Lang. Conditional desires and utilities-an alternative approach to qualitative decision theory. In Proceedings of the ECAI\u201996, pages 318\u2013322, 1996."},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57\u201395, 1987.","journal-title":"Artificial Intelligence"},{"key":"15_CR19","unstructured":"P. Ramos and J.L. Fiadeiro. A deontic logic for diagnosis of organisational process design. Technical report, Department of Informatics, Faculty of Sciences \u2014 University of Lisbon, 1996."},{"key":"15_CR20","unstructured":"P. Ramos and J.L. Fiadeiro. Diagnosis in organisational process design. Technical report, Department of Informatics, Faculty of Sciences \u2014 University of Lisbon, 1996."},{"key":"15_CR21","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1111\/j.1755-2567.1941.tb01039.x","volume":"7","author":"A. Ross","year":"1941","unstructured":"A. Ross. Imperatives and logic. Theoria, 7:53\u201371, 1941.","journal-title":"Theoria"},{"key":"15_CR22","unstructured":"J.-F. Raskin, Y.-H. Tan, and L.W.N. van der Torre. How to model normative behavior in Petri nets. In Proceedings of the Modelage\u201996, Sesimbra, 1996."},{"key":"15_CR23","unstructured":"R. Thomason and R. Horty. Nondeterministic action and dominance: foundations for planning and qualitative decision. In Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge (TARK\u201996), pages 229\u2013250. Morgan Kaufmann, 1996."},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"R. Thomason. Deontic logic as founded on tense logic. In R. Hilpinen, editor, New Studies in Deontic Logic, pages 165\u2013176. D. Reidel, 1981.","DOI":"10.1007\/978-94-009-8484-4_7"},{"key":"15_CR25","unstructured":"Y.-H. Tan and L.W.N. van der Torre. DIODE: Deontic logic based on diagnosis from first principles. In Proceedings of the Workshop \u2018Artificial normative reasoning\u2019 of the Eleventh European Conference on Artificial Intelligence (ECAI\u201994), Amsterdam, 1994."},{"key":"15_CR26","unstructured":"Y.-H. Tan and L.W.N. van der Torre. Representing deontic reasoning in a diagnostic framework. In Proceedings of the Workshopon Legal Applications of Logic Programming of the Eleventh International Conference on Logic Programming (ICLP\u201994), Genoa, Italy, 1994."},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Y.-H. Tan and L.W.N. van der Torre. How to combine ordering and minimizing in a deontic logic based on preferences. InDeontic Logic, Agency and Normative Systems. Proceedings of the\u0394eon\u201996.Workshopsin Computing, pages 216\u2013232. Springer Verlag, 1996.","DOI":"10.1007\/978-1-4471-1488-8_12"},{"key":"15_CR28","unstructured":"L.W.N. van der Torre. Violated obligations in a defeasible deontic logic. In Proceedings of the Eleventh European Conferenceon Artificial Intelligence (ECAI\u201994), pages 371\u2013375. JohnWiley & Sons, 1994."},{"key":"15_CR29","unstructured":"L.W.N. van der Torre and Y.H. Tan. Cancelling and overshadowing: two types of defeasibility in defeasible deontic logic. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI\u201995). Morgan Kaufman, 1995."},{"key":"15_CR30","doi-asserted-by":"crossref","unstructured":"L.W.N. van der Torre and Y.H. Tan. The many faces of defeasibility in defeasible deontic logic. In D. Nute, editor, Defeasible Deontic Logic. Kluwer, 1997. To appear.","DOI":"10.1007\/978-94-015-8851-5_5"},{"key":"15_CR31","doi-asserted-by":"crossref","unstructured":"L.W.N. van der Torre and Y.H. Tan. Prohairetic deontic logic (PDL). In Proceedings of AAAI spring symposium on qualitative preferences in deliberation and practical reasoning, 1997. To appear.","DOI":"10.1007\/3-540-49545-2_6"},{"key":"15_CR32","doi-asserted-by":"publisher","first-page":"5","DOI":"10.2307\/2024762","volume":"70","author":"B.C. Fraassen van","year":"1973","unstructured":"B.C. van Fraassen. Values and the heart command. Journal of Philosophy, 70:5\u201319, 1973.","journal-title":"Journal of Philosophy"},{"key":"15_CR33","first-page":"159","volume-title":"Deontic Logic: Introductory and Systematic Readings","author":"G.H. Wright von","year":"1971","unstructured":"G.H. von Wright. Deontic logic and the theory of conditions. In Deontic Logic: Introductory and Systematic Readings, pages 159\u2013177. D. Reidel, Dordrecht, 1971."},{"key":"15_CR34","volume-title":"New Studies ofDeontic Logic","author":"G.H. Wright von","year":"1981","unstructured":"G.H. von Wright. On the logic of norms and actions. In New Studies ofDeontic Logic. D.Reidel, Dordrecht, 1981."}],"container-title":["Lecture Notes in Computer Science","Formal Models of Agents"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46581-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T00:44:20Z","timestamp":1708303460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46581-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540670278","9783540465812"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-46581-2_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}