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.
temi di interesse
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
evento ospitante
evento colocato
progetto finanziatore
AgentLink III — A Coordination Network for Agent-based Computing
(01/01/2004–31/01/2006)
funge da
evento origine per pubblicazione
evento contenitore per presentazione
evento ospitato per
evento colocato per
evento della serie
ArgMAS 2004 @ AAMAS 2004 • 
Programming Multi-Agent Systems (curatela, 2005) — 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 (Andrea Omicini)