Formal Methods for Multiagent Systems (Invited Talk)

Mike Wooldridge  - Department of Computer Science, University of Liverpool, UK

Session 1 : Methodologies

Integrating Ontologies into Multiagent Systems Engineering
Jonathan DiLeo, Timothy Jacobs, and Scott DeLoach (Full)

On the Use of Patterns in Agent System Design
Michael Weiss (Short)

Session 1 cont.

Developing Formal Specifications of MAS in SLABS --
A Case Study of Evolutionary Multi-Agent Ecosystem 
Hong Zhu (Full)

Session 2 : AO Market Systems

Design of supplier agents for an auction-based market
Stefan Botman, Mark Hoogendoorn, Vasile Bud, Ashutosh Jaiswal,  Steve Hawkins, Yelena Kryzhnyaya, Janice Pearce, Anne Scholcraft,  Espen Sigvartsen, John Collins, and Maria Gini  (Full)

A Market-Based Recommender System 
Luc Moreau, Norliza Zaini, Jing Zhou, Nicholas R. Jennings, Yan Zheng Wei, 
Wendy Hall, David De Roure, Ian Gilchrist, Mark O'Dell,  Sigi Reich, 
Tobias Berka, and Claudia Di Napoli (Full)

Handling Complex Information Environments: A Multi-Agent Framework  ``` 
Travis Bauer and  David B. Leake (Short)
 

Session 4 : Applications

Flexible Caching in Peer-to-Peer Information Systems
Pinar Yolum and Munindar P. Singh (Full)

A Multi-agent System for Collaborative Bookmarking
Rushed Kanawati and Maria Malek (Full)

Using Agents to Support the Selection of Virtual Enterprise Teams
Sobah Abbas Petersen and Monica Divitini (Full)

An Agent-Oriented Personalized Web Searching System
Tarek Helmy, Satoshi Amamiya, Tsunenori Mine, and Makoto Amamiya (Short)

An Application of Agent UML to Supply Chain Management
Marc-Philippe Huget (Short)

Personalised Briefing Agents to Improve Situational Awareness 
Graham S. Horn and Zoë P. Lock (Position)

Key Components of Agent-based Development 
Amir Zeid (Position)

Towards a model of goal autonomous agents
Matteo Bonifacio, Roberta Ferrario, and Diego Ponte (Position)

Panel: Opportunities and Challenges for Agent-Oriented Modeling Languages, Methodologies and Architectures

Panelists: 

• Christian Dannegger (Living Systems, DE)
• Nick Jennings (Univ. of Southampton, UK) 
• James Odell (James Odell Associates, USA)