 | 2009 |
|---|
| 31 |       | Peter Novák,
Wojciech Jamroga:
Code patterns for agent-oriented programming.
AAMAS (1) 2009: 105-112 |
| 30 | | Nils Bulling,
Wojciech Jamroga:
Rational play and rational beliefs under uncertainty.
AAMAS (1) 2009: 257-264 |
| 29 | | Inanç Seylan,
Wojciech Jamroga:
Description logic for coalitions.
AAMAS (1) 2009: 425-432 |
| 28 | | Nils Bulling,
Wojciech Jamroga:
What Agents Can Probably Enforce.
Fundam. Inform. 93(1-3): 81-96 (2009) |
| 2008 |
|---|
| 27 | | Wojciech Jamroga:
A temporal logic for Markov chains.
AAMAS (2) 2008: 697-704 |
| 26 | | Wojciech Jamroga:
Easy Yet Hard: Model Checking Strategies of Agents.
CLIMA IX 2008: 1-12 |
| 25 | | Wojciech Jamroga:
Knowledge and Strategic Ability for Model Checking: A Refined Approach.
MATES 2008: 99-110 |
| 24 | | Wojciech Jamroga:
A Temporal Logic for Stochastic Multi-Agent Systems.
PRIMA 2008: 239-250 |
| 23 | | Nils Bulling,
Wojciech Jamroga,
Jürgen Dix:
Reasoning about temporal properties of rational play.
Ann. Math. Artif. Intell. 53(1-4): 51-114 (2008) |
| 22 | | Wojciech Jamroga,
Jürgen Dix:
Model Checking Abilities of Agents: A Closer Look.
Theory Comput. Syst. 42(3): 366-410 (2008) |
| 2007 |
|---|
| 21 | | Wojciech Jamroga,
Thomas Ågotnes:
Modular interpreted systems.
AAMAS 2007: 131 |
| 20 | | Nils Bulling,
Wojciech Jamroga:
Agents, beliefs, and plausible behavior in a temporal setting.
AAMAS 2007: 146 |
| 19 | | Wojciech Jamroga,
Nils Bulling:
A framework for reasoning about rational agents.
AAMAS 2007: 88 |
| 18 | | Wojciech Jamroga,
Nils Bulling:
A Logic for Reasoning about Rational Agents.
CLIMA VIII 2007: 42-61 |
| 17 | | Thomas Ågotnes,
Valentin Goranko,
Wojciech Jamroga:
Alternating-time temporal logics with irrevocable strategies.
TARK 2007: 15-24 |
| 16 |  | Wojciech Jamroga:
AAMAS 2007.
KI 21(3): 73 (2007) |
| 15 | | Wiebe van der Hoek,
Wojciech Jamroga,
Michael Wooldridge:
Towards a theory of intention revision.
Synthese 155(2): 265-290 (2007) |
| 2006 |
|---|
| 14 | | Wojciech Jamroga,
Thomas Ågotnes:
What agents can achieve under incomplete information.
AAMAS 2006: 232-234 |
| 13 | | Wojciech Jamroga,
Jürgen Dix:
Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete.
EUMAS 2006 |
| 12 | | Wojciech Jamroga:
On the Relationship Between Playing Rationally and Knowing How to Play: A Logical Account.
KI 2006: 419-433 |
| 11 | | 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 | | 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 | | Wojciech Jamroga,
Jürgen Dix:
Do Agents Make Model Checking Explode (Computationally)?
CEEMAS 2005: 398-407 |
| 7 | | Wojciech Jamroga,
Wiebe van der Hoek,
Michael Wooldridge:
Intentions and Strategies in Game-Like Scenarios.
EPIA 2005: 512-523 |
| 6 | | Wojciech Jamroga,
Jürgen Dix:
Model Checking Strategic Abilities of Agents Under Incomplete Information.
ICTCS 2005: 295-308 |
| 2004 |
|---|
| 5 | | Wojciech Jamroga,
Wiebe van der Hoek,
Michael Wooldridge:
On Obligations and Abilities.
DEON 2004: 165-181 |
| 4 | | Wojciech Jamroga:
Strategic Planning through Model Checking of ATL Formulae.
ICAISC 2004: 879-884 |
| 3 | | 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 | | Wojciech Jamroga:
A Defense Model for Games with Incomplete Information.
KI/ÖGAI 2001: 260-274 |
