Conferences in DBLP

Computational Logic in Multi-Agent Systems (clima)
2008 (conf/clima/2008)

1. 
   Easy Yet Hard: Model Checking Strategies of Agents. [Citation Graph (, )][DBLP]
   
   
2. 
   Programming Multi-agent Systems. [Citation Graph (, )][DBLP]
   
   
3. 
   Verifying Agents' Conformance with Multiparty Protocols. [Citation Graph (, )][DBLP]
   
   
4. 
   Run-Time Semantics of a Language for Programming Social Processes. [Citation Graph (, )][DBLP]
   
   
5. 
   Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic. [Citation Graph (, )][DBLP]
   
   
6. 
   Bounded-Resource Reasoning as (Strong or Classical) Planning. [Citation Graph (, )][DBLP]
   
   
7. 
   A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. [Citation Graph (, )][DBLP]
   
   
8. 
   Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall. [Citation Graph (, )][DBLP]
   
   
9. 
   Contracts Violation: Justification via Argumentation. [Citation Graph (, )][DBLP]
   
   
10. 
    Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. [Citation Graph (, )][DBLP]