Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers: 5397 - Brossura

Brossura

ISBN 10: 3540939199 ISBN 13: 9783540939191

Casa editrice: Springer-Verlag New York Inc, 2009

Riassunto

The workshopon Declarative Agent Languagesand Technologies(DALT), in its sixth edition this year, is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with aspects of engineering and technology of agents and multiagent systems. DALT2008washeldasasatelliteworkshopofAAMAS2008,the7thInter- tional Joint Conference on Autonomous Agents and Multiagent Systems, in - toril, Portugal. Following the success of DALT 2003 in Melbourne (LNAI 2990), DALT 2004 in New York (LNAI 3476), DALT 2005 in Utrecht (LNAI 3904), DALT 2006 in Hakodate (LNAI 4327), and DALT 2007 in Honolulu (LNAI 4897), the workshop again provided a discussion forum to both (a) support the transfer of declarative 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 multiagent systems as well as for all phases of engineering multiagent 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 multiagent systems.

Su questo libro

Contenuti:

Invited Papers.- Specifying and Enforcing Norms in Artificial Institutions.- Social Norm Emergence in Virtual Agent Societies.- A Distributed Normative Infrastructure for Situated Multi-agent Organisations.- Contributed Papers.- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications.- Combining Multiple Knowledge Representation Technologies into Agent Programming Languages.- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions.- JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies.- Leveraging New Plans in AgentSpeak(PL).- Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading.- Inductive Negotiation in Answer Set Programming.- Mental State Abduction of BDI-Based Agents.- Iterated Belief Revision in the Face of Uncertain Communication.- Abstracting and Verifying Strategy-Proofness for Auction Mechanisms.- Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming.- Strategic Agent Communication: An Argumentation-Driven Approach.

Dalla quarta di copertina:

This volume constitutes the revised selected papers of the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, in Estoril, Portugal, on May 12, 2008.

The 12 papers, presented together with 3 invited papers, were carefully reviewed and selected from 14 submissions. The workshop provided a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of researchers working on declarative languages and technologies.

Su questa edizione

• Editore: Springer-Verlag New York Inc
• Data di pubblicazione: 2009
• ISBN 10: 3540939199
• ISBN 13: 9783540939191
• Rilegatura: Copertina flessibile
• Numero di pagine: 250
• Redattore: Baldoni M., Son Tran Cao, Van Riemsdijk M. Birna, Winikoff Michael