{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T01:05:31Z","timestamp":1725757531800},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642449260"},{"type":"electronic","value":"9783642449277"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-44927-7_22","type":"book-chapter","created":{"date-parts":[[2013,11,19]],"date-time":"2013-11-19T01:33:06Z","timestamp":1384824786000},"page":"324-339","source":"Crossref","is-referenced-by-count":4,"title":["A Methodology for Plan Revision under Norm and Outcome Compliance"],"prefix":"10.1007","author":[{"given":"Simone","family":"Scannapieco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Olivieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Cristani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-58855-8_1","volume-title":"Intelligent Agents","author":"M. Wooldridge","year":"1995","unstructured":"Wooldridge, M., Jennings, N.R.: Agent theories, architectures, and languages: A survey. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS, vol.\u00a0890, pp. 1\u201339. Springer, Heidelberg (1995)"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42(2-3) (1990)","DOI":"10.1016\/0004-3702(90)90055-5"},{"key":"22_CR3","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J.F., Fikes, R., Sandewall, E. (eds.) KR. Morgan Kaufmann (1991)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Rao, A.S., Georgeff, M.P.: Decision procedures for bdi logics. Journal of Logic and Computation 8(3) (1998)","DOI":"10.1093\/logcom\/8.3.293"},{"key":"22_CR5","unstructured":"van der Aalst, W.M.P.: The application of Petri Nets to workflow management. Journal of Circuits, Systems, and Computers 8(1) (1998)"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated planning - theory and practice. Elsevier (2004)","DOI":"10.1016\/B978-155860856-6\/50020-X"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Governatori, G., Sadiq, S.: The journey to business process compliance. In: Handbook of Research on BPM. IGI Global (2008)","DOI":"10.4018\/978-1-60566-288-6.ch020"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/978-3-642-24908-2_29","volume-title":"RuleML America","author":"G. Governatori","year":"2011","unstructured":"Governatori, G., Olivieri, F., Scannapieco, S., Cristani, M.: Designing for compliance: Norms and goals. In: Olken, F., Palmirani, M., Sottara, D. (eds.) RuleML - America 2011. LNCS, vol.\u00a07018, pp. 282\u2013297. Springer, Heidelberg (2011)"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-39617-5_12","volume-title":"Theory, Practice, and Applications of Rules on the Web","author":"G. Governatori","year":"2013","unstructured":"Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S., Cristani, M.: Picking up the best goal: An analytical study in defeasible logic. In: Morgenstern, L., Stefaneas, P., L\u00e9vy, F., Wyner, A., Paschke, A. (eds.) RuleML 2013. LNCS, vol.\u00a08035, pp. 99\u2013113. Springer, Heidelberg (2013)"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2) (2001)","DOI":"10.1145\/371316.371517"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A.: Logic of violations: A gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 4 (2006)","DOI":"10.26686\/ajl.v4i0.1780"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A.: BIO logical agents: Norms, beliefs, intentions in defeasible logic. Journal of Autonomous Agents and Multi-Agent Systems 17(1) (2008)","DOI":"10.1007\/s10458-008-9030-4"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3-4) (2002)","DOI":"10.1145\/375735.375766"},{"key":"22_CR14","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. IOS Press (2000)"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-74974-5_14","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"A. Ghose","year":"2007","unstructured":"Ghose, A., Koliadis, G.: Auditing business process compliance. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 169\u2013180. Springer, Heidelberg (2007)"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Dijkman, R., Dumas, M., van Dongen, B., K\u00e4\u00e4rik, R., Mendling, J.: Similarity of business process models: Metrics and evaluation. Inf. Syst. 36(2) (2011)","DOI":"10.1016\/j.is.2010.09.006"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A.: Norm compliance in business process modeling. In: [29], 194\u2013209","DOI":"10.1007\/978-3-642-16289-3_17"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"van der Aalst, W., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Computer Science - R&D 23(2) (2009)","DOI":"10.1007\/s00450-009-0057-9"},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-22546-8_7","volume-title":"Rule-Based Reasoning, Programming, and Applications","author":"A. Rotolo","year":"2011","unstructured":"Rotolo, A.: Rule-based agents, compliance, and intention reconsideration in defeasible logic. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011 - Europe. LNCS, vol.\u00a06826, pp. 67\u201382. Springer, Heidelberg (2011)"},{"key":"22_CR20","unstructured":"Schumm, D., Leymann, F., Ma, Z., Scheibler, T., Strauch, S.: Integrating Compliance into Business Processes Process Fragments as Reusable Compliance Controls. Universit\u00e4tsverlag G\u00f6ttingen (2010)"},{"key":"22_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-642-16985-4_29","volume-title":"Current Trends in Web Engineering","author":"D. Schumm","year":"2010","unstructured":"Schumm, D., Turetken, O., Kokash, N., Elgammal, A., Leymann, F., van den Heuvel, W.-J.: Business process compliance through reusable units of compliant processes. In: Daniel, F., Facca, F.M. (eds.) ICWE 2010. LNCS, vol.\u00a06385, pp. 325\u2013337. Springer, Heidelberg (2010)"},{"key":"22_CR22","unstructured":"Leymann, F.: Combining web services and the grid: Towards adaptive enterprise applications. In: Castro, J., Teniente, E. (eds.) CAiSE Workshops (2). FEUP Edi\u00e7\u00f5es, Porto (2005)"},{"key":"22_CR23","unstructured":"Weerawarana, S., Curbera, F., Leymann, F., Storey, T., Ferguson, D.: Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging, and More. Prentice Hall PTR (2005)"},{"key":"22_CR24","unstructured":"Rock, A.: Deimos: Query answering defeasible logic system (2000)"},{"key":"22_CR25","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.\u00a05858, pp. 315\u2013322. Springer, Heidelberg (2009)"},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Governatori, G., Olivieri, F., Scannapieco, S., Cristani, M.: Superiority based revision of defeasible theories. In: [29], pp. 104\u2013118","DOI":"10.1007\/978-3-642-16289-3_10"},{"key":"22_CR27","doi-asserted-by":"crossref","unstructured":"Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S.: Legal contractions: A logical analysis. In: Ashley, K.D., van Engers, T.M. (eds.) ICAIL. ACM (2013)","DOI":"10.1145\/2514601.2514609"},{"key":"22_CR28","doi-asserted-by":"crossref","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log. 50(2) (1985)","DOI":"10.2307\/2274239"},{"key":"22_CR29","series-title":"Lecture Notes in Computer Science","volume-title":"Semantic Web Rules","year":"2010","unstructured":"Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.): RuleML 2010. LNCS, vol.\u00a06403. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","PRIMA 2013: Principles and Practice of Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-44927-7_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,6]],"date-time":"2023-07-06T20:57:05Z","timestamp":1688677025000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-44927-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642449260","9783642449277"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-44927-7_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}