PROMAS
Even though the contributions of the multi-agent systems (MAS) community can make a significant impact in the development of open distributed systems, the techniques resulting from such contributions will only be widely adopted when suitable programming languages and tools are available. Furthermore, such languages and tools must incorporate those techniques in a principled but practical way, so as to support the ever more complex task of professional programmers, in particular when the systems have to operate in dynamic environments.
The ProMAS workshop series aims to address the practical programming issues related to developing and deploying multi-agent systems. In particular, ProMAS aims to address how multi-agent systems designs or specifications can be effectively implemented. In its two previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, requirements, and principles that are important for multi-agent programming technology.
We encourage the submission of proposals for programming languages and tools that provide specific programming constructs to facilitate the implementation of the essential concepts used in multi-agent system analysis and specifications (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. Further, we are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry.
Programming Multi-Agent Systems (2013) • Typing Multi-agent Programs in simpAL (2013) • Typing Multi-Agent Programs in simpAL (2012) • Programming Multi-Agent Systems (2012) • Programming Multi-Agent Systems (2012) • Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments (2010) • Programming Multi-Agent Systems (2010) • Introducing Relevance Awareness in BDI Agents (2010) • Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments (2010) • Programming Multi-Agent Systems (2009) • Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking (2008) • Programming Multi-Agent Systems (2008) • The A&A Programming Model and Technology for Developing Agent Environments in MAS (2008) • A General Purpose Programming Model & Technology for Developing Working Environments in MAS (2007) • Programming Multi-Agent Systems (2007) • Programming MAS with Artifacts (2005) • Programming MAS with Artifacts (2006) • Programming Multi-Agent Systems (2006) • Programming Multi-Agent Systems (2005) • Programming Multi-Agent Systems (2004) • A Programming Language for Cognitive Agents: Goal Directed 3APL (2004) • Verifiable Multi-agent Programs (2004)
Typing Multi-Agent Programs in simpAL (05/06/2012) • Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments (11/05/2010) • Introducing Relevance Awareness in BDI Agents (12/05/2009) • Current Trends & Future Challenges in Programming MAS (20/07/2004)