Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
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...
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2008, 2008
|
| Edition: | 1st ed. 2008 |
| Series: | Lecture Notes in Artificial Intelligence
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 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