Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Baldoni, Matteo (Επιμελητής έκδοσης), Bentahar, Jamal (Επιμελητής έκδοσης), Riemsdijk, M. Birna van (Επιμελητής έκδοσης), Lloyd, John (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 5948
• Θέματα: 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 book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Declarative Agent Languages and Technologies, DALT 2009, held in Budapest, Hungary, on May 11, 2009, as a satellite workshop of the 8th International Joint Conference on Autonomous Agents and...

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

• Invited Talk
• Playing with Rules
• Invited Papers
• The Refinement of Choreographed Multi-Agent Systems
• Goal Generation from Possibilistic Beliefs Based on Trust and Distrust
• Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach
• Contributed Papers
• Unifying the Intentional and Institutional Semantics of Speech Acts
• Tableaux for Acceptance Logic
• Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology
• Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report
• Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks
• Computing Utility from Weighted Description Logic Preference Formulas
• Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games
• Correctness Properties for Multiagent Systems
• Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming
• Social Commitments in Time: Satisfied or Compensated
• Verifying Dribble Agents.