{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:54Z","timestamp":1725562614560},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221111"},{"type":"electronic","value":"9783540259275"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25927-5_16","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T21:21:05Z","timestamp":1281302465000},"page":"243-257","source":"Crossref","is-referenced-by-count":8,"title":["Specifying Multiagent Organizations"],"prefix":"10.1007","author":[{"given":"Leendert","family":"van der Torre","sequence":"first","affiliation":[]},{"given":"Joris","family":"Hulstijn","sequence":"additional","affiliation":[]},{"given":"Mehdi","family":"Dastani","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Broersen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Deontic Logic in Computer Science: Normative System Specification","author":"J. Meyer","year":"1993","unstructured":"Meyer, J., Wieringa, R.: Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons, Chichester (1993)"},{"key":"16_CR2","first-page":"17","volume-title":"Deontic Logic in Computer Science","author":"R. Wieringa","year":"1993","unstructured":"Wieringa, R., Meyer, J.: Applications of deontic logic in computer science: A concise overview. In: Deontic Logic in Computer Science, pp. 17\u201340. John Wiley & Sons, Chichester (1993)"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1023\/A:1010076027707","volume":"3","author":"K. Schild","year":"2000","unstructured":"Schild, K.: On the relationship between BDI-logics and standard logics of concurrency. Autonomous agents and multi-agent systems\u00a03, 259\u2013283 (2000)","journal-title":"Autonomous agents and multi-agent systems"},{"key":"16_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/3-540-36078-6_8","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M. Dastani","year":"2002","unstructured":"Dastani, M., van der Torre, L.: An extension of BDICTL with functional dependencies and components. In: Baaz, M., Voronkov, A. (eds.) LPAR 2002. LNCS (LNAI), vol.\u00a02514, pp. 115\u2013129. Springer, Heidelberg (2002)"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"824","DOI":"10.1007\/3-540-36087-5_95","volume-title":"EurAsia-ICT 2002: Information and Communication Technology","author":"M. Dastani","year":"2002","unstructured":"Dastani, M., van der Torre, L.: Specifying the merging of desires into goals in the context of beliefs. In: Shafazand, H., Tjoa, A.M. (eds.) EurAsia-ICT 2002. LNCS, vol.\u00a02510, pp. 824\u2013831. Springer, Heidelberg (2002)"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","volume":"8","author":"A.S. Rao","year":"1998","unstructured":"Rao, A.S., Georgeff, M.P.: Decision procedures for BDI logics. Journal of Logic and Computation\u00a08, 293\u2013343 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Herrestad, H., Krogh, C.: Obligations directed from bearers to counterparties. In: Procs of ICAIL 1995, New York, pp. 210\u2013218 (1995)","DOI":"10.1145\/222092.222243"},{"issue":"1","key":"16_CR8","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1023\/A:1008315530323","volume":"7","author":"F. Dignum","year":"1999","unstructured":"Dignum, F.: Autonomous agents with norms. Artificial Intelligence and Law\u00a07(1), 69\u201379 (1999)","journal-title":"Artificial Intelligence and Law"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1008319631231","volume":"7","author":"M.P. Singh","year":"1999","unstructured":"Singh, M.P.: An ontology for commitments in multiagent systems: toward a unification of normative concepts. Artificial Intelligence and Law\u00a07, 97\u2013113 (1999)","journal-title":"Artificial Intelligence and Law"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1007\/3-540-36087-5_79","volume-title":"EurAsia-ICT 2002: Information and Communication Technology","author":"J. Broersen","year":"2002","unstructured":"Broersen, J., Dastani, M., Huang, Z., van der Torre, L.: Trust and commitment in dynamic logic. In: Shafazand, H., Tjoa, A.M. (eds.) EurAsia-ICT 2002. LNCS, vol.\u00a02510, pp. 677\u2013684. Springer, Heidelberg (2002)"},{"key":"16_CR11","unstructured":"Tan, Y., Thoen, W.: Modeling directed obligations and permissions in trade contracts. In: Procs of HICCS 1998, pp. 166\u2013175 (1998)"},{"key":"16_CR12","first-page":"128","volume-title":"Procs. of ICMAS 1998","author":"J. Ferber","year":"1998","unstructured":"Ferber, J., Gutknecht, O.: A meta-model for the analysis and design of organizations in multiagent systems. In: Procs. of ICMAS 1998, pp. 128\u2013135. IEEE Press, Los Alamitos (1998)"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1023\/A:1021884118023","volume":"6","author":"J. Carmo","year":"2003","unstructured":"Carmo, J., Pacheco, O.: A role based model for the normative specificatiuon of organized collective agency and agents interaction. Autonomous Agents and Multi-Agent Systems\u00a06, 145\u2013184 (2003)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M., Jennings, N., Kinny, D.: The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems\u00a03, 285\u2013312 (2000)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1145\/860575.860654","volume-title":"Procs. of AAMAS 2003","author":"M. Dastani","year":"2003","unstructured":"Dastani, M., Dignum, V., Dignum, F.: Role assignment in open agent societies. In: Procs. of AAMAS 2003, pp. 489\u2013496. ACM, New York (2003)"},{"key":"16_CR16","unstructured":"Arbab, F., de Boer, F., Bonsangue, M., Scholten, J.G.: A channel-based coordination model for components. Technical Report SEN-R0127, CWI, Amsterdam (2001)"},{"key":"16_CR17","unstructured":"Firozabadi, B.S., van der Torre, L.: Towards an analysis of control systems. In: Procs. of ECAI 1998, pp. 317\u2013318 (1998)"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0004-3702(98)00056-3","volume":"103","author":"C. Castelfranchi","year":"1998","unstructured":"Castelfranchi, C.: Modelling social actions for AI agents. Artificial Intelligence\u00a0103, 157\u2013182 (1998)","journal-title":"Artificial Intelligence"},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G.v. Wright","year":"1951","unstructured":"Wright, G.v.: Deontic logic. Mind\u00a060, 1\u201315 (1951)","journal-title":"Mind"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Firozabadi, B.S., Sergot, M.J.: Revocation schemes for delegated authorities. In: Procs. of POLICY 2002, pp. 210\u2013213 (2002)","DOI":"10.1109\/POLICY.2002.1011310"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Bandmann, O., Firozabadi, B.S., Dam, M.: Constrained delegation. In: Procs. of IEEE Symposium on Security and Privacy 2002, pp. 131\u2013140 (2002)","DOI":"10.1109\/SECPRI.2002.1004367"},{"key":"16_CR22","volume-title":"The Construction of Social Reality","author":"J. Searle","year":"1995","unstructured":"Searle, J.: The Construction of Social Reality. The Free Press, New York (1995)"},{"key":"16_CR23","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1093\/jigpal\/4.3.427","volume":"3","author":"A. Jones","year":"1996","unstructured":"Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Journal of IGPL\u00a03, 427\u2013443 (1996)","journal-title":"Journal of IGPL"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L.: Regulative and constitutive norms in normative multiagent systems. In: Procs. KR 2004, Whistler, CA (2004)","DOI":"10.1145\/1165485.1165526"},{"key":"16_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-25927-5_5","volume-title":"Deontic Logic in Computer Science","author":"J. Broersen","year":"2004","unstructured":"Broersen, J., Dignum, F., Dignum, V., Meyer, J.J.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol.\u00a03065, pp. 43\u201356. Springer, Heidelberg (2004)"},{"key":"16_CR26","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P. Cohen","year":"1990","unstructured":"Cohen, P., Levesque, H.: Intention is choice with commitment. Artificial Intelligence\u00a042, 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"16_CR27","first-page":"473","volume-title":"Procs. of KR 1991","author":"A. Rao","year":"1991","unstructured":"Rao, A., Georgeff, M.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Procs. of KR 1991, pp. 473\u2013484. Morgan Kaufmann Publishers, San Francisco (1991)"},{"key":"16_CR28","unstructured":"Rao, A.S., Georgeff, M.P.: Deliberation and its role in the formation of intentions. In: Procs. of UAI 1991 (1991)"},{"key":"16_CR29","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0004-3702(99)00005-3","volume":"108","author":"T. Eiter","year":"1999","unstructured":"Eiter, T., Subrahmanian, V.S., Heterogeneous, G.P.: active agents, I: Semantics. Artificial Intelligence\u00a0108, 179\u2013255 (1999)","journal-title":"Artificial Intelligence"},{"key":"16_CR30","unstructured":"Broersen, J., Dastani, M., van der Torre, L.: BDIO CTL: Properties of obligation in agent specification languages. In: Procs. of IJCAI 2003, pp. 1389\u20131390 (2003)"}],"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-540-25927-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T17:50:44Z","timestamp":1685728244000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25927-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221111","9783540259275"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25927-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}