References of "Jamroga, Wojciech 50035886"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailStrategic Games and Truly Playable Effectivity Functions
Goranko, V.; Jamroga, Wojciech UL; Turrini, Paolo UL

in Proceedings of AAMAS2011 (2011)

Detailed reference viewed: 109 (1 UL)
Full Text
Peer Reviewed
See detailComparing Variants of Strategic Ability
Jamroga, Wojciech UL; Bulling, N.

in Proceedings of IJCAI-11 (2011)

Detailed reference viewed: 41 (3 UL)
Full Text
Peer Reviewed
See detailCoalition Description Logic for Individuals
Seylan, I.; Jamroga, Wojciech UL

in Electronic Notes in Theoretical Computer Science (2010), 262

Detailed reference viewed: 77 (2 UL)
Full Text
Peer Reviewed
See detailVerifying Agents with Memory Is Harder than It Seemed
Bulling, N.; Jamroga, Wojciech UL

in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS (2010)

Detailed reference viewed: 74 (8 UL)
Full Text
Peer Reviewed
See detailVerifying Agents with Memory Is Harder than It Seemed
Bulling, N.; Jamroga, Wojciech UL

in AI Communications (2010), 23

Detailed reference viewed: 77 (2 UL)
Full Text
Peer Reviewed
See detailStrategic Games and Truly Playable Effectivity Functions
Goranko, V.; Jamroga, Wojciech UL; Turrini, Paolo UL

in Proceedings of EUMAS2010 (2010)

Detailed reference viewed: 70 (2 UL)
Full Text
Peer Reviewed
See detailReasoning about Strategies of Multi-Agent Programs
Dastani, Mehdi; Jamroga, Wojciech UL

in Proceedings of AAMAS2010 (2010)

Detailed reference viewed: 29 (1 UL)
Full Text
Peer Reviewed
See detailComparing Variants of Strategic Ability
Jamroga, Wojciech UL; Bulling, N.

in Proceedings of EUMAS2010 (2010)

Detailed reference viewed: 33 (1 UL)
Full Text
Peer Reviewed
See detailModel Checking Logics of Strategic Ability: Complexity
Bulling, N.; Dix, J.; Jamroga, Wojciech UL

in Dastani, M.; Hindriks, K.; Meyer, J.-J. (Eds.) Specification and Verification of Multi-Agent Systems (2010)

Detailed reference viewed: 82 (1 UL)
Full Text
Peer Reviewed
See detailWhat agents can probably enforce
Bulling, N.; Jamroga, Wojciech UL

in Fundamenta Informaticae (2009)

Detailed reference viewed: 89 (1 UL)
Full Text
See detailEasy Yet Hard: Model Checking Strategies of Agents
Jamroga, Wojciech UL

in Computational Logic in Multi-Agent Systems: Proceedings of CLIMA IX (2009)

Detailed reference viewed: 87 (2 UL)
Full Text
Peer Reviewed
See detailDescription Logic for Coalitions
Seylan, I.; Jamroga, Wojciech UL

in Proceedings of AAMAS'09 (2009)

Detailed reference viewed: 28 (2 UL)
Full Text
Peer Reviewed
See detailRational Play and Rational Beliefs under Uncertainty
Bulling, N.; Jamroga, Wojciech UL

in Proceedings of AAMAS'09 (2009)

Detailed reference viewed: 30 (1 UL)
Full Text
Peer Reviewed
See detailCode Patterns for Agent Oriented Programming
Novák, P.; Jamroga, Wojciech UL

in Proceedings of AAMAS'09 (2009)

Detailed reference viewed: 37 (3 UL)