| 2008 |
|---|
| 24 | EE | Wojciech Jamroga:
A temporal logic for Markov chains.
AAMAS (2) 2008: 697-704 |
| 23 | EE | Wojciech Jamroga:
Knowledge and Strategic Ability for Model Checking: A Refined Approach.
MATES 2008: 99-110 |
| 22 | EE | Wojciech Jamroga:
A Temporal Logic for Stochastic Multi-Agent Systems.
PRIMA 2008: 239-250 |
| 21 | EE | Wojciech Jamroga,
Jürgen Dix:
Model Checking Abilities of Agents: A Closer Look.
Theory Comput. Syst. 42(3): 366-410 (2008) |
| 2007 |
|---|
| 20 | EE | Wojciech Jamroga,
Thomas Ågotnes:
Modular interpreted systems.
AAMAS 2007: 131 |
| 19 | EE | Nils Bulling,
Wojciech Jamroga:
Agents, beliefs, and plausible behavior in a temporal setting.
AAMAS 2007: 146 |
| 18 | EE | Wojciech Jamroga,
Nils Bulling:
A framework for reasoning about rational agents.
AAMAS 2007: 88 |
| 17 | EE | Wojciech Jamroga,
Nils Bulling:
A Logic for Reasoning about Rational Agents.
CLIMA VIII 2007: 42-61 |
| 16 | EE | Thomas Ågotnes,
Valentin Goranko,
Wojciech Jamroga:
Alternating-time temporal logics with irrevocable strategies.
TARK 2007: 15-24 |
| 15 | EE | Wiebe van der Hoek,
Wojciech Jamroga,
Michael Wooldridge:
Towards a theory of intention revision.
Synthese 155(2): 265-290 (2007) |
| 2006 |
|---|
| 14 | EE | Wojciech Jamroga,
Thomas Ågotnes:
What agents can achieve under incomplete information.
AAMAS 2006: 232-234 |
| 13 | EE | Wojciech Jamroga,
Jürgen Dix:
Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete.
EUMAS 2006 |
| 12 | EE | Wojciech Jamroga:
On the Relationship Between Playing Rationally and Knowing How to Play: A Logical Account.
KI 2006: 419-433 |
| 11 | EE | Marek A. Bednarczyk,
Wojciech Jamroga,
Wieslaw Pawlowski:
Expressing and Verifying Temporal and Structural Properties of Mobile Agents.
Fundam. Inform. 72(1-3): 51-63 (2006) |
| 2005 |
|---|
| 10 | EE | Wiebe van der Hoek,
Wojciech Jamroga,
Michael Wooldridge:
A logic for strategic reasoning.
AAMAS 2005: 157-164 |
| 9 | | Wojciech Jamroga,
Jürgen Dix:
Turning Game Models Turn-Based for Model Checking Properties of Agents.
BNAIC 2005: 143-150 |
| 8 | EE | Wojciech Jamroga,
Jürgen Dix:
Do Agents Make Model Checking Explode (Computationally)?
CEEMAS 2005: 398-407 |
| 7 | EE | Wojciech Jamroga,
Wiebe van der Hoek,
Michael Wooldridge:
Intentions and Strategies in Game-Like Scenarios.
EPIA 2005: 512-523 |
| 6 | EE | Wojciech Jamroga,
Jürgen Dix:
Model Checking Strategic Abilities of Agents Under Incomplete Information.
ICTCS 2005: 295-308 |
| 2004 |
|---|
| 5 | EE | Wojciech Jamroga,
Wiebe van der Hoek,
Michael Wooldridge:
On Obligations and Abilities.
DEON 2004: 165-181 |
| 4 | EE | Wojciech Jamroga:
Strategic Planning through Model Checking of ATL Formulae.
ICAISC 2004: 879-884 |
| 3 | EE | Wojciech Jamroga,
Wiebe van der Hoek:
Agents that Know How to Play.
Fundam. Inform. 63(2-3): 185-219 (2004) |
| 2003 |
|---|
| 2 | | Wojciech Jamroga:
Safer Decisions Against A Dynamic Opponent.
IIS 2003: 79-86 |
| 2001 |
|---|
| 1 | EE | Wojciech Jamroga:
A Defense Model for Games with Incomplete Information.
KI/ÖGAI 2001: 260-274 |
