{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T09:37:33Z","timestamp":1768556253078,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540261728","type":"print"},{"value":"9783540319276","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11493402_13","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T01:52:26Z","timestamp":1278985946000},"page":"221-238","source":"Crossref","is-referenced-by-count":26,"title":["A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Artikis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lloyd","family":"Kamara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Pitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek","family":"Sergot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Artikis, A.: Executable Specification of Open Norm-Governed Computational Systems. PhD thesis, University of London (November 2003), http:\/\/www.doc.ic.ac.uk\/~aartikis\/publications\/artikis-phd.pdf , also available from the author (Retrieved April 8, 2004)"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/545056.545070","volume-title":"Proceedings of Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)","author":"A. Artikis","year":"2002","unstructured":"Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In: Proceedings of Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 1053\u20131062. ACM Press, New York (2002)"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1047788.1047790","volume-title":"Proceedings of International Conference on Artificial Intelligence and Law (ICAIL)","author":"A. Artikis","year":"2003","unstructured":"Artikis, A., Sergot, M., Pitt, J.: An executable specification of an argumentation protocol. In: Proceedings of International Conference on Artificial Intelligence and Law (ICAIL), pp. 1\u201311. ACM Press, New York (2003)"},{"key":"13_CR4","first-page":"293","volume-title":"Logic and Databases","author":"K. Clark","year":"1978","unstructured":"Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293\u2013322. Plenum Press, New York (1978)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Dommel, H.-P., Garcia-Luna-Aceves, J.J.: Design issues for floor control protocols. In: Proceedings of Symposium on Electronic Imaging: Multimedia and Networking, vol.\u00a02417, pp. 305\u2013316. IS&T\/SPIE (1995)","DOI":"10.1117\/12.206056"},{"issue":"1","key":"13_CR6","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/s005300050040","volume":"5","author":"H.-P. Dommel","year":"1997","unstructured":"Dommel, H.-P., Garcia-Luna-Aceves, J.J.: Floor control for multimedia conferencing and collaboration. Multimedia Systems\u00a05(1), 23\u201338 (1997)","journal-title":"Multimedia Systems"},{"issue":"1","key":"13_CR7","first-page":"17","volume":"2","author":"H.-P. Dommel","year":"1999","unstructured":"Dommel, H.-P., Garcia-Luna-Aceves, J.J.: Efficacy of floor control protocols in distributed multimedia collaboration. Cluster Computing Journal, Special issue on Multimedia Collaborative Environments\u00a02(1), 17\u201333 (1999)","journal-title":"Cluster Computing Journal, Special issue on Multimedia Collaborative Environments"},{"key":"13_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-44682-6_8","volume-title":"Agent Mediated Electronic Commerce","author":"M. Esteva","year":"2001","unstructured":"Esteva, M., Rodriguez-Aguilar, J., Sierra, C., Garcia, P., Arcos, J.: On the formal specifications of electronic institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol.\u00a01991, pp. 126\u2013147. Springer, Heidelberg (2001)"},{"issue":"1\u20132","key":"13_CR9","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":"13_CR10","first-page":"275","volume-title":"Deontic Logic in Computer Science: Normative System Specification","author":"A. Jones","year":"1993","unstructured":"Jones, A., Sergot, M.: On the characterisation of law and computer systems: the normative systems perspective. In: Deontic Logic in Computer Science: Normative System Specification, pp. 275\u2013307. J. Wiley and Sons, Chichester (1993)"},{"issue":"3","key":"13_CR11","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1093\/jigpal\/4.3.427","volume":"4","author":"A. Jones","year":"1996","unstructured":"Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Journal of the IGPL\u00a04(3), 429\u2013445 (1996)","journal-title":"Journal of the IGPL"},{"issue":"1\u20132","key":"13_CR12","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1023\/A:1024145408578","volume":"7","author":"M. Klein","year":"2003","unstructured":"Klein, M., Rodriguez-Aguilar, J., Dellarocas, C.: Using domain-independent exception handling services to enable robust open multi-agent systems: the case of agent death. Journal of Autonomous Agents and Munti-Agent Systems\u00a07(1\u20132), 179\u2013189 (2003)","journal-title":"Journal of Autonomous Agents and Munti-Agent Systems"},{"issue":"1","key":"13_CR13","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing\u00a04(1), 67\u201396 (1986)","journal-title":"New Generation Computing"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.jal.2004.01.005","volume":"2","author":"A. Lomuscio","year":"2004","unstructured":"Lomuscio, A., Sergot, M.: A formulation of violation, error recovery, and enforcement in the bit transmission problem. Journal of Applied Logic\u00a02, 93\u2013116 (2004)","journal-title":"Journal of Applied Logic"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/BF00243391","volume":"15","author":"D. Makinson","year":"1986","unstructured":"Makinson, D.: On the formal representation of rights relations. Journal of Philosophical Logic\u00a015, 403\u2013425 (1986)","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"13_CR16","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/352591.352592","volume":"9","author":"N. Minsky","year":"2000","unstructured":"Minsky, N., Ungureanu, V.: Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a09(3), 273\u2013305 (2000)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/IWSSD.1998.667916","volume-title":"Proceedings of Workshop on Software Specification and Design","author":"A. Murphy","year":"1998","unstructured":"Murphy, A., Roman, G.-C., Varghese, G.: An exercise in formal reasoning about mobile communications. In: Proceedings of Workshop on Software Specification and Design, pp. 25\u201333. IEEE Computer Society, Los Alamitos (1998)"},{"key":"13_CR18","unstructured":"Perkins, C.: Ad Hoc Networking, ch.\u00a01. Addison Wesley Professional, Reading (2001)"},{"key":"13_CR19","unstructured":"Prakken, H.: Formalising Robert\u2019s rules of order. Technical Report\u00a012, GMD \u2013 German National Research Center for Information Technology (1998)"},{"key":"13_CR20","unstructured":"Robert, H.: Robert\u2019s Rules of Order: The Standard Guide to Parliamentary Procedure. Bantam Books (1986)"},{"issue":"1","key":"13_CR21","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0010-4485(79)90003-4","volume":"11","author":"J. Rodriguez-Aguilar","year":"1998","unstructured":"Rodriguez-Aguilar, J., Martin, F., Noriega, P., Garcia, P., Sierra, C.: Towards a test-bed for trading agents in electronic auction markets. AI Communications\u00a011(1), 5\u201319 (1998)","journal-title":"AI Communications"},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-540-39871-4_9","volume-title":"Security Protocols","author":"B. Sadighi","year":"2004","unstructured":"Sadighi, B., Sergot, M.: Contractual access control. In: Christianson, B., Crispo, B., Malcolm, J.A., Roe, M. (eds.) Security Protocols 2002. LNCS, vol.\u00a02845, pp. 96\u2013103. Springer, Heidelberg (2004)"},{"key":"13_CR23","unstructured":"Schulzrinne, H.: Requirements for floor control protocol. Internet Engineering Task Force (January 2004), http:\/\/www.ietf.org\/internet-drafts\/draft-ietf-xcon-floor-control-req-00.txt (Retrieved April 8, 2004)"},{"key":"13_CR24","first-page":"130","volume-title":"Philosophy of Language","author":"J. Searle","year":"1996","unstructured":"Searle, J.: What is a speech act? In: Martinich, A. (ed.) Philosophy of Language, 3rd edn., pp. 130\u2013140. Oxford University Press, Oxford (1996)","edition":"3"},{"key":"13_CR25","unstructured":"Sergot, M.: Modelling unreliable and untrustworthy agent behaviour. In: Proceedings of Workshop on Monitoring, Security, and Rescue Techniques in Multiagent Systems (MSRAS), Advances in Soft Computing. Springer, Heidelberg (2004)"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/10722777_3","volume-title":"Issues in Agent Communication","author":"M. Singh","year":"2000","unstructured":"Singh, M.: A social semantics for agent communication languages. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol.\u00a01916, pp. 31\u201345. Springer, Heidelberg (2000)"},{"key":"13_CR27","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/11493402_10","volume-title":"Declarative Agent Languages and Technologies II","author":"W. Vasconcelos","year":"2005","unstructured":"Vasconcelos, W.: Norm verification and analysis of electronic institutions. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 166\u2013182. Springer, Heidelberg (2005)"},{"key":"13_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/11493402_12","volume-title":"Declarative Agent Languages and Technologies II","author":"M. Winikoff","year":"2005","unstructured":"Winikoff, M., Liu, W., Harland, J.: Enhancing commitment machines. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 198\u2013220. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11493402_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:58:41Z","timestamp":1605643121000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11493402_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261728","9783540319276"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/11493402_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}