The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wojciech Jamroga: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002