This workshop aims to address both theoretical and practical issues related to developing and deploying multi-agent systems.
From a theoretical point of view, theories, methodologies, models and approaches
are needed to facilitate the development of multi-agent systems ensuring their
predictability and verifications. Moreover, formal declarative models and approaches
have the potential of offering solutions satisfying the needs for specifying and
design of multi-agent systems.
From a practical point of view, LADS aims to address how multi-agent system
specifications or designs can be effectively implemented and tested. To address
such issues, the workshop promotes the discussion and exchange of ideas concerning
concepts, methodologies, techniques and principles that are important for multi-agent
programming technology. Moreover, contributions that combine theoretical aspects
with practical ones are gaining more and more attention in important application
areas such as the electronic institutions, semantic web, web services, security,
grid computing, ambient intelligence, pervasive computing, and electronic contracting.
We encourage the submission of original papers in any of the areas listed below.
Topics of interest
Topics of interest include, but are not limited to, the ones below:
- Programming languages for multi-agent systems
- Extensions of traditional languages for multi-agent programming
- Semantics for multi-agent programming languages
- Implementation of social and organisational aspects of MAS
- Modal and epistemic logics for agent modelling
- Model checking agents and multi-agent systems
- Algorithms for multi-agent issues (e.g., coordination, cooperation, negotiation, distributed constraint satisfaction)
- Declarative approaches to engineering agent systems
- Declarative models of agent beliefs and capabilities
- Declarative models of bounded rationality
- Declarative paradigms for the combination of heterogeneous agents
- Specification and verification logics
- Logic programming approaches to agent systems
- Methodologies for MAS analysis and design
- Agent-oriented requirements analysis and specification
- Theoretical and practical aspects of multi-agent programming
- Computational complexity of MAS
- High-level executable multi-agent specification languages
- Agent communication in multi-agent programming
- Implementation of social and organisational aspects of MAS
- Agent development tools and platforms
- Generic tools and infrastructures for multi-agent programming
- Interoperability and standards for MAS
- Programming of mobile agents
- Safety and security for mobile MAS deployment
- Fault tolerance and load balancing for mobile MAS
- Formal methods for specification and verification of MAS
- Verification tools for implementations of MAS
- Experimental analysis of declarative agent technologies
- Industrial experiences with (declarative) agent technologies
- Service-oriented multiagent systems
- Protocol specification and conformance checking
- Declarative description of contracts and negotiation policies
- Application areas for multi-agent programming languages
- Applications using legacy systems
- Programming MAS for Grid-based applications
- Programming MAS for the Semantic Web
- Deployed (industrial-strength) MAS
- Benchmarks and testbeds for comparing MAS languages and tools
- Test and debugging tools and techniques for MAS
- Electronic institutions