Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Sadri, Fariba (Επιμελητής έκδοσης), Satoh, Ken (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
• Σειρά: Lecture Notes in Computer Science, 5056
• Θέματα: Computer science.; Computer communication systems.; Programming languages (Electronic computers).; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Computer Communication Networks.; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Formal Languages.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VIII, held in Porto, Portugal, in September 2007 - co-located with ICLP 2008, the International Conference on Logic Programming. The 14 re...

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

• Invited Paper
• Plan-Coordination Mechanisms and the Price of Autonomy
• Regular Papers
• Actions with Failures in Interval Temporal Logic
• A Logic for Reasoning about Rational Agents
• Formal Modelling of Emotions in BDI Agents
• ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations
• Proof Theory for Distributed Knowledge
• EVOLP: Tranformation-Based Semantics
• Language Constructs for Multi-agent Programming
• -Tropos
• A Heuristic Approach to P2P Negotiation
• Towards Context Sensitive Defeasible Rules
• Fuzzy Argumentation for Trust
• Assumption-Based Argumentation for Selection and Composition of Services
• A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
• Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
• System Description Paper
• EVOLP: An Implementation.