الصفحة 1
الصفحة 1
img

Engineering societies in the agents world V : 5th international workshop, ESAW 2004, Toulouse, France, October 20-22, 2004 : revised selected and invited papers

The ?rst workshop “Engineering Societies in the Agents World” (ESAW) was held in August 2000, in conjunction with the 14th European Conference on Arti?cial Intelligence (ECAI 2000) in Berlin. It was launched by a group of - searchers who thought that the design and development of MASs (multi-agent systems) not only needed adequate theoretical foundations but also a call for new techniques, methodologies and infrastructures to develop MASs as arti?cial societies. The second ESAW was co-located with the European Agent Summer School (ACAI 2001) in Prague, and mostly focused on logics and languages, middleware, infrastructures and applications. In Madrid, the third ESAW c- centrated on models and methodologies and took place with the “Cooperative Information Agents” workshop (CIA 2002). The fourth ESAW in London was the ?rst one that ran as a stand-alone event: apart from the usual works on methodologies and models, it also stressed the issues of applications and m- tidisciplinary models. Based on the success of previous ESAWs, and also given that the di?cult challenges in the construction of arti?cial societies are not yet fully addressed, the ?fth ESAW workshop was organized in the same spirit as its predecessors.

img

Declarative agent languages and technologies III ; 3rd International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing their experiences in the areas of declarative and formal aspects of agents and multi-agent systems, and in engineering and technology. Today it is still a challenge to develop techno- gies that can satisfy the requirements of complex agent systems. The design and development of multi-agent systems still calls for models and technologies that ensure predictability, enable feature discovery, allow for the veri?cation of properties, and guarantee ?exibility. Declarative approaches are potentially a valuable means for satisfying the needs of multi-agent system developers and for specifying multi-agent systems.

img

Declarative agent languages and technologies II ; 2nd international workshop, DALT 2004, New York, NY, USA, July 19, 2004, revised selected papers

Nearly 40 research groups worldwide were motivated to contribute to this event by submitting their most recent research achievements, covering a wide variety of the topics listed in the call for papers. More than 30 top researchers agreed to join the Program Committee, which then collectively faced the hard task of selecting the one-day event program. The fact that research in multi-agent systems is no longer only a novel and promising research horizon at dawn is, in our opinion, the main reason behind DALT’s (still short) success story. On the one hand, agent theories and app- cations are mature enough to model complex domains and scenarios, and to successfully address a wide range of multifaceted problems, thus creating the urge to make the best use of this expressive and versatile paradigm, and also pro?t from all the important results achieved so far. On the other hand, bui- ing multi-agent systems still calls for models and technologies that could ensure system predictability, accommodate ?exibility, heterogeneity and openness, and enable system veri?cation.

عدد النتائج بكل صفحة