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...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2009.
|
Σειρά: | Lecture Notes in Computer Science,
5405 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.