{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T11:30:09Z","timestamp":1725708609345},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642355448"},{"type":"electronic","value":"9783642355455"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35545-5_6","type":"book-chapter","created":{"date-parts":[[2012,12,6]],"date-time":"2012-12-06T01:16:48Z","timestamp":1354756608000},"page":"93-109","source":"Crossref","is-referenced-by-count":6,"title":["Towards Practical Normative Agents: A Framework and an Implementation for Norm-Aware Planning"],"prefix":"10.1007","author":[{"given":"Sofia","family":"Panagiotidi","sequence":"first","affiliation":[]},{"given":"Javier","family":"V\u00e1zquez-Salceda","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Aldewereld, H.: Autonomy vs. conformity: An institutional perspective on norms and protocols. PhD Thesis, Utrecht University (2007), \n                    \n                      http:\/\/igitur-archive.library.uu.nl\/dissertations\/2007-0604-200758\/UUindex.html"},{"key":"6_CR2","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 International Workshops. LNCS, vol.\u00a06541, pp. 321\u2013336. Springer, Heidelberg (2011)"},{"issue":"13","key":"6_CR3","first-page":"2629","volume":"15","author":"L. Astefanoaei","year":"2009","unstructured":"Astefanoaei, L., Dastani, M., Meyer, J.J., de Boer, F.S.: On the Semantics and Verification of Normative Multi-Agent Systems. International Journal of Universal Computer Science\u00a015(13), 2629\u20132652 (2009)","journal-title":"International Journal of Universal Computer Science"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Dastani, M., Tinnemeier, N.A., Meyer, J.J.: A Programming Language for Normative Multi-Agent Systems. In: Multi-Agent Systems: Semantics and Dynamics of Organizational Models, Hershey, PA, USA (2009)","DOI":"10.4018\/978-1-60566-256-5.ch016"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Dignum, F.: Autonomous agents with norms. Artificial Intelligence and Law\u00a0(7), 69\u201379 (1999), \n                    \n                      http:\/\/www.springerlink.com\/index\/N32XU121L58H417V.pdf","DOI":"10.1023\/A:1008315530323"},{"key":"6_CR6","series-title":"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":"F. Dignum","year":"2004","unstructured":"Dignum, F., 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.\u00a03228, pp. 30\u201340. Springer, Heidelberg (2004)"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"Fikes, R., Nilsson, N.: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence\u00a02, 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"6_CR8","series-title":"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.\u00a05397, pp. 1\u201317. Springer, Heidelberg (2009)"},{"key":"6_CR9","first-page":"1","volume-title":"PDDL 2.1: An Extension to PDDL for Expressing Temporal Planning Domains","author":"M. Fox","year":"2009","unstructured":"Fox, M., Long, D.: PDDL 2.1: An Extension to PDDL for Expressing Temporal Planning Domains, pp. 1\u201348. University of Durham, UK (2009)"},{"key":"6_CR10","unstructured":"Gerevini, A., Long, D.: Plan constraints and preferences in PDDL3: The Language of the Fifth International Planning Competition. Department of Electronics for Automation, University of Brescia, Italy (2006)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory & Practice, 1st edn. The Morgan Kaufmann Series in Artificial Intelligence. Morgan Kaufmann (May 2004)","DOI":"10.1016\/B978-155860856-6\/50021-1"},{"key":"6_CR12","unstructured":"Hsu, C., Wah, B.: The sgplan planning system in ipc-6. In: 6th Int. Planning Competition Booklet, ICAPS 2008 (2008)"},{"key":"6_CR13","unstructured":"Kollingbaum, M.J.: Norm-governed practical reasoning agents. University of Aberdeen (January 2005)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-642-22359-4_24","volume-title":"Computational Logic in Multi-Agent Systems","author":"N. Oren","year":"2011","unstructured":"Oren, N., Vasconcelos, W., Meneguzzi, F., Luck, M.: Acting on Norm Constrained Plans. In: Leite, J., Torroni, P., \u00c5gotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol.\u00a06814, pp. 347\u2013363. Springer, Heidelberg (2011)"},{"key":"6_CR15","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 2008. LNCS, vol.\u00a05428, pp. 156\u2013171. Springer, Heidelberg (2009)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1007\/978-3-642-17746-0_43","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"M. \u015eensoy","year":"2010","unstructured":"\u015eensoy, M., Norman, T.J., Vasconcelos, W.W., Sycara, K.: OWL-POLAR: Semantic Policies for Agent Reasoning. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol.\u00a06496, pp. 679\u2013695. Springer, Heidelberg (2010)"},{"key":"6_CR17","unstructured":"Sergot, M.: The representation of law in computer programs: a survey and comparison, Tano. CompLex (Series), vol.\u00a091(1), p. 99 (January 1991), \n                    \n                      http:\/\/books.google.com\/books?id=8U-cAAAACAAJ&printsec=frontcover"},{"key":"6_CR18","unstructured":"Sergot, M.: An action language for modelling norms and institutions. SIKS Masterclass, Utrecht (2003), \n                    \n                      http:\/\/www.cs.uu.nl\/jurix03\/sergot.pdf"},{"key":"6_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/11786849_19","volume-title":"Deontic Logic and Artificial Normative Systems","author":"M.J. Sergot","year":"2006","unstructured":"Sergot, M.J., Craven, R.: The Deontic Component of Action Language \n                    \n                      \n                    \n                    $n{\\mathcal{C}}+$\n                  . In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol.\u00a04048, pp. 222\u2013237. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, and Norms in Agent System VII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35545-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T19:43:35Z","timestamp":1557431015000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35545-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642355448","9783642355455"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35545-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}