Declarative Agent Languages and Technologies V
The workshopon Declarative Agent Languagesand Technologies(DALT), in its ?fth edition this year, is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multi-agent systems. DALT 2007 was held as a satellite workshop of AAMAS 2007, the 6th - ternational Joint Conference on Autonomous Agents and Multiagent Systems, in May 2007 in Honolulu, Hawai’i. Following the success of DALT 2003 in M- bourne (LNAI 2990), DALT 2004 in New York (LNAI 3476), DALT 2005 in Utrecht (LNAI 3904), and DALT 2006 in Hakodate (LNAI 4327), the workshop againprovideda discussionforum to both (a) support the transfer ofdeclarative paradigms and techniques to the broader community of agent researchers and practitioners, and (b) to bring the issue of designing complex agent systems to the attention of researchers working on declarative languages and technologies. TheaimoftheDALTworkshopistostimulateresearchonformalanddecl- ative approaches both for developing the foundations of multi-agent systems as well as for all phases of engineering multi-agent systems, i.e., for speci?cation and modeling, for implementation, and for veri?cation. By providing a forum for the presentation of ideas addressing both of these aspects, DALT encourages the integrationof formal and declarativetechniques and methods that arebased on solid theoretical foundations, in the engineering of multi-agent systems.