{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:50:02Z","timestamp":1771699802070,"version":"3.50.1"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319073132","type":"print"},{"value":"9783319073149","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07314-9_19","type":"book-chapter","created":{"date-parts":[[2014,6,3]],"date-time":"2014-06-03T14:35:44Z","timestamp":1401806144000},"page":"346-363","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Towards the Norm-Aware Agent: Bridging the Gap Between Deontic Specifications and Practical Mechanisms for Norm Monitoring and Norm-Aware Planning"],"prefix":"10.1007","author":[{"given":"Sofia","family":"Panagiotidi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergio","family":"Alvarez-Napagao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"V\u00e1zquez-Salceda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,6,4]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"V\u00e1zquez-Salceda, J.: The role of norms and electronic institutions in multi-agent systems applied to complex domains: the HarmonIA framework. Ph.D. Thesis, 218, January 2003","DOI":"10.1007\/978-3-0348-7955-2"},{"issue":"237","key":"19_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"GH von Wright","year":"1951","unstructured":"von Wright, G.H.: Deontic logic. Mind, New Series 60(237), 1\u201315 (1951)","journal-title":"Mind, New Series"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-540-30960-4_3","volume-title":"Formal Approaches to Agent-Based Systems","author":"FPM Dignum","year":"2004","unstructured":"Dignum, F.P.M., Broersen, J., Dignum, V., Meyer, J.-J.: Meeting the deadline: why, when and how. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS (LNAI), vol. 3228, pp. 30\u201340. Springer, Heidelberg (2004)"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L.: Regulative and constitutive norms in normative multiagent systems. In: Proceedings of 10th International Conference on the Principles of Knowledge Representation and Reasoning, KR\u201904, pp. 255\u2013265 (2004)","DOI":"10.1145\/1165485.1165526"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/11775331_11","volume-title":"Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems","author":"H Aldewereld","year":"2006","unstructured":"Aldewereld, H., Grossi, D., V\u00e1zquez-Salceda, J., Dignum, F.P.M.: Designing normative behaviour via landmarks. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., V\u00e1zquez-Salceda, J. (eds.) ANIREM 2005 and OOOP 2005. LNCS (LNAI), vol. 3913, pp. 157\u2013169. Springer, Heidelberg (2006)"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-540-74459-7_12","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems II","author":"A Garc\u00eda-Camino","year":"2007","unstructured":"Garc\u00eda-Camino, A., Rodr\u00edguez-Aguilar, J.-A., Sierra, C., Vasconcelos, W.W.: Norm-oriented programming of electronic institutions: a rule-based approach. In: Noriega, P., V\u00e1zquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol. 4386, pp. 177\u2013193. Springer, Heidelberg (2007)"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-642-00443-8_11","volume-title":"Coordination, Organizations, Institutions and Norms in Agent Systems IV","author":"N Oren","year":"2009","unstructured":"Oren, N., Panagiotidi, S., V\u00e1zquez-Salceda, J., Modgil, S., Luck, M., Miles, S.: Towards a formalisation of electronic contracting environments. In: H\u00fcbner, J.F., Matson, E., Boissier, O., Dignum, V. (eds.) COIN@AAMAS 2008. LNCS, vol. 5428, pp. 156\u2013171. Springer, Heidelberg (2009)"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/978-3-642-02658-4_55","volume-title":"Computer Aided Verification","author":"A Lomuscio","year":"2009","unstructured":"Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: a model checker for the verification of multi-agent systems. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 682\u2013688. Springer, Heidelberg (2009)"},{"key":"19_CR9","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)"},{"issue":"1","key":"19_CR10","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1093\/jigpal\/jzp070","volume":"18","author":"T \u00c5gotnes","year":"2010","unstructured":"\u00c5gotnes, T., van der Hoek, W., Wooldridge, M.: Robust normative systems and a logic of norm compliance. Logic J. IGPL 18(1), 4\u201330 (2010)","journal-title":"Logic J. IGPL"},{"key":"19_CR11","unstructured":"Criado, N., Argente, E., Noriega, P.: Towards a normative BDI architecture for norm compliance. COIN@ MALLOW2010 (2010)"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-642-21268-0_18","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems VI","author":"S Alvarez-Napagao","year":"2011","unstructured":"Alvarez-Napagao, S., Aldewereld, H., V\u00e1zquez-Salceda, J., Dignum, F.: Normative monitoring: semantics and implementation. In: De Vos, M., Fornara, N., Pitt, J.V., Vouros, G. (eds.) COIN 2010. LNCS, vol. 6541, pp. 321\u2013336. Springer, Heidelberg (2011)"},{"key":"19_CR13","unstructured":"L\u00f3pez y L\u00f3pez, F., Luck, M., d\u2019Inverno, M.: Normative agent reasoning in dynamic societies. In: Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS \u201904, Washington, DC, USA, vol. 2, pp. 732\u2013739 (2004)"},{"key":"19_CR14","unstructured":"Kollingbaum, M.J.: Norm-governed practical reasoning agents. Ph.D. Dissertation (2005)"},{"key":"19_CR15","unstructured":"Meneguzzi, F., Luck, M.: Norm-based behaviour modification in BDI agents. In: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, AAMAS \u201909, vol. 1, pp. 177\u2013184, Richland, SC. (International Foundation for Autonomous Agents and Multiagent Systems) (2009)"},{"key":"#cr-split#-19_CR16.1","doi-asserted-by":"crossref","unstructured":"Panagiotidi, S., V\u00e1zquez-Salceda, J.: Norm-aware planning: semantics and implementation. In: 2011 IEEE\/WIC\/ACM International Joint Conferences on Web Intelligence","DOI":"10.1109\/WI-IAT.2011.249"},{"key":"#cr-split#-19_CR16.2","unstructured":"(WI) and Intelligent Agent Technologies (IAT), pp. 33-36. IEEE, August 2011"},{"issue":"1\u20132","key":"19_CR17","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","volume":"116","author":"F Bacchus","year":"2000","unstructured":"Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artif. Intell. 116(1\u20132), 123\u2013191 (2000)","journal-title":"Artif. Intell."},{"key":"19_CR18","unstructured":"Gerevini, A., Long, D.: Plan constraints and preferences in PDDL3: the language of the fifth international planning competition. Technical report R.T. 2005\u201308-07, August 2005"},{"key":"19_CR19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275","volume-title":"Logic in Computer Science: Modelling and Reasoning about Systems","author":"M Huth","year":"2004","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, New York (2004)"},{"key":"19_CR20","volume-title":"The Construction of Social Reality","author":"J Searle","year":"1995","unstructured":"Searle, J.: The Construction of Social Reality. Free Press, New York (1995)"},{"key":"19_CR21","unstructured":"Aldewereld, H., Alvarez-Napagao, S., Dignum, F., V\u00e1zquez-Salceda, J.: Making norms concrete. In: Proceedings of 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), pp. 807\u2013814 (2010)"},{"issue":"2","key":"19_CR22","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1111\/j.1467-9337.1996.tb00234.x","volume":"9","author":"R Walter","year":"1996","unstructured":"Walter, R.: J\u00f6rgensen\u2019s dilemma and how to face it. Ratio Juris 9(2), 168\u2013171 (1996)","journal-title":"Ratio Juris"},{"key":"19_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-00443-8_10","volume-title":"Coordination, Organizations, Institutions and Norms in Agent Systems IV","author":"HL Cardoso","year":"2009","unstructured":"Cardoso, H.L., Oliveira, E.: A context-based institutional normative environment. In: H\u00fcbner, J.F., Matson, E., Boissier, O., Dignum, V. (eds.) COIN@AAMAS 2008. LNCS, vol. 5428, pp. 140\u2013155. Springer, Heidelberg (2009)"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Koo, J.: A Study on the model checking for deontic logic. In: Convergence and Hybrid Information Technology, pp. 832\u2013835 (2008)","DOI":"10.1109\/ICCIT.2008.240"},{"key":"19_CR25","doi-asserted-by":"crossref","unstructured":"Prisacariu, C., Schneider, G.: Abstract specification of legal contracts. In: Proceedings of the 12th International Conference on Artificial Intelligence and Law (ICAIL), ACM Request Permissions, pp. 218\u2013219 (2009)","DOI":"10.1145\/1568234.1568262"},{"key":"19_CR26","unstructured":"Aldewereld, H.: Autonomy vs. conformity: an institutional perspective on norms and protocols. Ph.D. Thesis, Utrecht University (2007)"},{"key":"19_CR27","unstructured":"Abrahams, A.S., Bacon, J.M.: The life and times of identified, situated, and conflicting norms. In: Sixth International Workshop on Deontic Logic in Computer, Science (DEON), pp. 3\u201320 (2002)"},{"key":"19_CR28","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-93920-7_1","volume-title":"Declarative Agent Languages and Technologies VI","author":"N Fornara","year":"2009","unstructured":"Fornara, N., Colombetti, M.: Specifying and enforcing norms in artificial institutions. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol. 5397, pp. 1\u201317. Springer, Heidelberg (2009)"},{"key":"19_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-642-14962-7_15","volume-title":"Coordination, Organizations, Institutions and Norms in Agent Systems V","author":"HL Cardoso","year":"2010","unstructured":"Cardoso, H.L., Oliveira, E.: Directed deadline obligations in agent-based business contracts. In: Padget, J., Artikis, A., Vasconcelos, W., Stathis, K., da Silva, V.T., Matson, E., Polleres, A. (eds.) COIN@AAMAS 2009. LNCS, vol. 6069, pp. 225\u2013240. Springer, Heidelberg (2010)"},{"issue":"2\u20133","key":"19_CR30","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. Coop. Inf. Syst. 14(2\u20133), 181\u2013216 (2005)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"19_CR31","unstructured":"Tauriainen, H.: automata and linear temporal logic: translations with transition-based acceptance. Ph.D. Thesis, Helsinki University of Technology (2006)"},{"key":"19_CR32","unstructured":"Cirstea, H., Kirchner, C., Moossen, Michael, M., Moreau, P.E.: Production systems and rete algorithm formalisation. Research report inria-00280938, PROTHEO - INRIA Lorraine - LORIA (2004)"}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, and Norms in Agent Systems IX"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07314-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,22]],"date-time":"2023-12-22T03:50:30Z","timestamp":1703217030000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-07314-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319073132","9783319073149"],"references-count":33,"aliases":["10.1007\/978-3-319-14220-3_19"],"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07314-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"4 June 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}