{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T15:06:15Z","timestamp":1725807975952},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319131900"},{"type":"electronic","value":"9783319131917"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13191-7_7","type":"book-chapter","created":{"date-parts":[[2014,10,25]],"date-time":"2014-10-25T06:38:23Z","timestamp":1414219103000},"page":"74-90","source":"Crossref","is-referenced-by-count":1,"title":["On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic"],"prefix":"10.1007","author":[{"given":"Marc","family":"Allaire","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2-4","key":"7_CR1","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1080\/08839510500479546","volume":"20","author":"M. Alberti","year":"2006","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Chesani, F., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence\u00a020(2-4), 133\u2013157 (2006)","journal-title":"Applied Artificial Intelligence"},{"key":"7_CR2","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: On the modeling and analysis of regulations. In: ACIS 1999, pp. 20\u201329 (1999)"},{"issue":"2","key":"7_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 Transactions on Computational Logic\u00a02(2), 255\u2013287 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"7_CR4","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J., Rock, A.: A family of defeasible reasoning logics and its implementation. In: ECAI 2000, pp. 459\u2013463. IOS Press (2000)"},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0743-1066(99)00060-6","volume":"42","author":"G. Antoniou","year":"2000","unstructured":"Antoniou, G., Maher, M.J., Billington, D.: Defeasible logic versus logic programming without negation as failure. J. Log. Program.\u00a042(1), 47\u201357 (2000)","journal-title":"J. Log. Program."},{"issue":"1","key":"7_CR6","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.jvlc.2010.11.002","volume":"22","author":"A. Awad","year":"2011","unstructured":"Awad, A., Weidlich, M., Weske, M.: Visually Specifying Compliance Rules and Explaining their Violations for Business Processes. Journal of Visual Languages & Computing\u00a022(1), 30\u201355 (2011)","journal-title":"Journal of Visual Languages & Computing"},{"key":"7_CR7","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":"7_CR8","doi-asserted-by":"crossref","unstructured":"Colombo Tosatto, S., Governatori, G., Kelsen, P.: Business process regulatory compliance is hard. IEEE Transactions on Services Computing (2014)","DOI":"10.1109\/TSC.2014.2341236"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Dumas, M., La Rosa, M., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer (2013)","DOI":"10.1007\/978-3-642-33143-5"},{"issue":"1","key":"7_CR10","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1142\/S0218843012400023","volume":"21","author":"A. Elgammal","year":"2012","unstructured":"Elgammal, A., T\u00fcretken, O., van den Heuvel, W.J.: Using patterns for the analysis and resolution of compliance violations. Int. J. Cooperative Inf. Syst.\u00a021(1), 31\u201354 (2012)","journal-title":"Int. J. Cooperative Inf. Syst."},{"key":"7_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/11423355_10","volume-title":"Engineering Societies in the Agents World V","author":"P. Pasquier","year":"2005","unstructured":"Pasquier, P., Flores, R., Chaib-draa, B.: Modelling flexible social commitments and their enforcement. In: Gleizes, M.-P., Omicini, A., Zambonelli, F. (eds.) ESAW 2004. LNCS (LNAI), vol.\u00a03451, pp. 139\u2013151. Springer, Heidelberg (2005)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-642-22359-4_19","volume-title":"Computational Logic in Multi-Agent Systems","author":"A. Gabaldon","year":"2011","unstructured":"Gabaldon, A.: Making golog norm compliant. In: Leite, J., Torroni, P., \u00c5gotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol.\u00a06814, pp. 275\u2013292. Springer, Heidelberg (2011)"},{"key":"7_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-540-79003-7_20","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems III","author":"A. Garc\u00eda-Camino","year":"2008","unstructured":"Garc\u00eda-Camino, A., Rodr\u00edguez-Aguilar, J.-A., Vasconcelos, W.W.: A Distributed Architecture for Norm Management in Multi-Agent Systems. In: Sichman, J.S., Padget, J., Ossowski, S., Noriega, P. (eds.) COIN 2007. LNCS (LNAI), vol.\u00a04870, pp. 275\u2013286. Springer, Heidelberg (2008)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated planning \u2013 theory and practice. Elsevier (2004)","DOI":"10.1016\/B978-155860856-6\/50021-1"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11837862_2","volume-title":"Business Process Management Workshops","author":"S. Goedertier","year":"2006","unstructured":"Goedertier, S., Vanthienen, J.: Designing Compliant Business Processes with Obligations and Permissions. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 5\u201314. Springer, Heidelberg (2006)"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1524\/itit.2013.2003","volume":"55","author":"G. Governatori","year":"2013","unstructured":"Governatori, G.: Business Process Compliance: An Abstract Normative Framework. IT-Information Technology\u00a055, 231\u2013238 (2013)","journal-title":"IT-Information Technology"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Governatori, G.: Thou shalt is not you will. Tech. Rep. 8026, NICTA (2014)","DOI":"10.1145\/2746090.2746105"},{"key":"7_CR18","doi-asserted-by":"crossref","first-page":"193","DOI":"10.26686\/ajl.v4i0.1780","volume":"4","author":"G. Governatori","year":"2006","unstructured":"Governatori, G., Rotolo, A.: Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic\u00a04, 193\u2013215 (2006)","journal-title":"Australasian Journal of Logic"},{"key":"7_CR19","unstructured":"Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: APCCM 2010, pp. 3\u201312. ACS (2010)"},{"key":"7_CR20","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.\u00a06403, pp. 194\u2013209. Springer, Heidelberg (2010)"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-642-22359-4_25","volume-title":"Computational Logic in Multi-Agent Systems","author":"G. Governatori","year":"2011","unstructured":"Governatori, G., Rotolo, A.: Justice delayed is justice denied: Logics for a temporal account of reparations and legal compliance. In: Leite, J., Torroni, P., \u00c5gotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol.\u00a06814, pp. 364\u2013382. Springer, Heidelberg (2011)"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Governatori, G., Sadiq, S.: The journey to business process compliance. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on BPM, pp. 426\u2013454. IGI Global (2009)","DOI":"10.4018\/978-1-60566-288-6.ch020"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Governatori, G., Shek, S.: Regorous: a business process compliance checker. In: ICAIL 2013, pp. 245\u2013246. ACM (2013)","DOI":"10.1145\/2514601.2514638"},{"key":"7_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1007\/978-3-540-76928-6_49","volume-title":"AI 2007: Advances in Artificial Intelligence","author":"G. Governatori","year":"2007","unstructured":"Governatori, G., Terenziani, P.: Temporal extensions to defeasible logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol.\u00a04830, pp. 476\u2013485. Springer, Heidelberg (2007)"},{"key":"7_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-540-74459-7_7","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems II","author":"D. Grossi","year":"2007","unstructured":"Grossi, D., Aldewereld, H., Dignum, F.P.M.: Ubi lex, ibi poena: Designing norm enforcement in E-institutions. In: Noriega, P., V\u00e1zquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol.\u00a04386, pp. 101\u2013114. Springer, Heidelberg (2007)"},{"key":"7_CR26","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-319-02922-1_8","volume-title":"Asia Pacific Business Process Management","author":"M. Hashmi","year":"2013","unstructured":"Hashmi, M., Governatori, G.: A methodological evaluation of business process compliance management frameworks. In: Song, M., Wynn, M.T., Liu, J. (eds.) AP-BPM 2013. LNBIP, vol.\u00a0159, pp. 106\u2013115. Springer, Heidelberg (2013)"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-32689-9_4","volume-title":"Rules on the Web: Research and Applications","author":"M. Hashmi","year":"2012","unstructured":"Hashmi, M., Governatori, G., Wynn, M.T.: Business process data compliance. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol.\u00a07438, pp. 32\u201346. Springer, Heidelberg (2012)"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Herrestad, H.: Norms and formalization. In: ICAIL 1991, pp. 175\u2013184. ACM (1991)","DOI":"10.1145\/112646.112667"},{"key":"7_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-642-14977-1_11","volume-title":"Computational Logic in Multi-Agent Systems","author":"J.F. H\u00fcbner","year":"2010","unstructured":"H\u00fcbner, J.F., Boissier, O., Bordini, R.: From organisation specification to normative programming in multi-agent organisations. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS, vol.\u00a06245, pp. 117\u2013134. Springer, Heidelberg (2010)"},{"key":"7_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-642-40624-9_14","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Knorr","year":"2013","unstructured":"Knorr, M., Gabaldon, A., Gon\u00e7alves, R., Leite, J., Slota, M.: Time is up! \u2013 norms with deadlines in action languages. In: Leite, J., Son, T.C., Torroni, P., van der Torre, L., Woltran, S. (eds.) CLIMA XIV 2013. LNCS, vol.\u00a08143, pp. 223\u2013238. Springer, Heidelberg (2013)"},{"key":"7_CR31","unstructured":"Koons, R.: Defeasible reasoning. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Spring 2014) http:\/\/plato.stanford.edu\/archives\/spr2014\/entries\/reasoning-defeasible\/"},{"issue":"2","key":"7_CR32","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/s10796-009-9185-9","volume":"14","author":"L.T. Ly","year":"2012","unstructured":"Ly, L.T., Rinderle-Ma, S., G\u00f6ser, K., Dadam, P.: On enabling integrated process compliance with semantic constraints in process management systems - requirements, challenges, solutions. Information Systems Frontiers\u00a014(2), 195\u2013219 (2012)","journal-title":"Information Systems Frontiers"},{"key":"7_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-23059-2_13","volume-title":"Business Process Management","author":"F. Maggi","year":"2011","unstructured":"Maggi, F., Montali, M., Westergaard, M., van der Aalst, W.: Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol.\u00a06896, pp. 132\u2013147. Springer, Heidelberg (2011)"},{"key":"7_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-540-24730-2_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Mailund","year":"2004","unstructured":"Mailund, T., Westergaard, M.: Obtaining memory-efficient reachability graph representations using the sweep-line method. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 177\u2013191. Springer, Heidelberg (2004)"},{"key":"7_CR35","volume-title":"Some philosophical problems from the standpoint of artificial intelligence","author":"J. McCarthy","year":"1968","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. Stanford University, USA (1968)"},{"key":"7_CR36","unstructured":"McNamara, P.: Deontic logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Spring 2014), http:\/\/plato.stanford.edu\/archives\/spr2014\/entries\/logic-deontic\/"},{"key":"7_CR37","doi-asserted-by":"crossref","unstructured":"Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a03, pp. 353\u2013395. Oxford University Press (1994)","DOI":"10.1093\/oso\/9780198537472.003.0007"},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"Nute, D. (ed.): Defeasible deontic logic. Springer (1997)","DOI":"10.1007\/978-94-015-8851-5"},{"key":"7_CR39","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-45103-4_11","volume-title":"Handbook on Business Process Management 2","author":"S. Sadiq","year":"2015","unstructured":"Sadiq, S., Governatori, G.: Managing regulatory compliance in business processes. In: vom Brocke, J., Rosemann, M. (eds.) Handbook on Business Process Management 2, pp. 265\u2013288. Springer, Heidelberg (2015)"},{"key":"7_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-75183-0_12","volume-title":"Business Process Management","author":"W. Sadiq","year":"2007","unstructured":"Sadiq, W., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 149\u2013164. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","PRIMA 2014: Principles and Practice of Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13191-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,4]],"date-time":"2024-06-04T10:34:43Z","timestamp":1717497283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-13191-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319131900","9783319131917"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13191-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}