{"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":1725558937528},"publisher-location":"Berlin, Heidelberg","reference-count":32,"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_5","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T11:04:12Z","timestamp":1278327852000},"page":"33-49","source":"Crossref","is-referenced-by-count":1,"title":["A Dyadic Operator for the Gradation of Desirability"],"prefix":"10.1007","author":[{"given":"Guillaume","family":"Piolle","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G.H. von Wright","year":"1951","unstructured":"von Wright, G.H.: Deontic logic. Mind\u00a060, 1\u201315 (1951)","journal-title":"Mind"},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1109\/HICSS.1997.663422","volume-title":"Proceedings of the 30th Hawaii International Conference on System Sciences (HICCS\u201997)","author":"Y.U. Ryu","year":"1997","unstructured":"Ryu, Y.U.: Relativized deontic modalities for contractual obligations in formal business communication. In: Proceedings of the 30th Hawaii International Conference on System Sciences (HICCS\u201997), p. 485. IEEE Computer Society, Washington (1997)"},{"key":"5_CR3","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":"5_CR4","first-page":"223","volume":"263","author":"H. Prakken","year":"1997","unstructured":"Prakken, H., Sergot, M.J.: Dyadic deontic logics and contrary-to-duty obligations. Synthese Library\u00a0263, 223\u2013262 (1997)","journal-title":"Synthese Library"},{"key":"5_CR5","first-page":"46","volume-title":"Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science (FOCS-77)","author":"A. Pnueli","year":"1977","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science (FOCS-77), pp. 46\u201357. IEEE Computer Society Press, Providence (1977)"},{"key":"5_CR6","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-duties imperatives and deontic logic. Analysis\u00a024, 33\u201336 (1963)","journal-title":"Analysis"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"193","DOI":"10.2307\/2026120","volume":"81","author":"J.W. Forrester","year":"1984","unstructured":"Forrester, J.W.: Gentle murderer, or the adverbial samaritan. Journal of Philosophy\u00a081, 193\u2013196 (1984)","journal-title":"Journal of Philosophy"},{"key":"5_CR8","unstructured":"Kamp, J.A.W.: Tense Logic and the Theory of Linear Order. PhD thesis, University of California at Los Angeles (1968)"},{"key":"5_CR9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic, an Introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic, an Introduction. Cambridge University Press, Cambridge (1980)"},{"issue":"2","key":"5_CR10","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/S0022-0000(03)00005-9","volume":"66","author":"M. Reynolds","year":"2003","unstructured":"Reynolds, M.: The complexity of the temporal logic with until over general linear time. Journal of Computer and System Sciences\u00a066(2), 393\u2013426 (2003)","journal-title":"Journal of Computer and System Sciences"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1137\/0206033","volume":"6","author":"R. Ladner","year":"1977","unstructured":"Ladner, R.: The computational complexity of provability in systems of modal propositional logic. SIAM Journal of Computing\u00a06, 467\u2013480 (1977)","journal-title":"SIAM Journal of Computing"},{"key":"5_CR12","unstructured":"Ross, A.: Imperatives and logic. Theoria, 53\u201371 (1941)"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1093\/mind\/LXIII.249.64","volume":"63","author":"A.N. Prior","year":"1954","unstructured":"Prior, A.N.: The paradoxes of derived obligation. Mind\u00a063, 64\u201365 (1954)","journal-title":"Mind"},{"key":"5_CR14","first-page":"135","volume-title":"Essays in Moral Philosophy","author":"A.N. Prior","year":"1958","unstructured":"Prior, A.N.: Escapism. In: Essays in Moral Philosophy, pp. 135\u2013146. University of Washington Press, Seattle (1958)"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"139","DOI":"10.2307\/2182983","volume":"71","author":"E.J. Lemmon","year":"1962","unstructured":"Lemmon, E.J.: Moral dilemmas. Philosophical Review\u00a071, 139\u2013158 (1962)","journal-title":"Philosophical Review"},{"key":"5_CR16","volume-title":"The Stanford Encyclopedia of Philosophy","author":"P. McNamara","year":"2006","unstructured":"McNamara, P.: Deontic logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Stanford University, Standford (2006)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BF00869304","volume":"65","author":"A.J.I. Jones","year":"1985","unstructured":"Jones, A.J.I., P\u00f6rn, I.: Ideality, sub-ideality and deontic logic. Synthese\u00a065, 275\u2013290 (1985)","journal-title":"Synthese"},{"issue":"1","key":"5_CR18","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF00370671","volume":"57","author":"H. Prakken","year":"1996","unstructured":"Prakken, H., Sergot, M.J.: Contrary-to-duty obligations. Studia Logica\u00a057(1), 91\u2013115 (1996)","journal-title":"Studia Logica"},{"key":"5_CR19","unstructured":"Hansson, S.O.: Semantics for more plausible deontic logics. In: DEON\u201902, London, UK (May 2002)"},{"key":"5_CR20","volume-title":"Proceedings of the Third Scandinavian Logic Symposium","author":"H. Sahlqvist","year":"1975","unstructured":"Sahlqvist, H.: Correspondence and completeness in the first- and second-order semantics for modal logic. In: Proceedings of the Third Scandinavian Logic Symposium. North-Holland, Amsterdam (1975)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Cholvy, L., Cuppens, F.: Analyzing consistency of security policies. In: Proceedings of the 18th IEEE Symposium on Research in Security and Privacy, Oakland, CA, USA (May 1997)","DOI":"10.1109\/SECPRI.1997.601324"},{"key":"5_CR22","first-page":"247","volume-title":"Norms, Logics and Information Systems: New Studies in Deontic Logic and Computer Science","author":"L. Cholvy","year":"1998","unstructured":"Cholvy, L., Cuppens, F.: Reasoning about norms provided by conflicting regulations. In: Prakken, H., McNamara, P. (eds.) Norms, Logics and Information Systems: New Studies in Deontic Logic and Computer Science, pp. 247\u2013264. IOS Press, Amsterdam (1998)"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Lewis, D.: Semantic analyses for dyadic deontic logic. Logical theory and semantic analysis, 1\u201314 (1974)","DOI":"10.1007\/978-94-010-2191-3_1"},{"key":"5_CR24","unstructured":"Cholvy, L., Garion, C.: Utilisation d\u2019une logique de pr\u00e9f\u00e9rences conditionnelles pour raisonner avec des normes contrary-to-duties. Journ\u00e9es Nationales sur les Mod\u00e9les de Raisonnement, Arras, France (May 2001)"},{"key":"5_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-540-30960-4_3","volume-title":"Formal Approaches to Agent-Based Systems","author":"F. Dignum","year":"2004","unstructured":"Dignum, F., Broersen, J., Dignum, V., Meyer, J.J.: Meeting the deadline: Why, when and how. In: Hinchey, M.G., Rash, J.L., Truszkowski, W., Rouff, C. (eds.) FAABS 2004. LNCS (LNAI), vol.\u00a03228, pp. 30\u201340. Springer, Heidelberg (2004)"},{"key":"5_CR26","unstructured":"Governatori, G., Rotolo, A.: A gentzen system for reasoning with contrary-to-duty obligations. a preliminary study. In: Jones, A.J.I., Horty, J. (eds.) Sixth international workshop on deontic logic in computer science (DEON\u201902), London, UK, Imperial College, May 2002, pp. 97\u2013116 (2002)"},{"key":"5_CR27","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-94-015-8851-5_12","volume-title":"Defeasible Deontic Logic: Essays in Nonmonotonic Normative Reasoning","author":"D. Nute","year":"1997","unstructured":"Nute, D.: Apparent obligation. In: Defeasible Deontic Logic: Essays in Nonmonotonic Normative Reasoning, pp. 287\u2013316. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"5_CR28","first-page":"371","volume-title":"Proceedings of the 11th European Conference on Artificial Intelligence","author":"L.W.N. Torre van der","year":"1994","unstructured":"van der Torre, L.W.N.: Violated obligations in a defeasible deontic logic. In: Cohn, A. (ed.) Proceedings of the 11th European Conference on Artificial Intelligence, pp. 371\u2013375. John Wiley and Sons, Chichester (1994)"},{"issue":"2-3","key":"5_CR29","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. International Journal of Cooperative Information Systems\u00a014(2-3), 181\u2013216 (2005)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"5_CR30","unstructured":"Demolombe, R.: Formalisation de l\u2019obligation de faire avec d\u00e9lais. Troisi\u00e8mes journ\u00e9es francophones des mod\u00e8les formels de l\u2019interaction (MFI\u201905), Caen, France (May 2005)"},{"key":"5_CR31","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/1314436.1314441","volume-title":"ACM workshop on Formal methods in security engineering (FMSE\u201907)","author":"J. Brunel","year":"2007","unstructured":"Brunel, J., Cuppens, F., Cuppens-Boulahia, N., Sans, T., Bodeveix, J.P.: Security policy compliance with violation management. In: ACM workshop on Formal methods in security engineering (FMSE\u201907), Fairfax, Virginia, USA, pp. 31\u201340. ACM Press, New York (2007)"},{"issue":"2","key":"5_CR32","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1080\/10864415.1998.11518334","volume":"3","author":"F. Dignum","year":"1999","unstructured":"Dignum, F., Kuiper, R.: Specifying deadlines with dense time using deontic and temporal logic. International Journal of Electronic Commerce\u00a03(2), 67\u201386 (1999)","journal-title":"International Journal of Electronic Commerce"}],"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_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:48:49Z","timestamp":1606186129000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14183-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141829","9783642141836"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14183-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}