{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:56Z","timestamp":1725558956779},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642141829"},{"type":"electronic","value":"9783642141836"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14183-6_19","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T07:04:12Z","timestamp":1278313452000},"page":"259-273","source":"Crossref","is-referenced-by-count":0,"title":["Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents"],"prefix":"10.1007","author":[{"given":"Robert","family":"Demolombe","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Aqvist, L.: Old foundations for the logic of agency and action. Studia Logica\u00a072 (2002)","DOI":"10.1023\/A:1021871106406"},{"issue":"4","key":"19_CR2","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s10992-007-9078-7","volume":"37","author":"P. Balbiani","year":"2008","unstructured":"Balbiani, P., Herzig, A., Troquard, N.: Alternative axiomatics and complexity of deliberative stit theories. Journal of Philosophical Logic\u00a037(4), 387\u2013406 (2008)","journal-title":"Journal of Philosophical Logic"},{"key":"19_CR3","first-page":"129","volume":"48","author":"J. Carmo","year":"2001","unstructured":"Carmo, J., Pacheco, O.: Deontic and action logics for organized collective agency, modeled through institutionalized agents and roles. Fundamenta Informaticae\u00a048, 129\u2013163 (2001)","journal-title":"Fundamenta Informaticae"},{"key":"19_CR4","volume-title":"Modal Logic: An introduction","author":"B.F. Chellas","year":"1988","unstructured":"Chellas, B.F.: Modal Logic: An introduction. Cambridge University Press, Cambridge (1988)"},{"key":"19_CR5","unstructured":"Cuppens, F.: Roles and Deontic Logic. In: Jones, A.J.I., Sergot, M. (eds.) Second International Workshop on Deontic Logic in Computer Science, Oslo, Norway (1994)"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Dastani, M., Dignum, V., Dignum, F.: Role-assignement in open agent societies. In: Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (2003)","DOI":"10.1145\/860575.860654"},{"key":"19_CR7","volume-title":"Companion to Philosophical Logic","author":"R. Demolombe","year":"2002","unstructured":"Demolombe, R., Jones, A.J.: Actions and normative positions. A modal-logical approach. In: Jacquette, D. (ed.) Companion to Philosophical Logic. Blackwell, Malden (2002)"},{"key":"19_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/11875604_58","volume-title":"Foundations of Intelligent Systems","author":"R. Demolombe","year":"2006","unstructured":"Demolombe, R., Louis, V.: Norms, institutional power and roles: toward a logical framework. In: Esposito, F., Ra\u015b, Z.W., Malerba, D., Semeraro, G. (eds.) ISMIS 2006. LNCS (LNAI), vol.\u00a04203, pp. 514\u2013523. Springer, Heidelberg (2006)"},{"key":"19_CR9","unstructured":"Esteva, M., Rodr\u00edguez-Aguilar, J., Lluis Arcos, J., Sierra, C., Noriega, P., Rosell, B.: Electronic Institutions Development Environment. In: Proceedings of the 7th international joint conference on Autonomous Agents and Multiagent Systems, AAMAS \u201908 (2008)"},{"key":"19_CR10","series-title":"Lecture Notes in Artificial Intelligence","first-page":"1","volume-title":"Agent Communication","author":"N. Fornara","year":"2005","unstructured":"Fornara, N., Vigan\u00f2, F., Colombetti, M.: Agent communication and institutional reality. In: van Eijk, R., Huget, M., Dignum, F. (eds.) AC 2004. LNCS (LNAI), vol.\u00a03396, pp. 1\u201317. Springer, Heidelberg (2005)"},{"key":"19_CR11","volume-title":"Frontieres in Artificial Intelligence and Applications","author":"J. Gelati","year":"2002","unstructured":"Gelati, J., Governatori, G., Rotolo, A., Sartor, G.: Declarative power, representation, and mandate: A formal anaysis. In: Bench-Capon, T., Daskalopulu, A., Winkels, R. (eds.) Frontieres in Artificial Intelligence and Applications, vol.\u00a089. IOS Press, Amsterdam (2002)"},{"key":"19_CR12","volume-title":"Procedings of the 8th International Conference on Artificial Intelligence and Law","author":"G. Governatori","year":"2001","unstructured":"Governatori, G., Dumas, M., ter Hofstede, A.H.M., Oaks, P.: A formal approach to protocols and strategies for (legal) negotiation. In: Prakken, H. (ed.) Procedings of the 8th International Conference on Artificial Intelligence and Law. ACM Press, New York (2001)"},{"key":"19_CR13","unstructured":"Grossi, D.: Desigining Invisible Hancuffs. Formal Investigations in Institutions and Organizations for Multi-Agent Systems. PhD thesis, Utrecht University (2007)"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Grossi, D., Meyer, J.-J.C., Dignum, F.: The Many Faces of Counts-as: A Formal Analysis of Constitutive Rules. Journal of Applied Logic\u00a06 (2008)","DOI":"10.1016\/j.jal.2007.06.008"},{"key":"19_CR15","volume-title":"Logic, Action and Cognition: Essays in Philosophical Logic","author":"R. Hilpinen","year":"1997","unstructured":"Hilpinen, R.: On Action and Agency. In: Ejerhed, E., Lindstrom, S. (eds.) Logic, Action and Cognition: Essays in Philosophical Logic. Kluwer, Dordrecht (1997)"},{"key":"19_CR16","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, 583\u2013644 (1995)","journal-title":"Journal of Philosophical Logic"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Jones, A.J., Sergot, M.: A formal characterisation of institutionalised power. Journal of the Interest Group in Pure and Applied Logics\u00a04(3) (1996)","DOI":"10.1093\/jigpal\/4.3.427"},{"key":"19_CR18","first-page":"36","volume-title":"Deontic logic","author":"S. Kanger","year":"1983","unstructured":"Kanger, S.: New foundations of ethical theory. In: Hilpinen, R. (ed.) Deontic logic, pp. 36\u201358. D. Reidel Publishing Company, Dordrecht (1983)"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Lorini, E., Longin, D., Gaudou, B., Herzig, A.: The Logic of acceptance: grounding institutions on agents attitudes. Journal of Logic and Computation\u00a019(6) (2009)","DOI":"10.1093\/logcom\/exn103"},{"key":"19_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/978-3-540-25927-5_14","volume-title":"Deontic Logic in Computer Science","author":"O. Pacheco","year":"2004","unstructured":"Pacheco, O., Santos, F.: Delegation in a role-based organization. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol.\u00a03065, pp. 209\u2013227. Springer, Heidelberg (2004)"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"P\u00f6rn, I.: Action Theory and Social Science. Some Formal Models. Synthese Library, 120 (1977)","DOI":"10.1007\/978-94-010-1268-3"},{"key":"19_CR22","volume-title":"Proc. 2nd Int. Conf. on Knowledge Representation and Reasoning","author":"A.S. Rao","year":"1991","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling Rational Agents within a BDI Architecture. In: Proc. 2nd Int. Conf. on Knowledge Representation and Reasoning. Morgan Kaufmann, San Francisco (1991)"},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Santos, F., Pacheco, O.: Specifying and reasoning with institutional agents. In: Proceedings of ICAIL (2003)","DOI":"10.1145\/1047788.1047827"},{"key":"19_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-540-87654-0_4","volume-title":"Engineering Societies in the Agents World VIII","author":"M. Sardis","year":"2008","unstructured":"Sardis, M., Vouros, G.A.: Electronic institutions infrastructure for e-chartering. In: Artikis, A., O\u2019Hare, G.M.P., Stathis, K., Vouros, G.A. (eds.) ESAW 2007. LNCS (LNAI), vol.\u00a04995, pp. 90\u2013107. Springer, Heidelberg (2008)"},{"key":"19_CR25","volume-title":"Legal Reasoning: A Cognitive Approach to the Law","author":"G. Sartor","year":"2005","unstructured":"Sartor, G.: Legal Reasoning: A Cognitive Approach to the Law. Springer, Berlin (2005)"},{"key":"19_CR26","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173438","volume-title":"Speech Acts: An essay in the philosophy of language","author":"J.R. Searle","year":"1969","unstructured":"Searle, J.R.: Speech Acts: An essay in the philosophy of language. Cambridge University Press, New-York (1969)"},{"key":"19_CR27","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/BF00262940","volume":"18","author":"K. Segerberg","year":"1989","unstructured":"Segerberg, K.: Bringing it about. Journal of Philosophical Logic\u00a018, 327\u2013347 (1989)","journal-title":"Journal of Philosophical Logic"},{"key":"19_CR28","volume-title":"Advances in Modal Logic","author":"K. Segerberg","year":"2002","unstructured":"Segerberg, K.: Outline of a logic of action. In: Wolter, F., Wansing, H., de Rijke, W., Zakharyaschev, M. (eds.) Advances in Modal Logic, vol.\u00a03. World Scientific Publishing Co., Singapore (2002)"},{"key":"19_CR29","unstructured":"von Wright, G.H.: Norm and Action. Routledge and Kegan (1963)"},{"key":"19_CR30","volume-title":"Proceedings of the Third International Conference on Autonomous Agents and Multi-Agent Systems","author":"F. Lopez y Lopez","year":"2004","unstructured":"Lopez y Lopez, F., Luck, M., d\u2019Inverno, M.: Normative agent reasoning in dynamic societies. In: Proceedings of the Third International Conference on Autonomous Agents and Multi-Agent Systems, IEEE Computer Society, Los Alamitos (2004)"}],"container-title":["Lecture Notes in Computer Science","Deontic Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14183-6_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:48:47Z","timestamp":1606168127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14183-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141829","9783642141836"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14183-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}