![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
CLIMA IX 2008: Dresden, Germany
- Michael Fisher
, Fariba Sadri, Michael Thielscher:
Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5405, Springer 2009, ISBN 978-3-642-02733-8
Invited Papers
- Wojciech Jamroga
:
Easy Yet Hard: Model Checking Strategies of Agents. 1-12 - Mehdi Dastani:
Programming Multi-agent Systems. 13-16
Regular Papers
- Laura Giordano
, Alberto Martelli:
Verifying Agents' Conformance with Multiparty Protocols. 17-36 - Juan Manuel Serrano, Sergio Saugar
:
Run-Time Semantics of a Language for Programming Social Processes. 37-56 - Norihiro Kamide:
Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic. 57-76 - Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini
, Brian Logan:
Bounded-Resource Reasoning as (Strong or Classical) Planning. 77-96 - Marius C. Bujorianu, Manuela-Luminita Bujorianu, Howard Barringer:
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. 97-116 - Catalin Dima:
Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall. 117-131 - Stefania Costantini
, Arianna Tocchio, Panagiota Tsintza:
Contracts Violation: Justification via Argumentation. 132-153 - Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung
:
Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. 154-172
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.