dblp.uni-trier.dewww.uni-trier.de

Wojciech Jamroga

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Thomas Ågotnes [14] [16] [20]
2Marek A. Bednarczyk [11]
3Nils Bulling [17] [18] [19]
4Jürgen Dix [6] [8] [9] [13] [21]
5Valentin Goranko [16]
6Wiebe van der Hoek [3] [5] [7] [10] [15]
7Wieslaw Pawlowski [11]
8Michael Wooldridge [5] [7] [10] [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)