2nd International Workshop “Programming Multi-Agent Systems”
New York, NY, USA, 20/07/2004
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
High-level agent specification languages • Theoretical and practical aspects of agent programming • Extensions of traditional languages for MAS programming • Operational semantics for MAS based on process algebra, transition systems, logic, etc. • Formal methods for the specification and verification of agent systems • Computational logics in multi-agent systems • 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
colocated event
funding project
AgentLink III — A Coordination Network for Agent-based Computing
(01/01/2004–31/01/2006)
works as
origin event for publication
hosting event for talk
hosted event for
colocated event for
series event
ArgMAS 2004 @ AAMAS 2004 • 
2nd International Workshop on Programming Multi-Agent Systems: Languages and Tools (ProMAS 2004) (edited volume, 2004) — Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni
Current Trends & Future Challenges in Programming MAS (PROMAS 2004 @ AAMAS 2004, 20/07/2004) — Andrea Omicini 