Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers /
This book constitutes the thoroughly refereed and revised proceedings of the 9th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA IX, held in Dresden, Germany, in September 2008 and co-located with the 11th European Conference on Logics in Artificial Intelligence, JELIA 2...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2009.
|
Edición: | 1st ed. 2009. |
Colección: | Lecture Notes in Artificial Intelligence,
5405 |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Invited Papers
- Easy Yet Hard: Model Checking Strategies of Agents
- Programming Multi-agent Systems
- Regular Papers
- Verifying Agents' Conformance with Multiparty Protocols
- Run-Time Semantics of a Language for Programming Social Processes
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
- Bounded-Resource Reasoning as (Strong or Classical) Planning
- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems
- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall
- Contracts Violation: Justification via Argumentation
- Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant.