Search the dblp DataBase
Wojciech Jamroga :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Wiebe van der Hoek , Wojciech Jamroga , Michael Wooldridge A logic for strategic reasoning. [Citation Graph (0, 0)][DBLP ] AAMAS, 2005, pp:157-164 [Conf ] Wojciech Jamroga , Thomas Ågotnes What agents can achieve under incomplete information. [Citation Graph (0, 0)][DBLP ] AAMAS, 2006, pp:232-234 [Conf ] 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 ] Wojciech Jamroga , Jürgen Dix Do Agents Make Model Checking Explode (Computationally)? [Citation Graph (0, 0)][DBLP ] CEEMAS, 2005, pp:398-407 [Conf ] Wojciech Jamroga , Wiebe van der Hoek , Michael Wooldridge On Obligations and Abilities. [Citation Graph (0, 0)][DBLP ] DEON, 2004, pp:165-181 [Conf ] 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 ] Wojciech Jamroga Strategic Planning through Model Checking of ATL Formulae. [Citation Graph (0, 0)][DBLP ] ICAISC, 2004, pp:879-884 [Conf ] 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 ] Wojciech Jamroga Safer Decisions Against A Dynamic Opponent. [Citation Graph (0, 0)][DBLP ] IIS, 2003, pp:79-86 [Conf ] Wojciech Jamroga A Defense Model for Games with Incomplete Information. [Citation Graph (0, 0)][DBLP ] KI/ÖGAI, 2001, pp:260-274 [Conf ] 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 ] 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 ] 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 ] A framework for reasoning about rational agents. [Citation Graph (, )][DBLP ] Modular interpreted systems. [Citation Graph (, )][DBLP ] Agents, beliefs, and plausible behavior in a temporal setting. [Citation Graph (, )][DBLP ] A temporal logic for Markov chains. [Citation Graph (, )][DBLP ] Rational play and rational beliefs under uncertainty. [Citation Graph (, )][DBLP ] Code patterns for agent-oriented programming. [Citation Graph (, )][DBLP ] Description logic for coalitions. [Citation Graph (, )][DBLP ] Reasoning about strategies of multi-agent programs. [Citation Graph (, )][DBLP ] Verifying agents with memory is harder than it seemed. [Citation Graph (, )][DBLP ] A Logic for Reasoning about Rational Agents. [Citation Graph (, )][DBLP ] Easy Yet Hard: Model Checking Strategies of Agents. [Citation Graph (, )][DBLP ] Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete. [Citation Graph (, )][DBLP ] Knowledge and Strategic Ability for Model Checking: A Refined Approach. [Citation Graph (, )][DBLP ] A Temporal Logic for Stochastic Multi-Agent Systems. [Citation Graph (, )][DBLP ] Alternating-time temporal logics with irrevocable strategies. [Citation Graph (, )][DBLP ] Reasoning about temporal properties of rational play. [Citation Graph (, )][DBLP ] Coalition Description Logic with Individuals. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.006secs