University of Southampton

Membership Details (University/College)

Contact: Terry Payne
Member node: 002
Highfield Southampton SO17 1BJ

>>> Include yourself at this organisation
>>> Update your name or personal details listed below
>>> Submit papers, projects etc to the archive
>>> Update Member Description or Contact details


The Intelligence, Multimedia, Agents (IAM) Group at the University of Southampton is a world leader in the area of agent-based computing. We have some 30 people working on various facets of agents: from foundational work in the design of individual agents and their interactions, through the principled analysis and design of agent-based systems, to their deployment in real-world applications.

We view agent based computing as consisting of three main constituent components:

- Agents: encapsulated computer systems that are situated in some environment and are capable of flexible, autonomous action in that environment in order to meet their design objectives.
- Interactions: Such agents invariably need to interact with one another in order to manage their inter-dependencies. These interactions involve agents cooperating, negotiating and coordinating with one another.
- Organisations: Agent interactions take place within some organisational context (eg a marketplace or some other form of electronic institution).

Within this landscape, our particular areas of specialisation focus on:

Models of Interaction

This work involves developing new models and techniques for capturing and specifying the interactions that take place between agents. Particular prominence is given to automated cooperation, coordination and negotiation using techniques such as game theory, argumentation, computational economics, and belief-desire-intention models.

Agent-Oriented Software Engineering

This work aims to provide a principled basis for analysing, designing and building agent-oriented systems. The group has developed a methodology for agent-based analysis and design (called Gaia) and is also involved with specifying and verifying properties both of individual agents and of collections of agents. The group has also developed a framework (SoFAR) for building agent-based systems. [more]

Applications of Agent Technology

This work involves applying agent-based concepts and techniques to real-world applications. In particular the group is concerned with the domains of distributed information management, e-commerce, grid computing, pervasive computing, telecommunications systems and process control.


d'Inverno, M. and Luck, M. and Georgeff, M. and Kinny, D. and Wooldridge, M. (2004) The dMARS Architechure: A Specification of the Distributed Multi-Agent Reasoning System. Autonomous Agents and Multi-Agent Systems, 9 (1-2). pp. 5-53.

Lewis, M. and Sycara, K. and Payne, T. (2003) Agent Roles in Human Teams. Proceedings of AAMAS-03 Workshop on Humans and Multi-Agent Systems.

Dash, R.K. and Parkes, D. and Jennings, N.R. (2003) Computational mechanism design: a call to arms. IEEE Intelligent Systems, 18 (6). pp. 40-47.

Norman, T.J. and Preece, A. and Chalmers, S. and Jennings, N.R. and Luck, M. and Dang, V.D. and Nguyen, T.D. and Deora, V. and Shao, J. and Gray, W.A. and Fiddian, N.J. (2003) Conoise: Agent-based formation of virtual organisations. AI-2003 Special Issue of Knowledge Based Systems.

Luck, M. and d'Inverno, M. (2003) Unifying Agent Systems. Annals of Mathematics and Artificial Intelligence, 37 (1-2). pp. 131-167.

Greenwood, D (2002) Java Agent Services. AgentLink News (10). pp. 7-9.

Munroe, S. and Ashri, R. and Coulter-Smith, E. (2002) Prospects for Agent Technology: Interviews with Industry Experts. AgentLink News (10). pp. 3-6.

Dannegger, C and Kluge, C and Katzenberger, R (2002) Agents in real-world Applications: living markets. AgentLink News (9). pp. 7-10.

Lhuillier, N and Charlton, P (2002) LEAP: When the e-society meets the m-workforce. AgentLink News (9). pp. 5-6.

Payne, T. and Singh, R. and Sycara, K. (2002) Calendar Agents on the Semantic Web. IEEE Intelligent Systems, 17 (3). pp. 84-86.

Willmott, S and Dale, J and Burg, B and Charlton, P and O'Brien, P (2001) Agentcities: A Worldwide Open Agent Network. AgentLink News (8). pp. 13-15.

Ding, Y and Fensel, D (2001) OntoWeb: The Thematic Network for the Semantic Web. AgentLink News (8). pp. 11-12.

Ilube, T (2001) Why Agent Technology is Suited to P2P Environments - the Business Reasons. AgentLink News (8). pp. 3-4.

Poslad, S and Charlton, P and Calisti, M (2001) Protecting What Your Agent Is Doing. AgentLink News (7). pp. 7-11.

Pitt, J. (2001) Let a Million Agents Bloom: Infohabitants and Universal Information EcoSystems. AgentLink News (6). pp. 9-10.

Burg, J. and Dale, J. and Willmott, S. (2001) Open Standards and Open Source for Agent-Based Systems. AgentLink News (6). pp. 2-5.

Osborn, S. (2001) The role of agents in business to business (B2B) electronic commerce. AgentLink News (6). pp. 6-8.

Luck, M. and d'inverno, M. (2001) A Conceptual Framework for Agent Definition and Development. The Computer Journal, 44 (1). pp. 1-20.

Dent, V.F. and Hall, W. and Harris, S. and Hey, J. and Martinez, K. (2001) Agent Technology concepts in a heterogeneous distributed searching environment. VINE, 123. pp. 55-63. ISSN 0305-5728

Jennings, N.R. (2001) Building Complex Software Systems. Comms. of the ACM (Special issue on agents in telecomms), 44 (4). pp. 35-41.

Huber, Marcus J. (2000) JAM: A BDI-Theoretic Mobile Agent Architecture. AgentLink News (5). pp. 2-5.

Nopper, Norbert (2000) living agents runtime system (LARS) - the Agent Platform for Business Applications. AgentLink News (5). pp. 5-8.

J., Kees (2000) Towards an Online Distribution Structure? AgentLink News (5). pp. 8-10.

Ciancarini, P and Omicini, A and Zambonelli, F (1999) Coordination Models for Multi-Agent Systems. AgentLink (3). pp. 3-6.

Schoepke, Steven H. (1999) Facilitating the Deployment of Intelligent Agents in the Application Development Mainstream. AgentLink News (3). pp. 10-12.

Höft,, Michael and Magedanz, Thomas and Quantz, Joachim (1999) Grasshopper - The Agent Platform. AgentLink News (3). pp. 7-9.

Ndumu, D and Collis, J and Owusu, G and Sullivan, M and Lee, L (1999) ZUES: A Toolkit for Building Distributed Multi-Agent Systems. AgentLink News (2). pp. 6-9.

Decker, K. and Fisher, M. and Luck, M. and Tennenholtz, M. (1999) Continuing Research in Multi-Agent Systems. Knowledge Engineering Review, 14 (3). pp. 279-283.

Gallimore, R.J. and Jennings, N.R. and Lamba, H.S. and Mason, C.L. and Orenstein, B.J. (1999) Cooperating Agents for 3D Scientific Data Interpretation. IEEE Trans. on Systems, Man and Cybernetics, Part C, 29 (1). pp. 110-126.

Jennings, N. R. and Sycara, K. and Wooldridge, M. (1998) A Roadmap of Agent Research and Development. Int Journal of Autonomous Agents and Multi-Agent Systems, 1 (1). pp. 7-38.

d'Inverno, M. and Fisher, M. and Lomuscio, A. and Luck, M. and De Rijke, M. and Ryan, M. and Wooldridge, M. (1997) Formalisms for Multi-Agent Systems. The Knowledge Engineering Review, 12 (3).

Varga, L. Z. and Jennings, N. R. and Cockburn, D. (1994) Integrating Intelligent Systems into a Cooperating Community for Electricity Distribution Management. Int Journal of Expert Systems with Applications, 7 (4). pp. 563-579.


Oprean, C. and Moisil, I. and Candea, C. (2002) eUniv:an e-business solution for a university academic environment. In proceedings of 3rd Global Congress on Engineering Education. .

Jennings, N. R. and Wooldridge, M. (1998) Agent Technology: Foundations, Applications, and Markets. Springer Verlag.

Book Section

Luck, M. and Munroe, S. (2003) Autonomy: Variable and Generative. In: Agent Autonomy. Kluwer, pp. 9-22.

Bergamaschi, S. and Klush, M. and Petta, P. (2003) European Research and Development of Intelligent Information Agents : The AgentLink Perspective. In: Intelligent Information Agents Research : The AgentLink Perspective. Lecture Notes in Computer Science (2586). Springer Verlag. ISBN 3-540-00759-8

Ashri, R. and Luck, M. and d'Inverno, M. (2003) On Identifying and Managing Relationships in Multi-Agent Systems. In: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. , Acapulco, Mexico.

Griffiths, N. and Luck, M. (2002) Annotating Cooperative Plans with Trusted Agents. In: Proceedings of the Fifth International Workshop on Decepetion, Fraud and Trust in Agent Societies, AAMAS. .

Moreau, L. and Miles, S. and Goble, C. and Greenwood, M. and Dialani, V. and Addis, M. and Alpdemir, N. and Cawley, R. and De Roure, D.C. and Ferris, J. and Gaizauskas, R. and Glover, K. and Greenhalgh, C. and Greenwood, M. and Li, P. and Liu, X. and Lord, P. and Luck, M. and Marvin, D. and Oinn, T. and Paton, N. and Pettifer, S. and Radenkovic, M.V. and Roberts, A. and Robinson, A. and Rodden, T. and Senger, M. and Sharman, N. and Stevens, R. and Warboys, B. and Watson, P. and Wroe, C. (2002) On the Use of Agents in a BioInformatics Grid. In: Network Tools and Applications in Biology (NETTAB'2002) - Agents in Bioinformatics. , Bologna, Italy.

Lomuscio, A. and Wooldridge, M. and Jennings, N.R. (2001) A Classification Scheme for Negotiation in Electronic Commerce. In: Agent-Mediated Electronic Commerce: A European AgentLink Perspective. Springer Verlag, pp. 19-33.

Zambonelli, F. and Jennings, N. R. and Omicini, A. and Wooldridge, M. (2001) Agent-Oriented Software Engineering for Internet Applications. In: Coordination of Internet Agents. Springer Verlag, pp. 326-346. ISBN 3-540-41613-7

Middleton, S.E. and De Roure, D.C. and Shadbolt, N.R. (2001) Capturing Knowledge of User Preferences: ontologies on recommender systems. In: Proceedings of the First International Conference on Knowledge Capture (K-CAP 2001). , Victoria, B.C. Canada.

Decker, K. and Khan, S. and Schmidt, C. and Michaud, D. (2001) Extending a Multi-Agent System for Genomic Annotation. In: Proceedings of the Fifth International Workshop on Cooperative Information Agents. LNAI, 2182. Springer-Verlag, Modena.

Bussmann, S. and Jennings, N.R. and Wooldridge, M. (2001) On the Identification of Agents in the Design of Production Control Systems. In: Agent-Oriented Software Engineering. Lecture Notes in AI Volume, 1957. Springer-Verlag.

Excelente-Toledo, C.B. and Bourne, R.A. and Jennings, N.R. (2001) Reasoning about commitments and penalties for coordination between autonomous agents. In: Proc. 5th Int Conf on Autonomous Agents (Agents-2001). , Montreal, Canada, pp. 131-138.

Ashri, R. and Luck, M. (2001) Towards a layered approach for agent infrastructure: the right tools for the right job. In: Proceedings of the Second International Workshop on Infrastructure for Agents, MAS, and Scalable MAS. , pp. 9-16.

Hindriks, K. and d'Inverno, M. and Luck, M. (2000) Architecture for Agent Programming Languages. In: Proceedings of the Fourteenth European Conference on Artificial Intelligence. .

Faratin, P. and Jennings, N.R. and Buckle, P. and Sierra, C. (2000) Automated negotiation for provisioning virtual private networks using FIPA-compliant agents. In: Proc. 5th Int. Conf. on the Practical Application of Intelligent Agents and Multi- Agent Systems (PAAM-2000). , Manchester, UK, pp. 185-202.

Foss, J. and Garcha, K. and Turner, P.J. and Jennings, N.R. (2000) Brokerage in an Information Economy. In: Proc INET-2000: The 10th Annual Internet Society Conference. , Yokohama, Japan.

Turner, P.J. and Jennings, N.R. (2000) Improving the scalability of multi-agent systems. In: Proc. 1st Int. Workshop on Infrastructure for Scalable Multi-Agent Systems. , Barcelona, Spain.

Luck, M. and d'Inverno, M. (2000) Plan Analysis for Autonomous Sociological Agents. In: Proceedings of the Seventh International Workshop on Agent Theories, Architectures and Languages. .

d'Inverno, M. and Kinny, D. and Luck, M. and Wooldridge, M. (1998) A Formal Specification of dMARS. In: Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages. Lecture Notes in Artificial Intelligence, 1365. Springer-Verlag, pp. 155-176.

Jennings, N. R. and Wooldridge, M. (1998) Applications of Intelligent Agents. In: Agent Technology: Foundations, Applications, and Markets. , pp. 3-28.

Luck, M. and d'Inverno, M. (1995) Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems. In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users. Lecture Notes in Computer Science, 967. Springer-Verlag, Heidelberg, pp. 47-62.

Roda, C. and Jennings, N.R. and Mamdani, E.H. (1991) ARCHON: A Cooperation Framework for Industrial Process Control. In: Proc. Cooperating Knowledge Based Systems 1990. Springer Verlag, pp. 95-112.

Conference or Workshop Item

Vytelingum, P. and Dash, R.K. and David, E. and Jennings, N. R. (2004) A Risk-Based Bidding Strategy for Continuous Double Auctions. In: ECAI 2004, 22-27 August 2004, Valencia, Spain.

Dash, R.K. and Ramchurn, S.D. and Jennings, N.R. (2004) Trust-based mechanism design. In: 3rd Int. Conf. on Autonomous Agents and Multi-Agent Systems, New York, USA.

Lawley, Richard and Decker, Keith and Luck, Michael and Payne, Terry and Moreau, Luc (2004) Automated Negotiation for Grid Notification Services. In: Euro-Par 2003, 26th-29th August, 2003, Klagenfurt, Austria.

Hey, J. (1996) Information Professionals as Intelligent Agents or When is a Knowbot only a Robot? In: Proceedings of Online Information 96 - proceedings of the 20th International Online Meeting.


[Project] Mier, Mariola (2006) HealthAgents: Agent-based Distributed Decision Support System for Brain Tumour Diagnosis and Prognosis.

[Project] Payne, Terry and David, Esther and Jennings, Nick (2005) BluScreen - Agent-based Billboard Advertising within a Pervasive Environment.

[Project] Moreau, L. and De Roure, D.C and Jennings, N.R. and Braithwaite, S.J. and Dutta, P.S. and Haque, N. (2001) MOHICAN: MObile Handsets In Cooperative Agents Network.


[Software] University of Iowa, (2004) Infospiders. [Other]


Hey, J. (2002) Evaluating GIGA: Resource Discovery Agents for Digital Libraries. PhD thesis, University of Southampton.

This list was generated on Mon Sep 10 16:38:26 BST 2007.


AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact