Conferences in DBLP

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

1. 
   Is Computational Complexity a Barrier to Manipulation? [Citation Graph (, )][DBLP]
   
   
2. 
   Games, Norms and Strategic Notions in Information Flow Security. [Citation Graph (, )][DBLP]
   
   
3. 
   Group Announcements: Logic and Games (Abstract of Invited Talk). [Citation Graph (, )][DBLP]
   
   
4. 
   Strong Equivalence in Argumentation. [Citation Graph (, )][DBLP]
   
   
5. 
   Hypergraphs of Multiparty Secrets. [Citation Graph (, )][DBLP]
   
   
6. 
   Combining Logics in Simple Type Theory. [Citation Graph (, )][DBLP]
   
   
7. 
   Speculative Abductive Reasoning for Hierarchical Agent Systems. [Citation Graph (, )][DBLP]
   
   
8. 
   Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of pi-Calculus Processes. [Citation Graph (, )][DBLP]
   
   
9. 
   What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior. [Citation Graph (, )][DBLP]
   
   
10. 
    Verifying Business Process Compliance by Reasoning about Actions. [Citation Graph (, )][DBLP]
    
    
11. 
    From Organisation Specification to Normative Programming in Multi-Agent Organisations. [Citation Graph (, )][DBLP]
    
    
12. 
    Finding Uniform Strategies for Multi-agent Systems. [Citation Graph (, )][DBLP]
    
    
13. 
    Playing Extensive Form Games in Parallel. [Citation Graph (, )][DBLP]
    
    
14. 
    Exploring the Boundary of Half Positionality. [Citation Graph (, )][DBLP]
    
    
15. 
    Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets. [Citation Graph (, )][DBLP]
    
    
16. 
    An Agent Language with Destructive Assignment and Model-Theoretic Semantics. [Citation Graph (, )][DBLP]
    
    
17. 
    Model Checking Agent Programs by Using the Program Interpreter. [Citation Graph (, )][DBLP]
    
    
18. 
    A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages. [Citation Graph (, )][DBLP]