default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWojciech Jamroga
Wojtek Jamroga
Person information
- affiliation: Polish Academy of Sciences, Warsaw, Poland
- affiliation: University of Luxembourg
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c101]Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann, Aniello Murano:
Verification of Stochastic Multi-Agent Systems with Forgetful Strategies. AAMAS 2024: 160-169- [c100]Wojciech Jamroga, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli:
Playing Quantitative Games Against an Authority: On the Module Checking Problem. AAMAS 2024: 926-934 - [c99]Mateusz Kaminski, Damian Kurpiewski, Wojciech Jamroga:
STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow. AAMAS 2024: 2812-2814 - [c98]Damian Kurpiewski
, Wojciech Jamroga:
STV+FLY: On-the-Fly Model Checking of Strategic Ability in Multi-Agent Systems. ECAI 2024: 4483-4486 - [c97]Marie-Laure Zollinger, Peter B. Rønne, Steve Schneider, Peter Y. A. Ryan, Wojciech Jamroga:
Intelligo Ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting. E-Vote-ID 2024: 158-174 - [c96]Wojciech Jamroga, Yan Kim, Damian Kurpiewski:
Scalable Verification of Social Explainable AI by Variable Abstraction. ICAART (1) 2024: 149-158 - [i34]Marie-Laure Zollinger, Peter B. Rønne, Steve Schneider, Peter Y. A. Ryan, Wojtek Jamroga:
Intelligo ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting (long version). CoRR abs/2407.13240 (2024) - 2023
- [c95]Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk:
Strategic (Timed) Computation Tree Logic. AAMAS 2023: 382-390 - [c94]Masoud Tabatabaei, Wojciech Jamroga:
Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory. AAMAS 2023: 766-774 - [c93]Catalin Dima, Wojciech Jamroga:
Computationally Feasible Strategies. AAMAS 2023: 784-792 - [c92]Wojciech Jamroga, Damian Kurpiewski:
Pretty Good Strategies and Where to Find Them. EUMAS 2023: 363-380 - [c91]Wojciech Jamroga:
Pretty Good Strategies for Benaloh Challenge. E-Vote-ID 2023: 106-122 - [c90]Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk:
Towards Modelling and Verification of Social Explainable AI. ICAART (1) 2023: 396-403 - [c89]Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Scalable Verification of Strategy Logic through Three-Valued Abstraction. IJCAI 2023: 46-54 - [c88]Wojciech Jamroga, Yan Kim:
Practical Model Reductions for Verification of Multi-Agent Systems. IJCAI 2023: 7135-7139 - [c87]Wojciech Jamroga, Yan Kim:
Practical Abstraction for Model Checking of Multi-Agent Systems. KR 2023: 384-394 - [c86]Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano:
Strategic Abilities of Forgetful Agents in Stochastic Environments. KR 2023: 726-731 - [i33]Damian Kurpiewski, Wojciech Jamroga, Teofil Sidoruk:
Towards Modelling and Verification of Social Explainable AI. CoRR abs/2302.01063 (2023) - [i32]Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk:
Strategic (Timed) Computation Tree Logic. CoRR abs/2302.13405 (2023) - [i31]Masoud Tabatabaei, Wojciech Jamroga:
Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory. CoRR abs/2303.00067 (2023) - [i30]Wojciech Jamroga:
Pretty Good Strategies for Benaloh Challenge. CoRR abs/2307.03258 (2023) - [i29]Wojciech Jamroga, Yan Kim:
Practical Model Reductions for Verification of Multi-Agent Systems. CoRR abs/2307.10068 (2023) - [i28]Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski:
Assume-Guarantee Verification of Strategic Ability. CoRR abs/2310.15686 (2023) - [i27]Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski:
Towards Assume-Guarantee Verification of Strategic Ability. CoRR abs/2310.15727 (2023) - [i26]Damian Kurpiewski, Wojciech Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk:
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. CoRR abs/2310.15789 (2023) - [i25]Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga:
MsATL: a Tool for SAT-Based ATL Satisfiability Checking. CoRR abs/2310.16519 (2023) - [i24]Wojciech Jamroga, Damian Kurpiewski:
Pretty Good Strategies and Where to Find Them. CoRR abs/2310.16531 (2023) - [i23]Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Scalable Verification of Strategy Logic through Three-valued Abstraction. CoRR abs/2310.17219 (2023) - [i22]Catalin Dima, Wojciech Jamroga:
Computationally Feasible Strategies. CoRR abs/2310.17234 (2023) - [i21]Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano:
Strategic Abilities of Forgetful Agents in Stochastic Environments. CoRR abs/2310.17240 (2023) - [i20]Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim:
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. CoRR abs/2310.18418 (2023) - [i19]Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek:
Multi-Valued Verification of Strategic Ability. CoRR abs/2310.20344 (2023) - [i18]Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark:
A Declaration of Software Independence. CoRR abs/2311.03372 (2023) - 2022
- [j24]Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone:
How to measure usable security: Natural strategies in voting protocols. J. Comput. Secur. 30(3): 381-409 (2022) - [c85]Wojtek Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski:
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. AiML 2022: 531-556 - [c84]Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. AAMAS 2022: 62-71 - [c83]Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski:
Towards Assume-Guarantee Verification of Strategic Ability. AAMAS 2022: 1702-1704 - [c82]Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski:
Assume-Guarantee Verification of Strategic Ability. PRIMA 2022: 173-191 - [c81]Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga:
STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. PRIMA 2022: 691-696 - [i17]Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. CoRR abs/2201.09616 (2022) - [i16]Wojciech Jamroga, Yan Kim:
Practical Abstraction for Model Checking of Multi-Agent Systems. CoRR abs/2202.12016 (2022) - [i15]Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga:
STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning. CoRR abs/2203.01033 (2022) - [i14]Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik:
Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol. CoRR abs/2203.13692 (2022) - [i13]Wojciech Jamroga, Peter Y. A. Ryan, Yan Kim:
Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020. CoRR abs/2210.10694 (2022) - 2021
- [j23]Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik:
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. Inf. Comput. 276: 104552 (2021) - [c80]Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk:
Strategic Abilities of Asynchronous Agents: Semantic Side Effects. AAMAS 2021: 1545-1547 - [c79]Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim:
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. AAMAS 2021: 1770-1772 - [c78]Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark:
A Declaration of Software Independence. Protocols, Strands, and Logic 2021: 198-217 - [c77]Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk:
Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. KR 2021: 368-378 - [i12]Wojciech Jamroga:
A Survey of Requirements for COVID-19 Mitigation Strategies. Part II: Elicitation of Requirements. CoRR abs/2101.09241 (2021) - [i11]Gergei Bana, Wojciech Jamroga, David Naccache, Peter Y. A. Ryan:
Convergence Voting: From Pairwise Comparisons to Consensus. CoRR abs/2102.01995 (2021) - 2020
- [j22]Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek:
Multi-valued Verification of Strategic Ability. Fundam. Informaticae 175(1-4): 207-251 (2020) - [j21]Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz:
Towards Partial Order Reductions for Strategic Ability. J. Artif. Intell. Res. 68: 817-850 (2020) - [c76]Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, Wojciech Jamroga:
MsATL: A Tool for SAT-Based ATL Satisfiability Checking. AAMAS 2020: 2111-2113 - [c75]Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan:
Towards Model Checking of Voting Protocols in Uppaal. E-VOTE-ID 2020: 129-146 - [c74]Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone:
Natural Strategic Abilities in Voting Protocols. STAST 2020: 45-62 - [i10]Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk:
Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and How to Tame Them. CoRR abs/2003.03867 (2020) - [i9]Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan:
Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal. CoRR abs/2007.12412 (2020) - [i8]Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone:
Natural Strategic Abilities in Voting Protocols. CoRR abs/2007.12424 (2020) - [i7]Wojciech Jamroga, David Mestel, Peter B. Rønne, Peter Y. A. Ryan, Marjan Skrobot:
A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips. CoRR abs/2011.07887 (2020)
2010 – 2019
- 2019
- [j20]Wojciech Jamroga, Michal Knapik, Damian Kurpiewski, Lukasz Mikulski:
Approximate verification of strategic abilities under imperfect information. Artif. Intell. 277 (2019) - [j19]Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Natural strategic ability. Artif. Intell. 277 (2019) - [j18]Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek:
Timed ATL: Forget Memory, Just Count. J. Artif. Intell. Res. 66: 197-223 (2019) - [j17]Nils Bulling, Wojciech Jamroga, Matei Popovici:
Reasoning about Strategic Abilities: Agents with Truly Perfect Recall. ACM Trans. Comput. Log. 20(2): 10:1-10:46 (2019) - [c73]Damian Kurpiewski, Michal Knapik, Wojciech Jamroga:
On Domination and Control in Strategic Ability. AAMAS 2019: 197-205 - [c72]Vahid Yazdanpanah, Mehdi Dastani, Wojciech Jamroga, Natasha Alechina, Brian Logan:
Strategic Responsibility Under Imperfect Information. AAMAS 2019: 592-600 - [c71]Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Natural Strategic Ability under Imperfect Information. AAMAS 2019: 962-970 - [c70]Damian Kurpiewski, Wojciech Jamroga, Michal Knapik:
STV: Model Checking for Strategies under Imperfect Information. AAMAS 2019: 2372-2374 - [c69]Damian Kurpiewski, Michal Knapik, Wojciech Jamroga:
On Domination and Control in Strategic Ability. BNAIC/BENELEARN 2019 - [c68]Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano:
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. IJCAI 2019: 88-94 - [c67]Wojciech Jamroga, Michal Knapik:
Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!). IJCAI 2019: 1734-1740 - [c66]Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark:
Risk-Limiting Tallies. E-VOTE-ID 2019: 183-199 - [i6]Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark:
Risk-Limiting Tallies. CoRR abs/1908.04947 (2019) - 2018
- [j16]Wojciech Jamroga, Masoud Tabatabaei:
Accumulative knowledge under bounded resources. J. Log. Comput. 28(3): 581-604 (2018) - [c65]Wojciech Jamroga, Wojciech Penczek, Piotr Dembinski, Antoni W. Mazurkiewicz:
Towards Partial Order Reductions for Strategic Ability. AAMAS 2018: 156-165 - [c64]Wojciech Jamroga:
Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper). TIME 2018: 3:1-3:10 - [c63]Wojciech Jamroga, Michal Knapik, Damian Kurpiewski:
Model Checking the SELENE E-Voting Protocol in Multi-agent Logics. E-Vote-ID 2018: 100-116 - 2017
- [j15]Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga:
SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems. J. Log. Comput. 27(7): 1871-1895 (2017) - [c62]Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Reasoning about Natural Strategic Ability. AAMAS 2017: 714-722 - [c61]Wojciech Jamroga, Michal Knapik, Damian Kurpiewski:
Fixpoint Approximation of Strategic Abilities under Imperfect Information. AAMAS 2017: 1241-1249 - [c60]Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones:
Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. AAMAS 2017: 1286-1295 - [c59]Étienne André, Laure Petrucci, Wojciech Jamroga, Michal Knapik, Wojciech Penczek:
Timed ATL: Forget Memory, Just Count. AAMAS 2017: 1460-1462 - 2016
- [j14]Valentin Goranko, Wojciech Jamroga:
State and path coalition effectivity models of concurrent multi-player games. Auton. Agents Multi Agent Syst. 30(3): 446-485 (2016) - [c58]Wojciech Jamroga, Beata Konikowska, Wojciech Penczek:
Multi-Valued Verification of Strategic Ability. AAMAS 2016: 1180-1189 - [c57]Bernd-Holger Schlingloff, Henry Stubert, Wojciech Jamroga:
Collaborative embedded systems - a case study. EITEC@CPSWeek 2016: 17-22 - [c56]Masoud Tabatabaei, Wojciech Jamroga, Peter Y. A. Ryan:
Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt. PrAISe@ECAI 2016: 1:1-1:8 - [c55]Marija Slavkovik, Wojciech Jamroga:
Iterative Judgment Aggregation. ECAI 2016: 1528-1536 - [c54]Wojciech Jamroga, Masoud Tabatabaei:
Information Security as Strategic (In)effectivity. STM 2016: 154-169 - [c53]Wojciech Jamroga, Masoud Tabatabaei:
Preventing Coercion in E-Voting: Be Open and Commit. E-VOTE-ID 2016: 1-17 - [i5]Marija Slavkovik, Wojciech Jamroga:
A Deliberation Procedure for Judgment Aggregation Problems. CoRR abs/1604.06356 (2016) - [i4]Wojciech Jamroga, Masoud Tabatabaei:
Information Security as Strategic (In)effectivity. CoRR abs/1608.02247 (2016) - [i3]Wojciech Jamroga, Michal Knapik, Damian Kurpiewski:
An Approach to Model Checking ATLir. CoRR abs/1612.02684 (2016) - 2015
- [c52]Wojciech Jamroga, Aniello Murano:
Module Checking of Strategic Ability. AAMAS 2015: 227-235 - [c51]Wojciech Jamroga, Aniello Murano:
Module Checking for Uncertain Agents. PRIMA 2015: 232-247 - [c50]Wojciech Jamroga, Masoud Tabatabaei:
Strategic Noninterference. SEC 2015: 67-81 - [p1]Nils Bulling, Valentin Goranko, Wojciech Jamroga:
Logics for Reasoning About Strategic Abilities in Multi-player Games. Models of Strategic Reasoning 2015: 93-136 - [i2]Wojciech Jamroga, Michal Knapik, Damian Kurpiewski:
Approximating Strategic Abilities under Imperfect Information: a Naive Approach. CoRR abs/1510.06587 (2015) - 2014
- [j13]Nils Bulling, Wojciech Jamroga:
Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. Auton. Agents Multi Agent Syst. 28(3): 474-518 (2014) - [c49]Wojciech Jamroga, Aniello Murano:
On module checking and strategies. AAMAS 2014: 701-708 - [c48]Nils Bulling, Wojciech Jamroga, Matei Popovici:
Agents with truly perfect recall in alternating-time temporal logic. AAMAS 2014: 1561-1562 - [c47]Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga:
Synthesis and Verification of Uniform Strategies for Multi-agent Systems. CLIMA 2014: 166-182 - [c46]Nils Bulling, Wojciech Jamroga, Matei Popovici:
ATL* With Truly Perfect Recall: Expressivity and Validities. ECAI 2014: 177-182 - [c45]Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga:
Model Checking Properties of Multi-agent Systems with Imperfect Information and Imperfect Recall. IEEE Conf. on Intelligent Systems (1) 2014: 415-426 - [c44]Piotr Kazmierczak, Thomas Ågotnes, Wojciech Jamroga:
Multi-agency Is Coordination and (Limited) Communication. PRIMA 2014: 91-106 - [c43]Wojciech Jamroga, Matthijs Melissen, Henning Schnoor:
On Defendability of Security Properties. SR 2014: 17-25 - [e3]Nils Bulling, Leendert W. N. van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Weber Vasconcelos:
Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings. Lecture Notes in Computer Science 8624, Springer 2014, ISBN 978-3-319-09763-3 [contents] - 2013
- [j12]Valentin Goranko, Wojciech Jamroga, Paolo Turrini:
Strategic games and truly playable effectivity functions. Auton. Agents Multi Agent Syst. 26(2): 288-314 (2013) - [c42]Wojciech Jamroga, Marija Slavkovik:
Some Complexity Results for Distance-Based Judgment Aggregation. Australasian Conference on Artificial Intelligence 2013: 313-325 - [c41]Wojciech Jamroga, Masoud Tabatabaei:
Accumulative Knowledge under Bounded Resources. CLIMA 2013: 206-222 - [c40]Wojciech Jamroga, Matthijs Melissen, Henning Schnoor:
Defendable Security in Interaction Protocols. PRIMA 2013: 132-148 - [c39]Wojciech Jamroga, Artur Meski, Maciej Szreter:
Modularity and Openness in Modeling Multi-Agent Systems. GandALF 2013: 224-239 - 2012
- [c38]Valentin Goranko, Wojciech Jamroga:
State and path coalition effectivity models for logics of multi-player games. AAMAS 2012: 1123-1130 - [c37]Marija Slavkovik, Wojciech Jamroga:
Distance-based rules for weighted judgment aggregation. AAMAS 2012: 1405-1406 - [c36]Wojciech Jamroga:
Concepts, Agents, and Coalitions in Alternating Time. ECAI 2012: 438-443 - 2011
- [j11]Valentin Goranko, Wojciech Jamroga:
Foreword. J. Appl. Non Class. Logics 21(1): 7-8 (2011) - [c35]Valentin Goranko, Wojciech Jamroga, Paolo Turrini:
Strategic games and truly playable effectivity functions. AAMAS 2011: 727-734 - [c34]Wojciech Jamroga, Matthijs Melissen:
Doubtful Deviations and Farsighted Play. EPIA 2011: 506-520 - [c33]Wojciech Jamroga, Wojciech Penczek:
Specification and Verification of Multi-Agent Systems. ESSLLI 2011: 210-263 - [c32]Nils Bulling, Wojciech Jamroga:
Alternating Epistemic Mu-Calculus. IJCAI 2011: 109-114 - [c31]Wojciech Jamroga, Nils Bulling:
Comparing Variants of Strategic Ability. IJCAI 2011: 252-257 - [c30]Peter Novák, Wojciech Jamroga:
Agents, Actions and Goals in Dynamic Environments. IJCAI 2011: 313-318 - [c29]Wojciech Jamroga, Sjouke Mauw, Matthijs Melissen:
Fairness in Non-Repudiation Protocols. STM 2011: 122-139 - [c28]Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego:
Preface. M4M/LAMAS 2011: 1-2 - [e2]Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojciech Jamroga, Manuel Ojeda-Aciego:
Proceedings of the 7th Workshop on Methods for Modalities, M4M 2011, and the 4th Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2011, Osuna, Spain, November 10-12, 2011. Electronic Notes in Theoretical Computer Science 278, Elsevier 2011 [contents] - [i1]Jürgen Dix, Wojtek Jamroga, Dov Samet:
Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101). Dagstuhl Reports 1(3): 1-18 (2011) - 2010
- [j10]Nils Bulling, Wojciech Jamroga:
Verifying agents with memory is harder than it seemed. AI Commun. 23(4): 389-403 (2010) - [c27]Nils Bulling, Wojciech Jamroga:
Verifying agents with memory is harder than it seemed. AAMAS 2010: 699-706 - [c26]Mehdi Dastani, Wojciech Jamroga:
Reasoning about strategies of multi-agent programs. AAMAS 2010: 997-1004 - [e1]Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga:
Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings. Lecture Notes in Computer Science 6245, Springer 2010, ISBN 978-3-642-14976-4 [contents]
2000 – 2009
- 2009
- [j9]Nils Bulling, Wojciech Jamroga:
What Agents Can Probably Enforce. Fundam. Informaticae 93(1-3): 81-96 (2009) - [c25]Peter Novák, Wojciech Jamroga:
Code patterns for agent-oriented programming. AAMAS (1) 2009: 105-112 - [c24]Nils Bulling, Wojciech Jamroga:
Rational play and rational beliefs under uncertainty. AAMAS (1) 2009: 257-264 - [c23]Inanç Seylan, Wojciech Jamroga:
Description logic for coalitions. AAMAS (1) 2009: 425-432 - [c22]Inanç Seylan, Wojciech Jamroga:
Coalition Description Logic with Individuals. M4M 2009: 231-248 - 2008
- [j8]Nils Bulling, Wojciech Jamroga, Jürgen Dix:
Reasoning about temporal properties of rational play. Ann. Math. Artif. Intell. 53(1-4): 51-114 (2008) - [j7]Wojciech Jamroga, Jürgen Dix:
Model Checking Abilities of Agents: A Closer Look. Theory Comput. Syst. 42(3): 366-410 (2008) - [c21]Wojciech Jamroga:
A temporal logic for Markov chains. AAMAS (2) 2008: 697-704 - [c20]Wojciech Jamroga:
Easy Yet Hard: Model Checking Strategies of Agents. CLIMA 2008: 1-12 - [c19]Wojciech Jamroga:
Knowledge and Strategic Ability for Model Checking: A Refined Approach. MATES 2008: 99-110 - [c18]Wojciech Jamroga:
A Temporal Logic for Stochastic Multi-Agent Systems. PRIMA 2008: 239-250 - 2007
- [j6]Wojciech Jamroga, Thomas Ågotnes:
Constructive knowledge: what agents can achieve under imperfect information. J. Appl. Non Class. Logics 17(4): 423-475 (2007) - [j5]Wojciech Jamroga:
AAMAS 2007. Künstliche Intell. 21(3): 73 (2007) - [j4]Wiebe van der Hoek, Wojciech Jamroga, Michael J. Wooldridge:
Towards a theory of intention revision. Synth. 155(2): 265-290 (2007) - [c17]Wojciech Jamroga, Nils Bulling:
A framework for reasoning about rational agents. AAMAS 2007: 88 - [c16]Wojciech Jamroga, Thomas Ågotnes:
Modular interpreted systems. AAMAS 2007: 131 - [c15]Nils Bulling, Wojciech Jamroga:
Agents, beliefs, and plausible behavior in a temporal setting. AAMAS 2007: 146 - [c14]Wojciech Jamroga, Nils Bulling:
A Logic for Reasoning about Rational Agents. CLIMA 2007: 42-61 - [c13]Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga:
Alternating-time temporal logics with irrevocable strategies. TARK 2007: 15-24 - 2006
- [j3]Marek A. Bednarczyk, Wojciech Jamroga, Wieslaw Pawlowski:
Expressing and Verifying Temporal and Structural Properties of Mobile Agents. Fundam. Informaticae 72(1-3): 51-63 (2006) - [c12]Wojciech Jamroga, Thomas Ågotnes:
What agents can achieve under incomplete information. AAMAS 2006: 232-234 - [c11]Wojciech Jamroga, Jürgen Dix:
Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete. EUMAS 2006 - [c10]Wojciech Jamroga:
On the Relationship Between Playing Rationally and Knowing How to Play: A Logical Account. KI 2006: 419-433 - 2005
- [c9]Wiebe van der Hoek, Wojciech Jamroga, Michael J. Wooldridge:
A logic for strategic reasoning. AAMAS 2005: 157-164 - [c8]Wojciech Jamroga, Jürgen Dix:
Turning Game Models Turn-Based for Model Checking Properties of Agents. BNAIC 2005: 143-150 - [c7]Wojciech Jamroga, Jürgen Dix:
Do Agents Make Model Checking Explode (Computationally)? CEEMAS 2005: 398-407 - [c6]Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge:
Intentions and Strategies in Game-Like Scenarios. EPIA 2005: 512-523 - [c5]Wojciech Jamroga, Jürgen Dix:
Model Checking Strategic Abilities of Agents Under Incomplete Information. ICTCS 2005: 295-308 - 2004
- [j2]Wojciech Jamroga, Wiebe van der Hoek:
Agents that Know How to Play. Fundam. Informaticae 63(2-3): 185-219 (2004) - [j1]Valentin Goranko, Wojciech Jamroga:
Comparing Semantics of Logics for Multi-Agent Systems. Synth. 139(2): 241-280 (2004) - [c4]Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge:
On Obligations and Abilities. DEON 2004: 165-181 - [c3]Wojciech Jamroga:
Strategic Planning through Model Checking of ATL Formulae. ICAISC 2004: 879-884 - 2003
- [c2]Wojciech Jamroga:
Safer Decisions Against A Dynamic Opponent. IIS 2003: 79-86 - 2001
- [c1]Wojciech Jamroga:
A Defense Model for Games with Incomplete Information. KI/ÖGAI 2001: 260-274
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
