Seuraa
Wojciech Jamroga
Wojciech Jamroga
Polish Academy of Sciences
Vahvistettu sähköpostiosoite verkkotunnuksessa ipipan.waw.pl - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Agents that know how to play
W Jamroga, W van der Hoek
Fundamenta Informaticae 63 (2-3), 185-220, 2004
3392004
A logic for strategic reasoning
W Van Der Hoek, W Jamroga, M Wooldridge
Proceedings of the fourth international joint conference on Autonomous …, 2005
1682005
Constructive knowledge: what agents can achieve under imperfect information
W Jamroga, T Ågotnes
Journal of Applied Non-Classical Logics 17 (4), 423-475, 2007
1662007
Constructive knowledge: what agents can achieve under imperfect information
W Jamroga, T Ågotnes
Journal of Applied Non-Classical Logics 17 (4), 423-475, 2007
1662007
Comparing semantics of logics for multi-agent systems
V Goranko, W Jamroga
Synthese 139, 241-280, 2004
1442004
Alternating-time temporal logics with irrevocable strategies
T Ågotnes, V Goranko, W Jamroga
Proceedings of the 11th conference on Theoretical aspects of rationality and …, 2007
1402007
Some remarks on alternating temporal epistemic logic
W Jamroga
Proceedings of formal approaches to multi-agent systems (FAMAS 2003), 133-140, 2003
992003
Comparing variants of strategic ability: how uncertainty and memory influence general properties of games
N Bulling, W Jamroga
Autonomous agents and multi-agent systems 28, 474-518, 2014
982014
Model checking logics of strategic ability: Complexity
N Bulling, J Dix, W Jamroga
Specification and Verification of Multi-Agent Systems, 125-159, 2010
842010
Towards a theory of intention revision
W van Der Hoek, W Jamroga, M Wooldridge
Synthese 155, 265-290, 2007
832007
Knowledge and ability
T Ågotnes, V Goranko, W Jamroga, M Wooldridge
College Publications, 2015
762015
Model checking abilities under incomplete information is indeed∆ P 2-complete
W Jamroga, J Dix
EUMAS 6, 14-15, 2006
632006
Strategic games and truly playable effectivity functions
V Goranko, W Jamroga, P Turrini
Autonomous Agents and Multi-Agent Systems 26, 288-314, 2013
542013
On module checking and strategies
W Jamroga, A Murano
Proceedings of the 2014 international conference on Autonomous agents and …, 2014
482014
Alternating epistemic mu-calculus
N Bulling, W Jamroga
IJCAI 11, 109-114, 2011
472011
Do agents make model checking explode (computationally)?
W Jamroga, J Dix
Multi-Agent Systems and Applications IV: 4th International Central and …, 2005
462005
Strategic responsibility under imperfect information
V Yazdanpanah, M Dastani, N Alechina, B Logan, W Jamroga
Proceedings of the 18th International Conference on Autonomous Agents and …, 2019
452019
Model checking abilities under incomplete information is indeed delta2-complete
W Jamroga
Deutsche Nationalbibliothek, 2006
422006
Towards partial order reductions for strategic ability
W Jamroga, W Penczek, T Sidoruk, P Dembiński, A Mazurkiewicz
Journal of Artificial Intelligence Research 68, 817-850, 2020
412020
Module checking of strategic ability.
W Jamroga, A Murano
AAMAS 15, 227-235, 2015
412015
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20