{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T10:20:57Z","timestamp":1755598857283,"version":"3.41.0"},"publisher-location":"Cham","reference-count":47,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319999050"},{"type":"electronic","value":"9783319999067"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-99906-7_2","type":"book-chapter","created":{"date-parts":[[2018,8,23]],"date-time":"2018-08-23T10:45:38Z","timestamp":1535021138000},"page":"9-30","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modal Rules: Extending Defeasible Logic with Modal Operators"],"prefix":"10.1007","author":[{"given":"Guido","family":"Governatori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,24]]},"reference":[{"issue":"2","key":"2_CR1","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1109\/TKDE.2007.29","volume":"19","author":"G Antoniou","year":"2007","unstructured":"Antoniou, G., Bikakis, A.: DR-Prolog: a system for defeasible reasoning with rules and ontologies on the semantic web. IEEE Trans. Knowl. Data Eng. 19(2), 233\u2013245 (2007)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"2_CR2","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: On the modeling and analysis of regulations. In: Proceedings of the Australian Conference Information Systems, pp. 20\u201329 (1999)"},{"issue":"2","key":"2_CR3","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/371316.371517","volume":"2","author":"G Antoniou","year":"2001","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. Comput. Logic 2(2), 255\u2013287 (2001)","journal-title":"ACM Trans. Comput. Logic"},{"key":"2_CR4","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J., Rock, A.: A family of defeasible reasoning logics and its implementation. In: Horn, W. (ed.) ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, pp. 459\u2013463. IOS Press, Amsterdam (2000)"},{"issue":"2","key":"2_CR5","doi-asserted-by":"publisher","first-page":"4125","DOI":"10.1016\/j.eswa.2008.03.009","volume":"36","author":"G Antoniou","year":"2009","unstructured":"Antoniou, G., Dimaresis, N., Governatori, G.: A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. Expert Syst. Appl. 36(2), 4125\u20134134 (2009)","journal-title":"Expert Syst. Appl."},{"issue":"1","key":"2_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jswis.2006010101","volume":"2","author":"N Bassiliades","year":"2006","unstructured":"Bassiliades, N., Antoniou, G., Vlahavas, I.: A defeasible logic reasoner for the semantic web. Int. J. Semant. Web Inf. Syst. (IJSWIS) 2(1), 1\u201341 (2006)","journal-title":"Int. J. Semant. Web Inf. Syst. (IJSWIS)"},{"issue":"3\u20134","key":"2_CR7","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. Cogn. Sci. Q. 2(3\u20134), 428\u2013447 (2002)","journal-title":"Cogn. Sci. Q."},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"217","DOI":"10.3233\/FI-2018-1647","volume":"158","author":"E Calardo","year":"2018","unstructured":"Calardo, E., Governatori, G., Rotolo, A.: Sequence semantics for modelling reason-based preferences. Fundamenta Informaticae 158, 217\u2013238 (2018)","journal-title":"Fundamenta Informaticae"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1007\/11591191_43","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M Dastani","year":"2005","unstructured":"Dastani, M., Governatori, G., Rotolo, A., van der Torre, L.: Programming cognitive agents in defeasible logic. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol. 3835, pp. 621\u2013636. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11591191_43"},{"issue":"1\u20132","key":"2_CR10","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s10506-004-1922-2","volume":"12","author":"J Gelati","year":"2004","unstructured":"Gelati, J., Governatori, G., Rotolo, A., Sartor, G.: Normative autonomy and normative co-ordination: declarative power, representation, and mandate. Artif. Intell. Law 12(1\u20132), 53\u201381 (2004)","journal-title":"Artif. Intell. Law"},{"issue":"2\u20133","key":"2_CR11","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. Cooper. Inf. Syst. 14(2\u20133), 181\u2013216 (2005)","journal-title":"Int. J. Cooper. Inf. Syst."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Governatori, G.: Burden of compliance and burden of violations. In: Rotolo, A. (ed.) 28th Annual Conference on Legal Knowledge and Information Systems, Frontieres in Artificial Intelligence and Applications, pp. 31\u201340. IOS Press, Amsterdam (2015)","DOI":"10.3233\/978-1-61499-609-5-31"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Governatori, G.: Thou Shalt is not you will. In: Atkinson, K. (ed.) Proceedings of the Fifteenth International Conference on Artificial Intelligence and Law, pp. 63\u201368. ACM, New York (2015)","DOI":"10.1145\/2746090.2746105"},{"issue":"5\u20136","key":"2_CR14","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1017\/S1471068417000266","volume":"17","author":"G Governatori","year":"2017","unstructured":"Governatori, G., Maher, M.J.: Annotated defeasible logic. Theor. Pract. Logic Programm. 17(5\u20136), 819\u2013836 (2017)","journal-title":"Theor. Pract. Logic Programm."},{"issue":"6","key":"2_CR15","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)","journal-title":"J. Philos. Logic"},{"issue":"3","key":"2_CR16","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1017\/S1471068416000053","volume":"16","author":"G Governatori","year":"2016","unstructured":"Governatori, G., Olivieri, F., Scannapieco, S., Rotolo, A., Cristani, M.: The rational behind the concept of goal. Theor. Pract. Logic Programm. 16(3), 296\u2013324 (2016)","journal-title":"Theor. Pract. Logic Programm."},{"issue":"3","key":"2_CR17","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1093\/jigpal\/jzp006","volume":"17","author":"G Governatori","year":"2009","unstructured":"Governatori, G., Padmanabhan, V., Rotolo, A., Sattar, A.: A defeasible logic for modelling policy-based intentions and motivational attitudes. Logic J. IGPL 17(3), 227\u2013265 (2009)","journal-title":"Logic J. IGPL"},{"issue":"3","key":"2_CR18","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1504\/IJBPIM.2009.030985","volume":"4","author":"G Governatori","year":"2009","unstructured":"Governatori, G., Pham, D.H.: DR-CONTRACT: an architecture for e-contracts in defeasible logic. Int. J. Bus. Process Integr. Manag. 4(3), 187\u2013199 (2009)","journal-title":"Int. J. Bus. Process Integr. Manag."},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-25927-5_8","volume-title":"Deontic Logic in Computer Science","author":"G Governatori","year":"2004","unstructured":"Governatori, G., Rotolo, A.: Defeasible logic: agency, intention and obligation. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 114\u2013128. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-25927-5_8"},{"key":"2_CR20","first-page":"193","volume":"3","author":"G Governatori","year":"2005","unstructured":"Governatori, G., Rotolo, A.: Logic of violations: a Gentzen systems for dealing with contrary-to-duty obligations. Australas. J. Logic 3, 193\u2013215 (2005)","journal-title":"Australas. J. Logic"},{"issue":"1","key":"2_CR21","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/s10458-008-9030-4","volume":"17","author":"G Governatori","year":"2008","unstructured":"Governatori, G., Rotolo, A.: BIO logical agents: norms, beliefs, intentions in defeasible logic. J. Autonom. Agents Multi Agent Syst. 17(1), 36\u201369 (2008)","journal-title":"J. Autonom. Agents Multi Agent Syst."},{"issue":"1","key":"2_CR22","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10506-007-9056-y","volume":"16","author":"G Governatori","year":"2008","unstructured":"Governatori, G., Rotolo, A.: A computational framework for institutional agency. Artif. Intell. Law 16(1), 25\u201352 (2008)","journal-title":"Artif. Intell. Law"},{"key":"2_CR23","unstructured":"Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: Link, S., Ghose, A. (eds.) 7th Asia-Pacific Conference on Conceptual Modelling, CRPIT, vol. 110, pp. 3\u201312. ACS (2010)"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-16289-3_17","volume-title":"Semantic Web Rules","author":"G Governatori","year":"2010","unstructured":"Governatori, G., Rotolo, A.: Norm compliance in business process modeling. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 194\u2013209. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16289-3_17"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-31570-1_4","volume-title":"Deontic Logic in Computer Science","author":"G Governatori","year":"2012","unstructured":"Governatori, G., Rotolo, A., Calardo, E.: Possible world semantics for defeasible deontic logic. In: \u00c5gotnes, T., Broersen, J., Elgesem, D. (eds.) DEON 2012. LNCS (LNAI), vol. 7393, pp. 46\u201360. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31570-1_4"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: 10th International Conference on Artificial Intelligence and Law (ICAIL05), pp. 25\u201334. ACM Press (2005)","DOI":"10.1145\/1165485.1165490"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Herrestad, H.: Norms and formalization. In: Proceedings of the 3rd International Conference on Artificial Intelligence and Law, ICAIL 1991, pp. 175\u2013184. ACM Press (1991)","DOI":"10.1145\/112646.112667"},{"key":"2_CR28","volume-title":"Knowledge and Belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)"},{"key":"2_CR29","unstructured":"Jones, A.J.I., Sergot, M.: On the characterization of law and computer systems: the normative systems perspective. In: Meyer, J.-J.C., Wieringa, R.J. (eds.) Deontic Logic in Computer Science: Normative System Specification, pp. 275\u2013307. Wiley (1993)"},{"issue":"3","key":"2_CR30","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1093\/jigpal\/4.3.427","volume":"4","author":"AJI Jones","year":"1996","unstructured":"Jones, A.J.I., Sergot, M.: A formal characterisation of institutionalised power. J. IGPL 4(3), 429\u2013445 (1996)","journal-title":"J. IGPL"},{"issue":"1","key":"2_CR31","doi-asserted-by":"publisher","first-page":"18","DOI":"10.4018\/jswis.2011010102","volume":"7","author":"E Kontopoulos","year":"2011","unstructured":"Kontopoulos, E., Bassiliades, N., Governatori, G., Antoniou, G.: A modal defeasible reasoner of deontic logic for the semantic web. Int. J. Semant. Web Inf. Syst. 7(1), 18\u201343 (2011)","journal-title":"Int. J. Semant. Web Inf. Syst."},{"key":"2_CR32","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44, 167\u2013207 (1990)","journal-title":"Artif. Intell."},{"key":"2_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"SA Kripke","year":"1959","unstructured":"Kripke, S.A.: A completness theorem in modal logic. J. Symbolic Logic 24, 1\u201314 (1959)","journal-title":"J. Symbolic Logic"},{"key":"2_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-642-04985-9_29","volume-title":"Rule Interchange and Applications","author":"H-P Lam","year":"2009","unstructured":"Lam, H.-P., Governatori, G.: The making of SPINdle. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 315\u2013322. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04985-9_29"},{"key":"2_CR35","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0167-9236(88)90096-6","volume":"4","author":"RM Lee","year":"1988","unstructured":"Lee, R.M.: A logic model for electronic contracting. Decis. Support Syst. 4, 27\u201344 (1988)","journal-title":"Decis. Support Syst."},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Lemmon, E.J.: Is there only one correct system of modal logic? In: Proceedings of the Aristotelian Society. Supplementary Volume, vol. XXXIII, pp. 23\u201340. Harrison & Sons, London (1959)","DOI":"10.1093\/aristoteliansupp\/33.1.23"},{"key":"2_CR37","doi-asserted-by":"crossref","DOI":"10.1525\/9780520398252","volume-title":"A Survey of Symbolic Logic","author":"CI Lewis","year":"1918","unstructured":"Lewis, C.I.: A Survey of Symbolic Logic. University of California, Berkley (1918)"},{"key":"2_CR38","unstructured":"Lewis, C.I., Langford, C.H.L: Symbolic Logic. Dover, New York (1932). 2nd edn. (1959)"},{"issue":"6","key":"2_CR39","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1017\/S1471068401001168","volume":"1","author":"M Maher","year":"2001","unstructured":"Maher, M.: Propositional defeasible logic has linear complexity. Theor. Pract. Logic Programm. 1(6), 691\u2013711 (2001)","journal-title":"Theor. Pract. Logic Programm."},{"issue":"4","key":"2_CR40","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1142\/S0218213001000623","volume":"10","author":"MJ Maher","year":"2001","unstructured":"Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient defeasible reasoning systems. Int. J. Artif. Intell. Tools 10(4), 483\u2013501 (2001)","journal-title":"Int. J. Artif. Intell. Tools"},{"issue":"4","key":"2_CR41","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. J. Philos. Logic 29(4), 383\u2013408 (2000)","journal-title":"J. Philos. Logic"},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 353\u2013395. Oxford University Press, Oxford (1994)","DOI":"10.1093\/oso\/9780198537472.003.0007"},{"key":"2_CR43","series-title":"New Studies in Deontic Logic","first-page":"83","volume-title":"Norms, Logics and Information Systems","author":"D Nute","year":"1998","unstructured":"Nute, D.: Norms, priorities and defeasibility. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. New Studies in Deontic Logic, pp. 83\u2013100. IOS Press, Amsterdam (1998)"},{"issue":"9","key":"2_CR44","first-page":"2295","volume":"4","author":"X Parent","year":"2017","unstructured":"Parent, X., van der Torre, L.: Detachment in normative systems: examples, inference patterns, properties. IFCoLog J. Logic Appl. 4(9), 2295\u20133038 (2017)","journal-title":"IFCoLog J. Logic Appl."},{"key":"2_CR45","doi-asserted-by":"crossref","unstructured":"Parent, X., van der Torre, L.: The pragmatic oddity in norm-based deontic logics. In: Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law, ICAIL 2017, London, United Kingdom, 12\u201316 June 2017, pp. 169\u2013178 (2017)","DOI":"10.1145\/3086512.3086529"},{"key":"2_CR46","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-94-010-3272-8_7","volume-title":"Philos. Probl. Logic","author":"D Scott","year":"1970","unstructured":"Scott, D.: Advice in modal logic. In: Lambert, K. (ed.) Philos. Probl. Logic, pp. 143\u2013173. Reidel, Dordrecht (1970)"},{"key":"2_CR47","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, 1\u201315 (1951)","journal-title":"Mind"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99906-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T14:00:00Z","timestamp":1751810400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99906-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319999050","9783319999067"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99906-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}