A protocol for resource sharing in norm-governed ad hoc networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3476 LNAI, Issue , 2005, Pages 221-238

  Artikis, Alexander ^a   Kamara, Lloyd ^a   Pitt, Jeremy ^a   Sergot, Marek ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; MULTI AGENT SYSTEMS;

AD HOC NETWORKS; COMPUTATIONAL SYSTEMS; OPEN AGENT SOCIETIES;

NETWORK PROTOCOLS;

EID: 26844542960     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11493402_13     Document Type: Conference Paper

References (28)

1. A. Artikis. Executable Specification of Open Norm-Governed Computational Systems. PhD thesis, University of London, November 2003. Retrieved April 8, 2004, from http://www.doc.ic.ac.uk/~aartikis/publications/artikis-phd.pdf, also available from the author.
2. A. Artikis, J. Pitt, and M. Sergot. Animated specifications of computational societies. In Proceedings of Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pages 1053-1062. ACM Press, 2002.
3. A. Artikis, M. Sergot, and J. Pitt. An executable specification of an argumentation protocol. In Proceedings of International Conference on Artificial Intelligence and Law (ICAIL), pages 1-11. ACM Press, 2003.
4. K. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293-322. Plenum Press, 1978.
5. H.-P. Dommel and J. J. Garcia-Luna-Aceves. Design issues for floor control protocols. In Proceedings of Symposium on Electronic Imaging: Multimedia and Networking, volume 2417, pages 305-316. IS&T/SPIE, 1995.
6. H.-P. Dommel and J. J. Garcia-Luna-Aceves. Floor control for multimedia conferencing and collaboration. Multimedia Systems, 5(1):23-38, 1997.
7. H.-P. Dommel and J. J. Garcia-Luna-Aceves. Efficacy of floor control protocols in distributed multimedia collaboration. Cluster Computing Journal, Special issue on Multimedia Collaborative Environments, 2(1):17-33, 1999.
8. M. Esteva, J. Rodriguez-Aguilar, C. Sierra, P. Garcia, and J. Arcos. On the formal specifications of electronic institutions. In F. Dignum and C. Sierra, editors, Agent Mediated Electronic Commerce, LNAI 1991, pages 126-147. Springer, 2001.
9. E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain, and H. Turner. Nonmonotonic causal theories. Artificial Intelligence, 153(1-2)-.49-104, 2004.
10. A. Jones and M. Sergot. On the characterisation of law and computer systems: the normative systems perspective. In Deontic Logic in Computer Science: Normative System Specification, pages 275-307. J. Wiley and Sons, 1993.
11. A. Jones and M. Sergot. A formal characterisation of institutionalised power. Journal of the IGPL, 4(3):429-445, 1996.
12. M. Klein, J. Rodriguez-Aguilar, and C. Dellarocas. 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, 7(1-2):179-189, 2003.
13. R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67-96, 1986.
14. A. Lomuscio and M. Sergot. A formulation of violation, error recovery, and enforcement in the bit transmission problem. Journal of Applied Logic, 2:93-116, 2004.
15. D. Makinson. On the formal representation of rights relations. Journal of Philosophical Logic, 15:403-425, 1986.
16. N. Minsky and V. Ungureanu. Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Transactions on Software Engineering and Methodology (TOSEM), 9(3):273-305, 2000.
17. A. Murphy, G.-C. Roman, and G. Varghese. An exercise in formal reasoning about mobile communications. In Proceedings of Workshop on Software Specification and Design, pages 25-33. IEEE Computer Society, 1998.
18. C. Perkins. Ad Hoc Networking, chapter 1. Addison Wesley Professional, 2001.
19. H. Prakken. Formalising Robert's rules of order. Technical Report 12, GMD - German National Research Center for Information Technology, 1998.
20. H. Robert. Robert's Rules of Order: The Standard Guide to Parliamentary Procedure. Bantam Books, 1986.
21. J. Rodriguez-Aguilar, F. Martin, P. Noriega, P. Garcia, and C. Sierra, Towards a test-bed for trading agents in electronic auction markets, AI Communications, 11(1):5-19, 1998.
22. B. Sadighi and M. Sergot. Contractual access control. In Proceedings of Workshop on Security Protocols, 2002.
23. H. Schulzrinne, Requirements for floor control protocol. Internet Engineering Task Force, January 2004. Retrieved April 8, 2004, from http://www.ietf.org/internet-drafts/draft-ietf-xcon-floor-control-req-00.txt.
24. J. Searle. What is a speech act? In A. Martinich, editor, Philosophy of Language, pages 130-140. Oxford University Press, third edition, 1996.
25. M. Sergot. 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-Verlag, 2004.
26. M. Singh. A social semantics for agent communication languages. In F. Dignum and M. Greaves, editors, Issues in Agent Communication, LNCS 1916, pages 31-45. Springer, 2000.
27. W. Vasconcelos. Norm verification and analysis of electronic institutions. In J. Leite, A. Omicini, P. Torroni, and P. Yolum, editors, This Volume. 2005.
28. M. Winikoff, W. Liu, and J. Harland. Enhancing commitment machines. In J. Leite, A. Omicini, P. Torroni, and P. Yolum, editors, This Volume. 2005.