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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Baldoni, Matteo (Επιμελητής έκδοσης), Son, Tran Cao (Επιμελητής έκδοσης), Riemsdijk, M. Birna van (Επιμελητής έκδοσης), Winikoff, Michael (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Σειρά: Lecture Notes in Computer Science, 5397
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Programming languages (Electronic computers).; Computers.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Computer Communication Networks.; Software Engineering/Programming and Operating Systems.; Models and Principles.; Software Engineering.; Programming Languages, Compilers, Interpreters.

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 wit...

Πίνακας περιεχομένων:

• 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.