PROMAS 2003

Multiagent Systems are seen by many as being the appropriate technology to develop complex software in the next decade. Until now, the main focus of multiagent systems community has been on the development of informal and formal tools (e.g. MASIF as OMG specifications), concepts (e.g. concerning mental or social attitudes, communication, co-operation, organisation, mobility) and techniques (e.g. AUML, modal languages such as BDI and KARO) in order to be able to analyse and specify multiagent systems.

Unfortunately, less attention has been paid to developing programming languages and tools which can effectively support MAS programming and implement key concepts of multiagent systems in a unified framework. Consequently, significant effort is required from the designers and programmers to implement the results of analyses and specifications of multiagent systems. The success of agent oriented system design is not guaranteed unless we can bridge the gap between analysis and implementation, and so develop powerful and general purpose programming technology such that the concepts and specifications for multiagent systems can be easily and directly implemented. This technology should include agent based programming languages as well as tools that support MAS programming.

topics of interest

Agent programming languages • Frameworks, techniques and tools for MAS programming • Extensions of traditional languages for MAS programming • Operational semantics for MAS based on process algebra, transition systems, logic, etc. • Verification tools for MAS implementations • Computational concepts for MAS applications • Application areas for MAS programming languages • Benchmarks and testbeds for comparing MAS programming languages • Generic tools for implementing and co-ordinating agent wrappers • Programming mobile agents

hosting event

 AAMAS 2003

colocated event

 DALT 2003 @ AAMAS 2003 •  AP2PC 2003 @ AAMAS 2003 •  AOSE 2003 @ AAMAS 2003

origin event for publication

 Programming Multi-Agent Systems (edited volume, 2004) — Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni

 A Programming Language for Cognitive Agents: Goal Directed 3APL (paper in proceedings, 2004) — Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer

 Verifiable Multi-agent Programs (paper in proceedings, 2004) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge

hosted event for

 AAMAS 2003

colocated event for

 AOSE 2003 @ AAMAS 2003 •  AP2PC 2003 @ AAMAS 2003 •  DALT 2003 @ AAMAS 2003

series event

 International Workshop “Programming Multi-Agent Systems”