{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:20:58Z","timestamp":1743070858335,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642225451"},{"type":"electronic","value":"9783642225468"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22546-8_7","type":"book-chapter","created":{"date-parts":[[2011,7,14]],"date-time":"2011-07-14T04:30:13Z","timestamp":1310617813000},"page":"67-82","source":"Crossref","is-referenced-by-count":4,"title":["Rule-Based Agents, Compliance, and Intention Reconsideration in Defeasible Logic"],"prefix":"10.1007","author":[{"given":"Antonino","family":"Rotolo","sequence":"first","affiliation":[]}],"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","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/3-540-48238-5_8","volume-title":"KI-99: Advances in Artificial Intelligence","author":"D. Billington","year":"1999","unstructured":"Billington, D., Antoniou, G., Governatori, G., Maher, M.J.: Revising nonmonotonic theories: The case of defeasible logic. In: Burgard, W., Christaller, T., Cremers, A.B. (eds.) KI 1999. LNCS (LNAI), vol.\u00a01701, pp. 101\u2013112. Springer, Heidelberg (1999)"},{"key":"7_CR3","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_CR4","doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L.: Fulfilling or violating obligations in multiagent systems. In: Proc. IAT 2004 (2004)","DOI":"10.1109\/IAT.2004.1343001"},{"key":"7_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/978-3-540-75524-1_17","volume-title":"Engineering Societies in the Agents World VII","author":"E. Bou","year":"2007","unstructured":"Bou, E., L\u00f3pez-S\u00e1nchez, M., Rodr\u00edguez-Aguilar, J.A.: Adaptation of autonomic electronic institutions through norms and institutional agents. In: O\u2019Hare, G.M.P., Ricci, A., O\u2019Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol.\u00a04457, pp. 300\u2013319. Springer, Heidelberg (2007)"},{"key":"7_CR6","volume-title":"Intentions, Plans and Practical Reason","author":"M.E. Bratman","year":"1987","unstructured":"Bratman, M.E.: Intentions, Plans and Practical Reason. Harvard University Press, Cambridge (1987)"},{"issue":"3-4","key":"7_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. Cognitive Science Quarterly\u00a02(3-4), 428\u2013447 (2002)","journal-title":"Cognitive Science Quarterly"},{"key":"7_CR8","volume-title":"Proc. 9th Biennial Conference of the Society for the Study of Artificial Intelligence and Simulation of Behaviour","author":"A. Cawsey","year":"1993","unstructured":"Cawsey, A., Galliers, J., Logan, B., Reece, S., Sparck Jones, K.: Revising beliefs and intentions: A unified framework for agent interaction. In: Proc. 9th Biennial Conference of the Society for the Study of Artificial Intelligence and Simulation of Behaviour. IOS Press, Amsterdam (1993)"},{"issue":"1","key":"7_CR9","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(1), 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"7_CR10","series-title":"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.\u00a03835, pp. 621\u2013636. Springer, Heidelberg (2005)"},{"key":"7_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1007\/11589990_72","volume-title":"AI 2005: Advances in Artificial Intelligence","author":"M. Dastani","year":"2005","unstructured":"Dastani, M., Governatori, G., Rotolo, A., van der Torre, L.: Preferences of agents in defeasible logic. In: Zhang, S., Jarvis, R. (eds.) AI 2005. LNCS (LNAI), vol.\u00a03809, pp. 695\u2013704. Springer, Heidelberg (2005)"},{"issue":"1","key":"7_CR12","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1023\/A:1008315530323","volume":"7","author":"F. Dignum","year":"1999","unstructured":"Dignum, F.: Autonomous agents with norms. Artificial Intelligence and Law\u00a07(1), 69\u201379 (1999)","journal-title":"Artificial Intelligence and Law"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Dignum, F., Morley, D., Sonenberg, L., Cavedon, L.: Towards socially sophisticated BDI agents. In: ICMAS 2000, pp. 111\u2013118 (2000)","DOI":"10.1109\/ICMAS.2000.858442"},{"key":"7_CR14","unstructured":"Esteva, M., Rosell, B., Rodr\u00edguez-Aguilar, J.A., Arcos, J.L.: Ameli: An agent-based middleware for electronic institutions. In: Proc. AAMAS 2004. ACM, New York (2004)"},{"key":"7_CR15","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":"R.A. Flores","year":"2005","unstructured":"Flores, R.A., 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_CR16","volume-title":"Proc. AAMAS 2007","author":"D. Gaertner","year":"2007","unstructured":"Gaertner, D., Garcia-Camino, A., Noriega, P., Rodriguez-Aguilar, J.-A., Vasconcelos, W.: Distributed norm management in regulated multiagent systems. In: Proc. AAMAS 2007. ACM, New York (2007)"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/s10458-008-9059-4","volume":"18","author":"A. Garca-Camino","year":"2009","unstructured":"Garca-Camino, A., Rodrguez-Aguilar, J., Sierra, C., Vasconcelos, W.: Constraint rule-based programming of norms for electronic institutions. Autonomous Agents and Multi-Agent Systems\u00a018, 186\u2013217 (2009), doi:10.1007\/s10458-008-9059-4","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1093\/logcom\/14.5.675","volume":"14","author":"G. Governatori","year":"2004","unstructured":"Governatori, G., Maher, M.J., Billington, D., Antoniou, G.: Argumentation semantics for defeasible logics. Journal of Logic and Computation\u00a014, 675\u2013702 (2004)","journal-title":"Journal of Logic and Computation"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-16289-3_10","volume-title":"Semantic Web Rules","author":"G. Governatori","year":"2010","unstructured":"Governatori, G., Olivieri, F., Scannapieco, S., Cristani, M.: Superiority based revision of defeasible theories. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol.\u00a06403, pp. 104\u2013118. Springer, Heidelberg (2010)"},{"issue":"1","key":"7_CR20","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. Autonomous Agents and Multi-Agent Systems\u00a017(1), 36\u201369 (2008)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A.: How do agents comply with norm? In: Web Intelligence\/IAT Workshops, pp. 488\u2013491 (2009)","DOI":"10.1109\/WI-IAT.2009.332"},{"key":"7_CR22","first-page":"25","volume-title":"Proc. ICAIL 2005","author":"G. Governatori","year":"2005","unstructured":"Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: Proc. ICAIL 2005, pp. 25\u201334. ACM, New York (2005)"},{"issue":"3","key":"7_CR23","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 Journal of the IGPL\u00a017(3), 227\u2013265 (2009)","journal-title":"Logic Journal of the IGPL"},{"issue":"1","key":"7_CR24","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\u00a016(1), 25\u201352 (2008)","journal-title":"Artif. Intell. Law"},{"key":"7_CR25","unstructured":"Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: APCCM, pp. 3\u201312 (2010)"},{"key":"7_CR26","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.: 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_CR27","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. Fred H\u00fcbner","year":"2010","unstructured":"Fred H\u00fcbner, J., Boissier, O., Bordini, R.H.: 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_CR28","first-page":"275","volume-title":"On the characterization of law and computer systems: the normative systems perspective","author":"A.J.I. Jones","year":"1993","unstructured":"Jones, A.J.I., Sergot, M.: On the characterization of law and computer systems: the normative systems perspective, pp. 275\u2013307. John Wiley and Sons Ltd., Chichester (1993)"},{"key":"7_CR29","volume-title":"Proc. AAMAS 2002","author":"F. L\u00f3pez y L\u00f3pez","year":"2002","unstructured":"L\u00f3pez y L\u00f3pez, F., Luck, M., d\u2019Inverno, M.: Constraining autonomy through norms. In: Proc. AAMAS 2002. ACM, New York (2002)"},{"key":"7_CR30","unstructured":"Lorini, E.: Variations on intentional themes: From the generation of an intention to the execution of an intentional action. PhD thesis, University of Siena (2007)"},{"issue":"1","key":"7_CR31","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s11229-008-9309-7","volume":"163","author":"E. Lorini","year":"2008","unstructured":"Lorini, E., Herzig, A.: A logic of intention and attempt. Synthese\u00a0163(1), 45\u201377 (2008)","journal-title":"Synthese"},{"key":"7_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(99)00061-2","volume":"113","author":"J.-J.C. Meyer","year":"1999","unstructured":"Meyer, J.-J.C., van der Hoek, W., van Linder, B.: A logical approach to the dynamics of commitments. Artif. Intell.\u00a0113, 1\u201340 (1999)","journal-title":"Artif. Intell."},{"key":"7_CR33","volume-title":"Proc. KR 1991","author":"A.S. Rao","year":"1991","unstructured":"Rao, A.S., Georgeff, M.P.: Modelling rational agents within a BDI-architecture. In: Proc. KR 1991. Morgan Kaufmann, San Francisco (1991)"},{"key":"7_CR34","volume-title":"Proc. IJCAI 2011","author":"A. Rotolo","year":"2011","unstructured":"Rotolo, A.: Norm compliance of rule-based cognitive agents. In: Proc. IJCAI 2011. AAAI Press, Menlo Park (2011)"},{"key":"7_CR35","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. Artif. Intell.\u00a060, 51\u201392 (1993)","journal-title":"Artif. Intell."},{"key":"7_CR36","unstructured":"Singh, M.P.: On the commitments and precommitments of limited agents. In: Proc. IJCAI 1991 Workshop on Theoretical and Practical Design of Rational Agents (1991)"},{"key":"7_CR37","unstructured":"Singh, M.P., Asher, N.M.: A logic of intentions and beliefs. Journal of Philosophical Logic"},{"key":"7_CR38","first-page":"121","volume-title":"Proc. AAMAS 2009","author":"N. Tinnemeier","year":"2009","unstructured":"Tinnemeier, N., Dastani, M., Meyer, J.-J.: Roles and norms for programming agent organizations. In: Proc. AAMAS 2009, pp. 121\u2013128. IFAAMS, Richland (2009)"},{"issue":"1","key":"7_CR39","first-page":"213","volume":"42","author":"W. Hoek van der","year":"1990","unstructured":"van der Hoek, W., Jamroga, W., Wooldridge, M.: Intention is choice with commitment. Artificial Intelligence\u00a042(1), 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"7_CR40","unstructured":"van der Torre, L., Boella, G., Verhagen, H. (eds.) Normative Multi-agent Systems, Special Issue of JAAMAS, vol. 17(1) (2008)"},{"key":"7_CR41","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about rational agents","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M.: Reasoning about rational agents. MIT Press, Cambridge (2000)"}],"container-title":["Lecture Notes in Computer Science","Rule-Based Reasoning, Programming, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22546-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,7]],"date-time":"2025-03-07T02:51:26Z","timestamp":1741315886000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22546-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642225451","9783642225468"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22546-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}