6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers Herausgegeben:Baldoni, Matteo; Son, Tran Cao; van Riemsdijk, Birna; Winikoff, Michael
6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers Herausgegeben:Baldoni, Matteo; Son, Tran Cao; van Riemsdijk, Birna; Winikoff, Michael
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…mehr
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.
Artikelnr. des Verlages: 12604487, 978-3-540-93919-1
2009
Seitenzahl: 264
Erscheinungstermin: 12. Januar 2009
Englisch
Abmessung: 235mm x 155mm x 15mm
Gewicht: 405g
ISBN-13: 9783540939191
ISBN-10: 3540939199
Artikelnr.: 25700878
Inhaltsangabe
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497