References of "Jamroga, Wojciech 50035886"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailIncentives and Rationality in Security of Interaction Protocols
Jamroga, Wojciech UL; Melissen, Matthijs UL; Schnoor, Henning

in PRIMA 2013: Principles and Practice of Multi-Agent Systems. Proceedings (2013)

Detailed reference viewed: 41 (6 UL)
See detailProceedings of the 5th Workshop on Logical Aspects of Multi-Agent Systems LAMAS'2012
Goranko, Valentin; Jamroga, Wojciech UL

Book published by IFAAMAS (2012)

Detailed reference viewed: 26 (1 UL)
Full Text
Peer Reviewed
See detailConcepts, Agents, and Coalitions in Alternating Time
Jamroga, Wojciech UL

in Proceedings of ECAI 2012 (2012)

Detailed reference viewed: 39 (4 UL)
See detailLAMAS 2012 Proceedings of the 5rd Workshop on Logical Aspects of Multi-Agent Systems
Jamroga, Wojciech UL; Goranko, Valentin

Book published by IFAAMAS (2012)

Detailed reference viewed: 33 (2 UL)
Full Text
Peer Reviewed
See detailState and Path Effectivity Models for Logics of Multi-Player Games
Goranko, Valentin; Jamroga, Wojciech UL

in Proceedings of AAMAS 2012 (2012)

Detailed reference viewed: 26 (1 UL)
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: 88 (4 UL)
Full Text
Peer Reviewed
See detailFairness in Non-repudiation Protocols
Jamroga, Wojciech UL; Mauw, Sjouke UL; Melissen, Matthijs UL

in Proceedings of STM 2011 (2012)

Detailed reference viewed: 81 (2 UL)
Full Text
Peer Reviewed
See detailDistance-Based Rules for Weighted Judgment Aggregation (Extended Abstract)
Slavkovik, Marija UL; Jamroga, Wojciech UL

in Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS2012 (2012)

Detailed reference viewed: 37 (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: 81 (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: 28 (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: 31 (1 UL)
Full Text
Peer Reviewed
See detailAlternating Epistemic Mu-Calculus
Bulling, N.; Jamroga, Wojciech UL

in Proceedings of IJCAI-11 (2011)

Detailed reference viewed: 33 (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: 32 (3 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: 79 (2 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: 48 (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: 53 (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: 53 (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: 65 (1 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: 59 (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: 27 (1 UL)