References of "Jamroga, Wojciech 50035886"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailNatural Strategic Ability
Jamroga, Wojciech UL; Malvone, Vadim; Murano, Aniello

in Artificial Intelligence (2019), 277

Detailed reference viewed: 13 (1 UL)
Full Text
Peer Reviewed
See detailSTV: Model Checking for Strategies under Imperfect Information
Kurpiewski, Damian; Jamroga, Wojciech UL; Knapik, Micha L

in Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (2019)

Detailed reference viewed: 4 (0 UL)
Full Text
Peer Reviewed
See detailOn Domination and Control in Strategic Ability (Extended Abstract)
Kurpiewski, Damian; Knapik, Michal; Jamroga, Wojciech UL

in Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC) (2019)

Detailed reference viewed: 3 (0 UL)
Full Text
Peer Reviewed
See detailSome Things are Easier for the Dumb and the Bright Ones (Beware the Average!)
Jamroga, Wojciech UL; Knapik, Michal

in Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence IJCAI (2019)

Detailed reference viewed: 13 (0 UL)
Full Text
Peer Reviewed
See detailOn Domination and Control in Strategic Ability
Kurpiewski, Damian; Knapik, Micha L; Jamroga, Wojciech UL

in Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (2019)

Detailed reference viewed: 5 (0 UL)
Full Text
Peer Reviewed
See detailStrategic Responsibility Under Imperfect Information
Yazdanpanah, Vahid; Dastani, Mehdi; Alechina, Natasha et al

in Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (2019)

Detailed reference viewed: 3 (0 UL)
Full Text
Peer Reviewed
See detailStrategy Logic with Simple Goals: Tractable Reasoning about Strategies
Belardinelli, Francesco; Jamroga, Wojciech UL; Kurpiewski, Damian et al

in Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence IJCAI (2019)

Detailed reference viewed: 13 (0 UL)
Full Text
Peer Reviewed
See detailRisk-Limiting Tallies
Jamroga, Wojciech UL; Roenne, Peter UL; Ryan, Peter UL et al

in Electronic Voting: Proceedings of E-Vote-ID (2019)

Detailed reference viewed: 9 (3 UL)
Full Text
Peer Reviewed
See detailNatural Strategic Ability under Imperfect Information
Jamroga, Wojciech UL; Malvone, Vadim; Murano, Aniello

in Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (2019)

Detailed reference viewed: 3 (0 UL)
Full Text
Peer Reviewed
See detailTimed ATL: Forget Memory, Just Count
Knapik, Michal; André, Étienne; Petrucci, Laure et al

in Journal of Artificial Intelligence Research (2019), 66

Detailed reference viewed: 10 (0 UL)
Full Text
Peer Reviewed
See detailApproximate Verification of Strategic Abilities under Imperfect Information
Jamroga, Wojciech UL; Knapik, Micha L; Kurpiewski, Damian et al

in Artificial Intelligence (2019), 277

Detailed reference viewed: 10 (0 UL)
Full Text
Peer Reviewed
See detailReasoning about Strategic Abilities: Agents with Truly Perfect Recall
Bulling, Nils; Jamroga, Wojciech UL; Popovici, Matei

in ACM Transactions on Computational Logic (2019), 20(2), 101--1046

Detailed reference viewed: 4 (0 UL)
Full Text
Peer Reviewed
See detailInformation Security as Strategic (In)effectivity
Jamroga, Wojciech UL; Tabatabaei, Masoud UL

in 12th International Workshop on Security and Trust Management (STM), 2016. (2016)

Detailed reference viewed: 73 (1 UL)
Full Text
Peer Reviewed
See detailExpressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt
Tabatabaei, Masoud UL; Jamroga, Wojciech UL; Ryan, Peter UL

in The International Workshop on AI for Privacy and Security (PrAISe), 2016. (2016)

Voting is a mechanism of utmost importance to social processes. In this paper, we focus on the strategic aspect of information security in voting procedures. We argue that the notions of receipt-freeness ... [more ▼]

Voting is a mechanism of utmost importance to social processes. In this paper, we focus on the strategic aspect of information security in voting procedures. We argue that the notions of receipt-freeness and coercion resistance are underpinned by existence (or nonexistence) of a suitable strategy for some participants of the voting process. In order to back the argument formally, we provide logical ``transcriptions'' of the informal intuitions behind coercion-related properties that can be found in the existing literature. The transcriptions are formulated in the modal game logic ATL*, well known in the area of multi-agent systems. [less ▲]

Detailed reference viewed: 108 (8 UL)
Full Text
Peer Reviewed
See detailPreventing Coercion in E-Voting: Be Open and Commit
Jamroga, Wojciech UL; Tabatabaei, Masoud UL

in Proceedings of the 12th International Joint Conference on Electronic Voting (E-Vote-ID) (2016)

Detailed reference viewed: 98 (2 UL)
Full Text
Peer Reviewed
See detailComparing variants of strategic ability: how uncertainty and memory influence general properties of games
Bulling, Nils; Jamroga, Wojciech UL

in proceedings of Autonomous Agents and Multi-agent Systems (2014)

Detailed reference viewed: 75 (2 UL)
Full Text
Peer Reviewed
See detailComparing variants of strategic ability: how uncertainty and memory influence general properties of games
Bulling, Nils; Jamroga, Wojciech UL

in Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (2014)

Alternating-time temporal logic (ATL) is a modal logic that allows to reason about agents’ abilities in game-like scenarios. Semantic variants of ATL are usually built upon different assumptions about the ... [more ▼]

Alternating-time temporal logic (ATL) is a modal logic that allows to reason about agents’ abilities in game-like scenarios. Semantic variants of ATL are usually built upon different assumptions about the kind of game that is played, including capabilities of agents (perfect vs. imperfect information, perfect vs. imperfect memory, etc.). ATL has been studied extensively in previous years; however, most of the research focused on model checking. Studies of other decision problems (e.g., satisfiability) and formal meta-properties of the logic (like axiomatization or expressivity) have been relatively scarce, and mostly limited to the basic variant of ATL where agents possess perfect information and perfect memory. In particular, a comparison between different semantic variants of the logic is largely left untouched. In this paper, we show that different semantics of ability in ATL give rise to different validity sets. The issue is important for several reasons. First, many logicians identify a logic with its set of true sentences. As a consequence, we prove that different notions of ability induce different strategic logics. Secondly, we show that different concepts of ability induce different general properties of games. Thirdly, the study can be seen as the first systematic step towards satisfiability-checking algorithms for ATL with imperfect information. We introduce sophisticated unfoldings of models and prove invariance results that are an important technical contribution to formal analysis of strategic logics. [less ▲]

Detailed reference viewed: 96 (1 UL)
Full Text
Peer Reviewed
See detailAccumulative Knowledge Under Bounded Resources.
Jamroga, Wojciech UL; Tabatabaei, Masoud UL

in Computational Logic in Multi-Agent Systems (2013, September 16)

Detailed reference viewed: 107 (13 UL)
Full Text
Peer Reviewed
See detailPreventing Coercion in E-Voting: Be Open and Commit
Tabatabaei, Masoud UL; Jamroga, Wojciech UL; Ryan, Peter UL

Scientific Conference (2013, March 17)

Detailed reference viewed: 275 (12 UL)
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: 42 (6 UL)