| | |
Wojtek Jamroga
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 46 |      | Valentin Goranko, Wojciech Jamroga, Paolo Turrini: Strategic games and truly playable effectivity functions. AAMAS 2011: 727-734 |
| 45 | | Wojciech Jamroga, Matthijs Melissen: Doubtful Deviations and Farsighted Play. EPIA 2011: 506-520 |
| 44 | | Nils Bulling, Wojciech Jamroga: Alternating Epistemic Mu-Calculus. IJCAI 2011: 109-114 |
| 43 | | Wojciech Jamroga, Nils Bulling: Comparing Variants of Strategic Ability. IJCAI 2011: 252-257 |
| 42 | | Peter Novák, Wojciech Jamroga: Agents, Actions and Goals in Dynamic Environments. IJCAI 2011: 313-318 |
| 41 | | Wojciech Jamroga, Sjouke Mauw, Matthijs Melissen: Fairness in Non-Repudiation Protocols. STM 2011: 122-139 |
| 40 | | Jürgen Dix, Wojtek Jamroga, Dov Samet: Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101). Dagstuhl Reports 1(3): 1-18 (2011) |
| 39 | | Hans P. van Ditmarsch, David Fernández Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego: Preface. Electr. Notes Theor. Comput. Sci. 278: 1-2 (2011) |
| 38 | | Valentin Goranko, Wojciech Jamroga: Foreword. Journal of Applied Non-Classical Logics 21(1): 7-8 (2011) |
| 2010 | ||
| 37 | | Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings Springer 2010 |
| 36 | | Nils Bulling, Wojciech Jamroga: Verifying agents with memory is harder than it seemed. AAMAS 2010: 699-706 |
| 35 | | Mehdi Dastani, Wojciech Jamroga: Reasoning about strategies of multi-agent programs. AAMAS 2010: 997-1004 |
| 34 | | Nils Bulling, Wojciech Jamroga: Verifying agents with memory is harder than it seemed. AI Commun. 23(4): 389-403 (2010) |
| 33 | | Inanç Seylan, Wojciech Jamroga: Coalition Description Logic with Individuals. Electr. Notes Theor. Comput. Sci. 262: 231-248 (2010) |
| 2009 | ||
| 32 | | Peter Novák, Wojciech Jamroga: Code patterns for agent-oriented programming. AAMAS (1) 2009: 105-112 |
| 31 | | Nils Bulling, Wojciech Jamroga: Rational play and rational beliefs under uncertainty. AAMAS (1) 2009: 257-264 |
| 30 | | Inanç Seylan, Wojciech Jamroga: Description logic for coalitions. AAMAS (1) 2009: 425-432 |
| 29 | | Nils Bulling, Wojciech Jamroga: What Agents Can Probably Enforce. Fundam. Inform. 93(1-3): 81-96 (2009) |
| 2008 | ||
| 28 | | Wojciech Jamroga: A temporal logic for Markov chains. AAMAS (2) 2008: 697-704 |
| 27 | | Wojciech Jamroga: Easy Yet Hard: Model Checking Strategies of Agents. CLIMA 2008: 1-12 |
| 26 | | Wojciech Jamroga: Knowledge and Strategic Ability for Model Checking: A Refined Approach. MATES 2008: 99-110 |
| 25 | | Wojciech Jamroga: A Temporal Logic for Stochastic Multi-Agent Systems. PRIMA 2008: 239-250 |
| 24 | | Nils Bulling, Wojciech Jamroga, Jürgen Dix: Reasoning about temporal properties of rational play. Ann. Math. Artif. Intell. 53(1-4): 51-114 (2008) |
| 23 | | Wojciech Jamroga, Jürgen Dix: Model Checking Abilities of Agents: A Closer Look. Theory Comput. Syst. 42(3): 366-410 (2008) |
| 2007 | ||
| 22 | | Wojciech Jamroga, Thomas Ågotnes: Modular interpreted systems. AAMAS 2007: 131 |
| 21 | | Nils Bulling, Wojciech Jamroga: Agents, beliefs, and plausible behavior in a temporal setting. AAMAS 2007: 146 |
| 20 | | Wojciech Jamroga, Nils Bulling: A framework for reasoning about rational agents. AAMAS 2007: 88 |
| 19 | | Wojciech Jamroga, Nils Bulling: A Logic for Reasoning about Rational Agents. CLIMA 2007: 42-61 |
| 18 | | Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga: Alternating-time temporal logics with irrevocable strategies. TARK 2007: 15-24 |
| 17 | | Wojciech Jamroga, Thomas Ågotnes: Constructive knowledge: what agents can achieve under imperfect information. Journal of Applied Non-Classical Logics 17(4): 423-475 (2007) |
| 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 |
| 1 | Thomas Ågotnes | [14] [17] [18] [22] |
| 2 | Marek A. Bednarczyk | [11] |
| 3 | Nils Bulling | [19] [20] [21] [24] [29] [31] [34] [36] [43] [44] |
| 4 | Mehdi Dastani | [35] |
| 5 | Hans P. van Ditmarsch | [39] |
| 6 | Jürgen Dix | [6] [8] [9] [13] [23] [24] [37] [40] |
| 7 | David Fernández Duque | [39] |
| 8 | Valentin Goranko | [18] [38] [39] [46] |
| 9 | Guido Governatori | [37] |
| 10 | Wiebe van der Hoek | [3] [5] [7] [10] [15] |
| 11 | João Leite (João Alexandre Leite) | [37] |
| 12 | Sjouke Mauw | [41] |
| 13 | Matthijs Melissen | [41] [45] |
| 14 | Peter Novák | [32] [42] |
| 15 | Manuel Ojeda-Aciego | [39] |
| 16 | Wieslaw Pawlowski | [11] |
| 17 | Dov Samet | [40] |
| 18 | Inanç Seylan | [30] [33] |
| 19 | Paolo Turrini | [46] |
| 20 | Michael Wooldridge (Michael J. Wooldridge) | [5] [7] [10] [15] |
Colors in the list of coauthors
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page