Wojciech Jamroga
Wojciech Jamroga
Polish Academy of Sciences
Geverifieerd e-mailadres voor ipipan.waw.pl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Agents that know how to play
W Jamroga, W van der Hoek
Fundamenta Informaticae 63 (2-3), 185-220, 2004
2732004
A logic for strategic reasoning
W van der Hoek, W Jamroga, M Wooldridge
Proceedings of the fourth international joint conference on Autonomous …, 2005
1462005
Constructive knowledge: what agents can achieve under imperfect information
W Jamroga, T Ågotnes
Journal of Applied Non-Classical Logics 17 (4), 423-475, 2007
1322007
Constructive knowledge: what agents can achieve under imperfect information
W Jamroga, T Ågotnes
Journal of Applied Non-Classical Logics 17 (4), 423-475, 2007
1322007
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
1222007
Comparing semantics of logics for multi-agent systems
V Goranko, W Jamroga
Information, Interaction and Agency, 77-116, 2004
1162004
Some remarks on alternating temporal epistemic logic
W Jamroga
Proceedings of formal approaches to multi-agent systems (FAMAS 2003), 133-140, 2003
852003
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 (3), 474-518, 2014
802014
Towards a theory of intention revision
W van Der Hoek, W Jamroga, M Wooldridge
Synthese 155 (2), 265-290, 2007
722007
Model checking logics of strategic ability: Complexity
N Bulling, J Dix, W Jamroga
Specification and Verification of Multi-agent Systems, 125-159, 2010
612010
Model checking abilities under incomplete information is indeed∆ P 2-complete
W Jamroga, J Dix
EUMAS 6, 14-15, 2006
572006
Strategic games and truly playable effectivity functions
V Goranko, W Jamroga, P Turrini
Autonomous Agents and Multi-Agent Systems 26 (2), 288-314, 2013
472013
Knowledge and ability
T Ågotnes, V Goranko, W Jamroga, M Wooldridge
College Publications, 2015
422015
Do agents make model checking explode (computationally)?
W Jamroga, J Dix
International Central and Eastern European Conference on Multi-Agent Systems …, 2005
412005
On module checking and strategies
W Jamroga, A Murano
Proceedings of the 2014 international conference on Autonomous agents and …, 2014
362014
Model checking abilities of agents: A closer look
W Jamroga, J Dix
Theory of Computing Systems 42 (3), 366-410, 2008
342008
Model checking abilities of agents: A closer look
W Jamroga, J Dix
Theory of Computing Systems 42 (3), 366-410, 2008
342008
Reasoning about temporal properties of rational play
N Bulling, W Jamroga, J Dix
Annals of Mathematics and Artificial Intelligence 53 (1-4), 51, 2008
332008
Alternating epistemic mu-calculus
N Bulling, W Jamroga
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
312011
Intentions and strategies in game-like scenarios
W Jamroga, W Van Der Hoek, M Wooldridge
Portuguese Conference on Artificial Intelligence, 512-523, 2005
312005
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20