Results 41-59 of 59.
Bookmark and Share    
Full Text
See detailSpecification and Verification of Multi-Agent Systems
Jamroga, Wojciech UL; Penczek, Wojciech

in Lectures on Logic and Computation (2012)

Detailed reference viewed: 117 (4 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 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: 102 (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 AAMAS2011 (2011)

Detailed reference viewed: 118 (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: 44 (3 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 detailVerifying Agents with Memory Is Harder than It Seemed
Bulling, N.; Jamroga, Wojciech UL

in AI Communications (2010), 23

Detailed reference viewed: 83 (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: 76 (2 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: 85 (2 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 detailReasoning about Strategies of Multi-Agent Programs
Dastani, Mehdi; Jamroga, Wojciech UL

in Proceedings of AAMAS2010 (2010)

Detailed reference viewed: 33 (1 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: 83 (8 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: 91 (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: 96 (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: 36 (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: 40 (3 UL)
Full Text
Peer Reviewed
See detailDescription Logic for Coalitions
Seylan, I.; Jamroga, Wojciech UL

in Proceedings of AAMAS'09 (2009)

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

in Fundamenta Informaticae (2009)

Detailed reference viewed: 97 (1 UL)