Wojciech Jamroga

Valentin Goranko, Wojciech Jamroga, Paolo Turrini: Strategic games and truly playable effectivity functions. Autonomous Agents and Multi-Agent Systems 26(2): 288-314 (2013)

Valentin Goranko, Wojciech Jamroga: State and path coalition effectivity models for logics of multi-player games. AAMAS 2012: 1123-1130

Marija Slavkovik, Wojciech Jamroga: Distance-based rules for weighted judgment aggregation. AAMAS 2012: 1405-1406

Wojciech Jamroga: Concepts, Agents, and Coalitions in Alternating Time. ECAI 2012: 438-443

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)

Valentin Goranko, Wojciech Jamroga: Foreword. Journal of Applied Non-Classical Logics 21(1): 7-8 (2011)

Valentin Goranko, Wojciech Jamroga, Paolo Turrini: Strategic games and truly playable effectivity functions. AAMAS 2011: 727-734

Wojciech Jamroga, Matthijs Melissen: Doubtful Deviations and Farsighted Play. EPIA 2011: 506-520

Wojciech Jamroga, Wojciech Penczek: Specification and Verification of Multi-Agent Systems. ESSLLI 2011: 210-263

Nils Bulling, Wojciech Jamroga: Alternating Epistemic Mu-Calculus. IJCAI 2011: 109-114

Wojciech Jamroga, Nils Bulling: Comparing Variants of Strategic Ability. IJCAI 2011: 252-257

Peter Novák, Wojciech Jamroga: Agents, Actions and Goals in Dynamic Environments. IJCAI 2011: 313-318

Wojciech Jamroga, Sjouke Mauw, Matthijs Melissen: Fairness in Non-Repudiation Protocols. STM 2011: 122-139

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)

Nils Bulling, Wojciech Jamroga: Verifying agents with memory is harder than it seemed. AI Commun. 23(4): 389-403 (2010)

Inanç Seylan, Wojciech Jamroga: Coalition Description Logic with Individuals. Electr. Notes Theor. Comput. Sci. 262: 231-248 (2010)

Nils Bulling, Wojciech Jamroga: Verifying agents with memory is harder than it seemed. AAMAS 2010: 699-706

Mehdi Dastani, Wojciech Jamroga: Reasoning about strategies of multi-agent programs. AAMAS 2010: 997-1004

Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga (Eds.): Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings. Lecture Notes in Computer Science 6245, Springer 2010, isbn 978-3-642-14976-4

Nils Bulling, Wojciech Jamroga: What Agents Can Probably Enforce. Fundam. Inform. 93(1-3): 81-96 (2009)

Peter Novák, Wojciech Jamroga: Code patterns for agent-oriented programming. AAMAS (1) 2009: 105-112

Nils Bulling, Wojciech Jamroga: Rational play and rational beliefs under uncertainty. AAMAS (1) 2009: 257-264

Inanç Seylan, Wojciech Jamroga: Description logic for coalitions. AAMAS (1) 2009: 425-432

Nils Bulling, Wojciech Jamroga, Jürgen Dix: Reasoning about temporal properties of rational play. Ann. Math. Artif. Intell. 53(1-4): 51-114 (2008)

Wojciech Jamroga, Jürgen Dix: Model Checking Abilities of Agents: A Closer Look. Theory Comput. Syst. 42(3): 366-410 (2008)

Wojciech Jamroga: A temporal logic for Markov chains. AAMAS (2) 2008: 697-704

Wojciech Jamroga: Easy Yet Hard: Model Checking Strategies of Agents. CLIMA 2008: 1-12

Wojciech Jamroga: Knowledge and Strategic Ability for Model Checking: A Refined Approach. MATES 2008: 99-110

Wojciech Jamroga: A Temporal Logic for Stochastic Multi-Agent Systems. PRIMA 2008: 239-250

Wojciech Jamroga, Thomas Ågotnes: Constructive knowledge: what agents can achieve under imperfect information. Journal of Applied Non-Classical Logics 17(4): 423-475 (2007)

Wojciech Jamroga: AAMAS 2007. KI 21(3): 73 (2007)

Wiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge: Towards a theory of intention revision. Synthese 155(2): 265-290 (2007)

Wojciech Jamroga, Nils Bulling: A framework for reasoning about rational agents. AAMAS 2007: 88

Wojciech Jamroga, Thomas Ågotnes: Modular interpreted systems. AAMAS 2007: 131

Nils Bulling, Wojciech Jamroga: Agents, beliefs, and plausible behavior in a temporal setting. AAMAS 2007: 146

Wojciech Jamroga, Nils Bulling: A Logic for Reasoning about Rational Agents. CLIMA 2007: 42-61

Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga: Alternating-time temporal logics with irrevocable strategies. TARK 2007: 15-24

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)

Wojciech Jamroga, Thomas Ågotnes: What agents can achieve under incomplete information. AAMAS 2006: 232-234

Wojciech Jamroga, Jürgen Dix: Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete. EUMAS 2006

Wojciech Jamroga: On the Relationship Between Playing Rationally and Knowing How to Play: A Logical Account. KI 2006: 419-433

Wiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge: A logic for strategic reasoning. AAMAS 2005: 157-164

Wojciech Jamroga, Jürgen Dix: Turning Game Models Turn-Based for Model Checking Properties of Agents. BNAIC 2005: 143-150

Wojciech Jamroga, Jürgen Dix: Do Agents Make Model Checking Explode (Computationally)? CEEMAS 2005: 398-407

Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge: Intentions and Strategies in Game-Like Scenarios. EPIA 2005: 512-523

Wojciech Jamroga, Jürgen Dix: Model Checking Strategic Abilities of Agents Under Incomplete Information. ICTCS 2005: 295-308

Wojciech Jamroga, Wiebe van der Hoek: Agents that Know How to Play. Fundam. Inform. 63(2-3): 185-219 (2004)

Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge: On Obligations and Abilities. DEON 2004: 165-181

Wojciech Jamroga: Strategic Planning through Model Checking of ATL Formulae. ICAISC 2004: 879-884

Wojciech Jamroga: Safer Decisions Against A Dynamic Opponent. IIS 2003: 79-86

Wojciech Jamroga: A Defense Model for Games with Incomplete Information. KI/ÖGAI 2001: 260-274