{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T10:47:34Z","timestamp":1755600454491},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642449260"},{"type":"electronic","value":"9783642449277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-44927-7_15","type":"book-chapter","created":{"date-parts":[[2013,11,18]],"date-time":"2013-11-18T20:33:06Z","timestamp":1384806786000},"page":"213-228","source":"Crossref","is-referenced-by-count":15,"title":["Compliant Business Process Design by Declarative Specifications"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Olivieri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone","family":"Scannapieco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Cristani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","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)"},{"issue":"2","key":"15_CR2","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":"15_CR3","unstructured":"Bratman, M.E.: Intentions, Plans and Practical Reason. Harvard University Press (1987)"},{"issue":"2-3","key":"15_CR4","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence\u00a042(2-3), 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"15_CR5","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J.F., Fikes, R., Sandewall, E. (eds.) KR, pp. 473\u2013484. Morgan Kaufmann (1991)"},{"issue":"3","key":"15_CR6","first-page":"293","volume":"8","author":"A.S. Rao","year":"1998","unstructured":"Rao, A.S., Georgeff, M.P.: Decision procedures for bdi logics. JLC\u00a08(3), 293\u2013342 (1998)","journal-title":"JLC"},{"key":"15_CR7","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":"15_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":"15_CR9","unstructured":"Davenport, T.H.: Process innovation: reengineering work through information technology. Harvard Business School Press (1993)"},{"key":"15_CR10","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"},{"issue":"1","key":"15_CR11","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. Journal of Autonomous Agents and Multi-Agent Systems\u00a017(1), 36\u201369 (2008)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"issue":"3-4","key":"15_CR12","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. Cognitive Science Quarterly\u00a02(3-4), 428\u2013447 (2002)","journal-title":"Cognitive Science Quarterly"},{"key":"15_CR13","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 (2000)"},{"issue":"3","key":"15_CR14","first-page":"214","volume":"16","author":"M. Dastani","year":"2008","unstructured":"Dastani, M.: 2APL: A practical agent programming language. AAMAS\u00a016(3), 214\u2013248 (2008)","journal-title":"AAMAS"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Wooldridge, M., H\u00fcbner, J.: Programming multi-agent systems in agentspeak using Jason. John Wiley & Sons (2007)","DOI":"10.1002\/9780470061848"},{"key":"15_CR16","unstructured":"Alechina, N., Bassiliades, N., Dastani, M., De Vos, M., Logan, B., Mera, S., Morris-Martin, A., Schapachnik, F.: Computational models for normative multi-agent systems. In: Normative Multi-Agent Systems, pp. 71\u201392 (2013)"},{"key":"15_CR17","unstructured":"Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The kgp model of agency. In: ECAI, pp. 33\u201337 (2004)"},{"key":"15_CR18","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)"}],"container-title":["Lecture Notes in Computer Science","PRIMA 2013: Principles and Practice of Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-44927-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T06:22:29Z","timestamp":1558678949000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-44927-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642449260","9783642449277"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-44927-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}