Search the dblp DataBase

Publications of Author

1. Wiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge
   A logic for strategic reasoning. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2005, pp:157-164 [Conf]
   
2. Wojciech Jamroga, Thomas Ågotnes
   What agents can achieve under incomplete information. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2006, pp:232-234 [Conf]
   
3. Wojciech Jamroga, Jürgen Dix
   Turning Game Models Turn-Based for Model Checking Properties of Agents. [Citation Graph (0, 0)][DBLP]
   BNAIC, 2005, pp:143-150 [Conf]
   
4. Wojciech Jamroga, Jürgen Dix
   Do Agents Make Model Checking Explode (Computationally)? [Citation Graph (0, 0)][DBLP]
   CEEMAS, 2005, pp:398-407 [Conf]
   
5. Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge
   On Obligations and Abilities. [Citation Graph (0, 0)][DBLP]
   DEON, 2004, pp:165-181 [Conf]
   
6. Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge
   Intentions and Strategies in Game-Like Scenarios. [Citation Graph (0, 0)][DBLP]
   EPIA, 2005, pp:512-523 [Conf]
   
7. Wojciech Jamroga
   Strategic Planning through Model Checking of ATL Formulae. [Citation Graph (0, 0)][DBLP]
   ICAISC, 2004, pp:879-884 [Conf]
   
8. Wojciech Jamroga, Jürgen Dix
   Model Checking Strategic Abilities of Agents Under Incomplete Information. [Citation Graph (0, 0)][DBLP]
   ICTCS, 2005, pp:295-308 [Conf]
   
9. Wojciech Jamroga
   Safer Decisions Against A Dynamic Opponent. [Citation Graph (0, 0)][DBLP]
   IIS, 2003, pp:79-86 [Conf]
   
10. Wojciech Jamroga
    A Defense Model for Games with Incomplete Information. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:260-274 [Conf]
    
11. Wojciech Jamroga, Wiebe van der Hoek
    Agents that Know How to Play. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:63, n:2-3, pp:185-219 [Journal]
    
12. Marek A. Bednarczyk, Wojciech Jamroga, Wieslaw Pawlowski
    Expressing and Verifying Temporal and Structural Properties of Mobile Agents. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:51-63 [Journal]
    
13. Wojciech Jamroga
    On the Relationship Between Playing Rationally and Knowing How to Play: A Logical Account. [Citation Graph (0, 0)][DBLP]
    KI, 2006, pp:419-433 [Conf]
    
14. 
    A framework for reasoning about rational agents. [Citation Graph (, )][DBLP]
    
    
15. 
    Modular interpreted systems. [Citation Graph (, )][DBLP]
    
    
16. 
    Agents, beliefs, and plausible behavior in a temporal setting. [Citation Graph (, )][DBLP]
    
    
17. 
    A temporal logic for Markov chains. [Citation Graph (, )][DBLP]
    
    
18. 
    Rational play and rational beliefs under uncertainty. [Citation Graph (, )][DBLP]
    
    
19. 
    Code patterns for agent-oriented programming. [Citation Graph (, )][DBLP]
    
    
20. 
    Description logic for coalitions. [Citation Graph (, )][DBLP]
    
    
21. 
    Reasoning about strategies of multi-agent programs. [Citation Graph (, )][DBLP]
    
    
22. 
    Verifying agents with memory is harder than it seemed. [Citation Graph (, )][DBLP]
    
    
23. 
    A Logic for Reasoning about Rational Agents. [Citation Graph (, )][DBLP]
    
    
24. 
    Easy Yet Hard: Model Checking Strategies of Agents. [Citation Graph (, )][DBLP]
    
    
25. 
    Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete. [Citation Graph (, )][DBLP]
    
    
26. 
    Knowledge and Strategic Ability for Model Checking: A Refined Approach. [Citation Graph (, )][DBLP]
    
    
27. 
    A Temporal Logic for Stochastic Multi-Agent Systems. [Citation Graph (, )][DBLP]
    
    
28. 
    Alternating-time temporal logics with irrevocable strategies. [Citation Graph (, )][DBLP]
    
    
29. 
    Reasoning about temporal properties of rational play. [Citation Graph (, )][DBLP]
    
    
30. 
    Coalition Description Logic with Individuals. [Citation Graph (, )][DBLP]