References of "Jamroga, Wojciech 50035886"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailConcepts, Agents, and Coalitions in Alternating Time
Jamroga, Wojciech UL

in Proceedings of ECAI 2012 (2012)

Detailed reference viewed: 51 (4 UL)
Full Text
Peer Reviewed
See detailDoubtful Deviations and Farsighted Play
Jamroga, Wojciech UL; Melissen, Matthijs UL

in Progress in Artificial Intelligence, Proceedings of the 15th Portuguese Conference on Artificial Intelligence (2011)

Detailed reference viewed: 100 (2 UL)
Full Text
Peer Reviewed
See detailAlternating Epistemic Mu-Calculus
Bulling, N.; Jamroga, Wojciech UL

in Proceedings of IJCAI-11 (2011)

Detailed reference viewed: 45 (1 UL)
Full Text
Peer Reviewed
See detailAgents, Actions and Goals in Dynamic Environments
Novak, P.; Jamroga, Wojciech UL

in Proceedings of IJCAI-11 (2011)

Detailed reference viewed: 45 (1 UL)
Full Text
Peer Reviewed
See detailDistance-based Judgment Aggregation of Three-valued Judgments with Weights
Slavkovik, Marija UL; Jamroga, Wojciech UL

in Proceedings of the IJCAI Workshop on Social Choice and Artificial Intelligence (2011)

Detailed reference viewed: 41 (1 UL)
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: 115 (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: 43 (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: 83 (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: 81 (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: 82 (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: 74 (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: 31 (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: 37 (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: 87 (1 UL)
Full Text
Peer Reviewed
See detailWhat agents can probably enforce
Bulling, N.; Jamroga, Wojciech UL

in Fundamenta Informaticae (2009)

Detailed reference viewed: 95 (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: 94 (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: 33 (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: 33 (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: 39 (3 UL)