{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T05:31:27Z","timestamp":1738387887656,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876533"},{"type":"electronic","value":"9783540876540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87654-0_1","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T06:11:01Z","timestamp":1221891061000},"page":"1-54","source":"Crossref","is-referenced-by-count":15,"title":["Action and Agency in Norm-Governed Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Marek","family":"Sergot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"1_CR1","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/j.jal.2007.06.007","volume":"6","author":"R. Craven","year":"2008","unstructured":"Craven, R., Sergot, M.: Agent strands in the action language nC+. Journal of Applied Logic\u00a06(2), 172\u2013191 (2008)","journal-title":"Journal of Applied Logic"},{"key":"1_CR2","volume-title":"Synthese Library, Number 120","author":"I. P\u00f6rn","year":"1977","unstructured":"P\u00f6rn, I.: Action Theory and Social Science: Some Formal Models. In: Synthese Library, Number 120. D. Reidel, Dordrecht (1977)"},{"key":"1_CR3","unstructured":"Sergot, M.: The logic of unwitting collective agency. Technical Report 2008\/6, Department of Computing, Imperial College London (2008)"},{"issue":"1\u20132","key":"1_CR4","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E. Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence\u00a0153(1\u20132), 49\u2013104 (2004)","journal-title":"Artificial Intelligence"},{"key":"1_CR5","unstructured":"Sergot, M.: (C+)++: An action language for modelling norms and institutions. Technical Report 2004\/8, Department of Computing, Imperial College London (2004)"},{"key":"1_CR6","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. Sergot","year":"2006","unstructured":"Sergot, M., Craven, R.: The deontic component of action language nC+. In: Goble, L., Meyer, J.J.C. (eds.) DEON 2006. LNCS (LNAI), vol.\u00a04048, pp. 222\u2013237. Springer, Heidelberg (2006)"},{"issue":"1","key":"1_CR7","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1093\/jigpal\/4.1.47","volume":"4","author":"G. Gro\u00dfe","year":"1996","unstructured":"Gro\u00dfe, G., Khalil, H.: State Event Logic. Journal of the IGPL\u00a04(1), 47\u201374 (1996)","journal-title":"Journal of the IGPL"},{"issue":"5","key":"1_CR8","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1093\/logcom\/9.5.601","volume":"9","author":"Y. Venema","year":"1999","unstructured":"Venema, Y.: Points, lines and diamonds: a two-sorted modal logic for projective planes. Journal of Logic and Computation\u00a09(5), 601\u2013621 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1145\/1160633.1160663","volume-title":"Proceedings of the Fifth International Joint Conference on Autonomous agents and Multiagent Systems: AAMAS 2006","author":"L. Sauro","year":"2006","unstructured":"Sauro, L., Gerbrandy, J., van der Hoek, W., Wooldridge, M.: Reasoning about action and cooperation. In: Proceedings of the Fifth International Joint Conference on Autonomous agents and Multiagent Systems: AAMAS 2006, pp. 185\u2013192. ACM, New York (2006)"},{"key":"1_CR10","volume-title":"Norm and Action\u2014A Logical Enquiry","author":"G.H. Wright von","year":"1963","unstructured":"von Wright, G.H.: Norm and Action\u2014A Logical Enquiry. Routledge and Kegan Paul, London (1963)"},{"key":"1_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic\u2014An Introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic\u2014An Introduction. Cambridge University Press, Cambridge (1980)"},{"key":"1_CR12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"issue":"1","key":"1_CR13","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BF00370673","volume":"57","author":"J. Carmo","year":"1996","unstructured":"Carmo, J., Jones, A.J.I.: Deontic database constraints, violation and recovery. Studia Logica\u00a057(1), 139\u2013165 (1996)","journal-title":"Studia Logica"},{"issue":"3","key":"1_CR14","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1093\/logcom\/6.3.465","volume":"6","author":"R. Meyden","year":"1996","unstructured":"Meyden, R.: The dynamic logic of permission. Journal of Logic and Computation\u00a06(3), 465\u2013479 (1996)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"1_CR15","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J.J.C. Meyer","year":"1988","unstructured":"Meyer, J.J.C.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic\u00a029(1), 109\u2013136 (1988)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"1_CR16","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1026176900459","volume":"75","author":"A. Lomuscio","year":"2003","unstructured":"Lomuscio, A., Sergot, M.J.: Deontic interpreted systems. Studia Logica\u00a075(1), 63\u201392 (2003)","journal-title":"Studia Logica"},{"key":"1_CR17","first-page":"1175","volume-title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007)","author":"T. \u00c5gotnes","year":"2007","unstructured":"\u00c5gotnes, T., van der Hoek, W., Rodriguez-Aguilar, J.A., Sierra, C., Wooldridge, M.: On the logic of normative systems. In: Veloso, M.M. (ed.) Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 1175\u20131180. AAAI Press, Menlo Park (2007)"},{"key":"1_CR18","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1111\/j.1755-2567.1988.tb00717.x","volume":"54","author":"N. Belnap","year":"1988","unstructured":"Belnap, N., Perloff, M.: Seeing to it that: a canonical form for agentives. Theoria\u00a054, 175\u2013199 (1988)","journal-title":"Theoria"},{"issue":"6","key":"1_CR20","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/BF01306968","volume":"24","author":"J.F. Horty","year":"1995","unstructured":"Horty, J.F., Belnap, N.: The deliberative stit: a study of action, omission, ability, and obligation. Journal of Philosophical Logic\u00a024(6), 583\u2013644 (1995)","journal-title":"Journal of Philosophical Logic"},{"key":"1_CR21","doi-asserted-by":"crossref","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and Deontic Logic","author":"J.F. Horty","year":"2001","unstructured":"Horty, J.F.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)"},{"issue":"3\u20134","key":"1_CR22","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/BF01028968","volume":"51","author":"K. Segerberg","year":"1992","unstructured":"Segerberg, K.: Getting started: Beginnings in the logic of action. Studia Logica\u00a051(3\u20134), 347\u2013378 (1992)","journal-title":"Studia Logica"},{"key":"1_CR23","series-title":"Trends in Logic, Studia Logica Library","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-94-011-5524-3_1","volume-title":"Logic, Action and Cognition\u2014Essays in Philosophical Logic","author":"R. Hilpinen","year":"1997","unstructured":"Hilpinen, R.: On action and agency. In: Ejerhed, E., Lindstr\u00f6m, S. (eds.) Logic, Action and Cognition\u2014Essays in Philosophical Logic. Trends in Logic, Studia Logica Library, vol.\u00a02, pp. 3\u201327. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"1_CR24","volume-title":"The Logical Form of Imperatives","author":"B.F. Chellas","year":"1969","unstructured":"Chellas, B.F.: The Logical Form of Imperatives. Dissertation, Stanford University (1969)"},{"key":"1_CR25","unstructured":"von Wright, G.H.: An essay in deontic logic and the general theory of action. Number 21 in Acta Philosophica Fennica (1968)"},{"key":"1_CR26","volume-title":"Practical Reason","author":"G.H. Wright von","year":"1983","unstructured":"von Wright, G.H.: Practical Reason. Blackwell, Oxford (1983)"}],"container-title":["Lecture Notes in Computer Science","Engineering Societies in the Agents World VIII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87654-0_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T00:47:08Z","timestamp":1738370828000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87654-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540876533","9783540876540"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87654-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}