{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T17:19:35Z","timestamp":1767374375124},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642377556"},{"type":"electronic","value":"9783642377563"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37756-3_3","type":"book-chapter","created":{"date-parts":[[2013,4,12]],"date-time":"2013-04-12T01:05:30Z","timestamp":1365728730000},"page":"35-52","source":"Crossref","is-referenced-by-count":8,"title":["Reasoning over Norm Compliance via Planning"],"prefix":"10.1007","author":[{"given":"Sofia","family":"Panagiotidi","sequence":"first","affiliation":[]},{"given":"Javier","family":"V\u00e1zquez-Salceda","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Dignum","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"3_CR1","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. Artificial Intelligence\u00a0116(1-2), 123\u2013191 (2000)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"3_CR2","first-page":"214","volume":"16","author":"M. Dastani","year":"2008","unstructured":"Dastani, M.: 2APL: a practical agent programming language. JAAMAS\u00a016(3), 214\u2013248 (2008); Special Issue on Computational Logic-based Agents","journal-title":"JAAMAS"},{"key":"3_CR3","unstructured":"Dignum, F., Aldewereld, H., Vanhee, L.: Implementing Norms? COIN@WI-IAT (2011)"},{"key":"3_CR4","first-page":"189","volume-title":"Artificial Intelligence","author":"R. Fikes","year":"1971","unstructured":"Fikes, R., Nilsson, N.: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. In: Artificial Intelligence, vol.\u00a02, pp. 189\u2013208. Elsevier Science Publishers Ltd., Essex (1971)"},{"key":"3_CR5","unstructured":"Gerevini, A., Long, D.: Plan constraints and preferences in PDDL3. In: 5th International Planning Competition (2006)"},{"key":"3_CR6","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1613\/jair.855","volume":"14","author":"J. Hoffmann","year":"2001","unstructured":"Hoffmann, J., Nebel, B.: The FF planning system: Fast plan generation through heuristic search. Journal of Artificial Intelligence Research\u00a014, 253\u2013302 (2001)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Lam, J., Guerin, F., Vasconcelos, W., Norman, T.J.: Building Multi-Agent Systems for Workflow Enactment and Exception Handling. In: Padget, J., Artikis, A., Vasconcelos, W., Stathis, K., da Silva, V.T., Matson, E., Polleres, A. (eds.) COIN 2009. LNCS (LNAI), vol.\u00a06069, pp. 53\u201369. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-14962-7_4"},{"key":"3_CR8","unstructured":"Kollingbaum, M.J.: Norm-governed Practical Reasoning Agents. Tech. Rep. (2005)"},{"key":"3_CR9","unstructured":"Meneguzzi, F., Luck, M.: Norm-based behaviour modification in BDI agents. In: 8th International Conference on Autonomous Agents and Multiagent Systems (2009)"},{"key":"3_CR10","unstructured":"Modgil, S., Faci, N., Meneguzzi, F., Oren, N., Miles, S., Luck, M.: A framework for monitoring agent-based normative systems. International Foundation for Autonomous Agents and Multiagent Systems (May 2009)"},{"key":"3_CR11","series-title":"LNAI","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 (LNAI), vol.\u00a05428, pp. 156\u2013171. Springer, Heidelberg (2009)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Rao, A.S.: Agentspeak(l): Bdi agents speak out in a logical computable language. In: 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: Agents Breaking Away, pp. 42\u201355. Springer (1996)","DOI":"10.1007\/BFb0031845"},{"key":"3_CR13","unstructured":"Panagiotidi, S., V\u00e1zquez-Salceda, J.: Normative Planning: Semantics and Implementation. In: 13th International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN@WI-IAT), Lyon, France (2011)"}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, and Norms in Agent Systems VIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37756-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,12]],"date-time":"2019-07-12T12:49:31Z","timestamp":1562935771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37756-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642377556","9783642377563"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37756-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}