{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:10:32Z","timestamp":1743023432647,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642287619"},{"type":"electronic","value":"9783642287626"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28762-6_24","type":"book-chapter","created":{"date-parts":[[2012,3,8]],"date-time":"2012-03-08T11:50:52Z","timestamp":1331207452000},"page":"197-206","source":"Crossref","is-referenced-by-count":1,"title":["Contextual Norm-Based Plan Evaluation via Answer Set Programming"],"prefix":"10.1007","author":[{"given":"Sofia","family":"Panagiotidi","sequence":"first","affiliation":[]},{"given":"Javier","family":"V\u00e1zquez-Salceda","sequence":"additional","affiliation":[]},{"given":"Wamberto","family":"Vasconcelos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","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.\u00a06541, pp. 321\u2013336. Springer, Heidelberg (2011)"},{"key":"24_CR2","volume-title":"From Logic Programming to Prolog","author":"K.R. Apt","year":"1997","unstructured":"Apt, K.R.: From Logic Programming to Prolog. Prentice-Hall, U.K (1997)"},{"issue":"13","key":"24_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":"24_CR4","doi-asserted-by":"crossref","unstructured":"Cliffe, O., Vos, M.D., Padget, J.: pecifying and analysing agent-based social institutions using answer set programming, pp. 99\u2013113 (2006) ISBN: 3-540-35173-6","DOI":"10.1007\/11775331_7"},{"key":"24_CR5","volume-title":"A Programming Language for Normative Multi-Agent Systems","author":"M. Dastani","year":"2009","unstructured":"Dastani, M., Tinnemeier, N.A., Meyer, J.J.: A Programming Language for Normative Multi-Agent Systems. Information Science Reference, Hershey (2009)"},{"key":"24_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0357-2","volume-title":"First-Order Logic and Automated Theorem Proving","author":"M. Fitting","year":"1990","unstructured":"Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer, New York (1990)"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Ilghami, O., Nau, D.S.: A general approach to synthesize problem-specific planners (2003)","DOI":"10.21236\/ADA455023"},{"key":"24_CR8","unstructured":"Kollingbaum, M.J.: Norm-governed practical reasoning agents. Univ. of Aberdeen (2005)"},{"key":"24_CR9","unstructured":"Okouya, D., Dignum, V.: Operetta: a prototype tool for the design, analysis and development of multi-agent organizations. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems: Demo Papers, pp. 1677\u20131678 (2008)"},{"key":"24_CR10","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.\u00a05428, pp. 156\u2013171. Springer, Heidelberg (2009)"},{"key":"24_CR11","unstructured":"Panagiotidi, S., Nieves, J.C., Vazquez-Salceda, J.: A Framework to Model Norm Dynamics in Answer Set Programming. In: Proceedings of FAMAS 2009, vol.\u00a0494 (2009)"}],"container-title":["Advances in Intelligent and Soft Computing","Highlights on Practical Applications of Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28762-6_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T00:59:36Z","timestamp":1674867576000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-28762-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642287619","9783642287626"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28762-6_24","relation":{},"ISSN":["1867-5662","1867-5670"],"issn-type":[{"type":"print","value":"1867-5662"},{"type":"electronic","value":"1867-5670"}],"subject":[],"published":{"date-parts":[[2012]]}}}