Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Wojciech Jamroga
@inproceedings{DBLP:conf/icaart/JamrogaKK24,
author = {Wojciech Jamroga and
Yan Kim and
Damian Kurpiewski},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Scalable Verification of Social Explainable {AI} by Variable Abstraction},
booktitle = {Proceedings of the 16th International Conference on Agents and Artificial
Intelligence, {ICAART} 2024, Volume 1, Rome, Italy, February 24-26,
2024},
pages = {149--158},
publisher = {{SCITEPRESS}},
year = {2024},
url = {https://doi.org/10.5220/0012474800003636},
doi = {10.5220/0012474800003636},
timestamp = {Thu, 04 Apr 2024 15:53:04 +0200},
biburl = {https://dblp.org/rec/conf/icaart/JamrogaKK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/0001JPPS23,
author = {Jaime Arias and
Wojciech Jamroga and
Wojciech Penczek and
Laure Petrucci and
Teofil Sidoruk},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {Strategic (Timed) Computation Tree Logic},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {382--390},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598661},
doi = {10.5555/3545946.3598661},
timestamp = {Tue, 23 May 2023 14:27:14 +0200},
biburl = {https://dblp.org/rec/conf/atal/0001JPPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/TabatabaeiJ23,
author = {Masoud Tabatabaei and
Wojciech Jamroga},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets
Information Theory},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {766--774},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598710},
doi = {10.5555/3545946.3598710},
timestamp = {Tue, 23 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/TabatabaeiJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/DimaJ23,
author = {Catalin Dima and
Wojciech Jamroga},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {Computationally Feasible Strategies},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {784--792},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598712},
doi = {10.5555/3545946.3598712},
timestamp = {Tue, 23 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/DimaJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/JamrogaK23,
author = {Wojciech Jamroga and
Damian Kurpiewski},
editor = {Vadim Malvone and
Aniello Murano},
title = {Pretty Good Strategies and Where to Find Them},
booktitle = {Multi-Agent Systems - 20th European Conference, {EUMAS} 2023, Naples,
Italy, September 14-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14282},
pages = {363--380},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43264-4\_23},
doi = {10.1007/978-3-031-43264-4\_23},
timestamp = {Wed, 13 Sep 2023 08:53:59 +0200},
biburl = {https://dblp.org/rec/conf/eumas/JamrogaK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/KurpiewskiJS23,
author = {Damian Kurpiewski and
Wojciech Jamroga and
Teofil Sidoruk},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Towards Modelling and Verification of Social Explainable {AI}},
booktitle = {Proceedings of the 15th International Conference on Agents and Artificial
Intelligence, {ICAART} 2023, Volume 1, Lisbon, Portugal, February
22-24, 2023},
pages = {396--403},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011799900003393},
doi = {10.5220/0011799900003393},
timestamp = {Tue, 09 May 2023 16:56:35 +0200},
biburl = {https://dblp.org/rec/conf/icaart/KurpiewskiJS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Belardinelli0JM23,
author = {Francesco Belardinelli and
Angelo Ferrando and
Wojciech Jamroga and
Vadim Malvone and
Aniello Murano},
title = {Scalable Verification of Strategy Logic through Three-Valued Abstraction},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {46--54},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/6},
doi = {10.24963/IJCAI.2023/6},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Belardinelli0JM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JamrogaK23,
author = {Wojciech Jamroga and
Yan Kim},
title = {Practical Model Reductions for Verification of Multi-Agent Systems},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {7135--7139},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/834},
doi = {10.24963/IJCAI.2023/834},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/JamrogaK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/JamrogaK23,
author = {Wojciech Jamroga and
Yan Kim},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Practical Abstraction for Model Checking of Multi-Agent Systems},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {384--394},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/38},
doi = {10.24963/KR.2023/38},
timestamp = {Tue, 05 Sep 2023 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/kr/JamrogaK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BelardinelliJMM23,
author = {Francesco Belardinelli and
Wojciech Jamroga and
Munyque Mittelmann and
Aniello Murano},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Strategic Abilities of Forgetful Agents in Stochastic Environments},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {726--731},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/71},
doi = {10.24963/KR.2023/71},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BelardinelliJMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-01063,
author = {Damian Kurpiewski and
Wojciech Jamroga and
Teofil Sidoruk},
title = {Towards Modelling and Verification of Social Explainable {AI}},
journal = {CoRR},
volume = {abs/2302.01063},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.01063},
doi = {10.48550/ARXIV.2302.01063},
eprinttype = {arXiv},
eprint = {2302.01063},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-01063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-13405,
author = {Jaime Arias and
Wojciech Jamroga and
Wojciech Penczek and
Laure Petrucci and
Teofil Sidoruk},
title = {Strategic (Timed) Computation Tree Logic},
journal = {CoRR},
volume = {abs/2302.13405},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.13405},
doi = {10.48550/ARXIV.2302.13405},
eprinttype = {arXiv},
eprint = {2302.13405},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-13405.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-00067,
author = {Masoud Tabatabaei and
Wojciech Jamroga},
title = {Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets
Information Theory},
journal = {CoRR},
volume = {abs/2303.00067},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.00067},
doi = {10.48550/ARXIV.2303.00067},
eprinttype = {arXiv},
eprint = {2303.00067},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-00067.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-03258,
author = {Wojciech Jamroga},
title = {Pretty Good Strategies for Benaloh Challenge},
journal = {CoRR},
volume = {abs/2307.03258},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.03258},
doi = {10.48550/ARXIV.2307.03258},
eprinttype = {arXiv},
eprint = {2307.03258},
timestamp = {Mon, 10 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-03258.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-10068,
author = {Wojciech Jamroga and
Yan Kim},
title = {Practical Model Reductions for Verification of Multi-Agent Systems},
journal = {CoRR},
volume = {abs/2307.10068},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.10068},
doi = {10.48550/ARXIV.2307.10068},
eprinttype = {arXiv},
eprint = {2307.10068},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-10068.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-15686,
author = {Lukasz Mikulski and
Wojciech Jamroga and
Damian Kurpiewski},
title = {Assume-Guarantee Verification of Strategic Ability},
journal = {CoRR},
volume = {abs/2310.15686},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.15686},
doi = {10.48550/ARXIV.2310.15686},
eprinttype = {arXiv},
eprint = {2310.15686},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-15686.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-15727,
author = {Lukasz Mikulski and
Wojciech Jamroga and
Damian Kurpiewski},
title = {Towards Assume-Guarantee Verification of Strategic Ability},
journal = {CoRR},
volume = {abs/2310.15727},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.15727},
doi = {10.48550/ARXIV.2310.15727},
eprinttype = {arXiv},
eprint = {2310.15727},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-15727.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-15789,
author = {Damian Kurpiewski and
Wojciech Jamroga and
Lukasz Masko and
Lukasz Mikulski and
Witold Pazderski and
Wojciech Penczek and
Teofil Sidoruk},
title = {Verification of Multi-Agent Properties in Electronic Voting: {A} Case
Study},
journal = {CoRR},
volume = {abs/2310.15789},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.15789},
doi = {10.48550/ARXIV.2310.15789},
eprinttype = {arXiv},
eprint = {2310.15789},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-15789.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-16519,
author = {Artur Niewiadomski and
Magdalena Kacprzak and
Damian Kurpiewski and
Michal Knapik and
Wojciech Penczek and
Wojciech Jamroga},
title = {MsATL: a Tool for SAT-Based {ATL} Satisfiability Checking},
journal = {CoRR},
volume = {abs/2310.16519},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.16519},
doi = {10.48550/ARXIV.2310.16519},
eprinttype = {arXiv},
eprint = {2310.16519},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-16519.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-16531,
author = {Wojciech Jamroga and
Damian Kurpiewski},
title = {Pretty Good Strategies and Where to Find Them},
journal = {CoRR},
volume = {abs/2310.16531},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.16531},
doi = {10.48550/ARXIV.2310.16531},
eprinttype = {arXiv},
eprint = {2310.16531},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-16531.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-17219,
author = {Francesco Belardinelli and
Angelo Ferrando and
Wojciech Jamroga and
Vadim Malvone and
Aniello Murano},
title = {Scalable Verification of Strategy Logic through Three-valued Abstraction},
journal = {CoRR},
volume = {abs/2310.17219},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.17219},
doi = {10.48550/ARXIV.2310.17219},
eprinttype = {arXiv},
eprint = {2310.17219},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-17219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-17234,
author = {Catalin Dima and
Wojciech Jamroga},
title = {Computationally Feasible Strategies},
journal = {CoRR},
volume = {abs/2310.17234},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.17234},
doi = {10.48550/ARXIV.2310.17234},
eprinttype = {arXiv},
eprint = {2310.17234},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-17234.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-17240,
author = {Francesco Belardinelli and
Wojciech Jamroga and
Munyque Mittelmann and
Aniello Murano},
title = {Strategic Abilities of Forgetful Agents in Stochastic Environments},
journal = {CoRR},
volume = {abs/2310.17240},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.17240},
doi = {10.48550/ARXIV.2310.17240},
eprinttype = {arXiv},
eprint = {2310.17240},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-17240.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-18418,
author = {Damian Kurpiewski and
Witold Pazderski and
Wojciech Jamroga and
Yan Kim},
title = {STV+Reductions: Towards Practical Verification of Strategic Ability
Using Model Reductions},
journal = {CoRR},
volume = {abs/2310.18418},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.18418},
doi = {10.48550/ARXIV.2310.18418},
eprinttype = {arXiv},
eprint = {2310.18418},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-18418.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-20344,
author = {Wojciech Jamroga and
Beata Konikowska and
Damian Kurpiewski and
Wojciech Penczek},
title = {Multi-Valued Verification of Strategic Ability},
journal = {CoRR},
volume = {abs/2310.20344},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.20344},
doi = {10.48550/ARXIV.2310.20344},
eprinttype = {arXiv},
eprint = {2310.20344},
timestamp = {Fri, 03 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-20344.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-03372,
author = {Wojciech Jamroga and
Peter Y. A. Ryan and
Steve Schneider and
Carsten Sch{\"{u}}rmann and
Philip B. Stark},
title = {A Declaration of Software Independence},
journal = {CoRR},
volume = {abs/2311.03372},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.03372},
doi = {10.48550/ARXIV.2311.03372},
eprinttype = {arXiv},
eprint = {2311.03372},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-03372.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/JamrogaKM22,
author = {Wojciech Jamroga and
Damian Kurpiewski and
Vadim Malvone},
title = {How to measure usable security: Natural strategies in voting protocols},
journal = {J. Comput. Secur.},
volume = {30},
number = {3},
pages = {381--409},
year = {2022},
url = {https://doi.org/10.3233/JCS-210049},
doi = {10.3233/JCS-210049},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/JamrogaKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/JamrogaMMPPSK22,
author = {Wojtek Jamroga and
Lukasz Masko and
Lukasz Mikulski and
Witold Pazderski and
Wojciech Penczek and
Teofil Sidoruk and
Damian Kurpiewski},
editor = {David Fern{\'{a}}ndez{-}Duque and
Alessandra Palmigiano and
Sophie Pinchinat},
title = {Verification of Multi-Agent Properties in Electronic Voting: {A} Case
Study},
booktitle = {Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25,
2022},
pages = {531--556},
publisher = {College Publications},
year = {2022},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/JamrogaMMPPSK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BelardinelliJMM22,
author = {Francesco Belardinelli and
Wojtek Jamroga and
Vadim Malvone and
Munyque Mittelmann and
Aniello Murano and
Laurent Perrussel},
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {62--71},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p62.pdf},
doi = {10.5555/3535850.3535859},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/BelardinelliJMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MikulskiJK22,
author = {Lukasz Mikulski and
Wojciech Jamroga and
Damian Kurpiewski},
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {Towards Assume-Guarantee Verification of Strategic Ability},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {1702--1704},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1702.pdf},
doi = {10.5555/3535850.3536082},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/MikulskiJK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/MikulskiJK22,
author = {Lukasz Mikulski and
Wojciech Jamroga and
Damian Kurpiewski},
editor = {Reyhan Aydogan and
Natalia Criado and
J{\'{e}}r{\^{o}}me Lang and
V{\'{\i}}ctor S{\'{a}}nchez{-}Anguix and
Marc Serramia},
title = {Assume-Guarantee Verification of Strategic Ability},
booktitle = {{PRIMA} 2022: Principles and Practice of Multi-Agent Systems - 24th
International Conference, Valencia, Spain, November 16-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13753},
pages = {173--191},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21203-1\_11},
doi = {10.1007/978-3-031-21203-1\_11},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/MikulskiJK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/KurpiewskiMJ22,
author = {Damian Kurpiewski and
Lukasz Mikulski and
Wojciech Jamroga},
editor = {Reyhan Aydogan and
Natalia Criado and
J{\'{e}}r{\^{o}}me Lang and
V{\'{\i}}ctor S{\'{a}}nchez{-}Anguix and
Marc Serramia},
title = {{STV+AGR:} Towards Verification of Strategic Ability Using Assume-Guarantee
Reasoning},
booktitle = {{PRIMA} 2022: Principles and Practice of Multi-Agent Systems - 24th
International Conference, Valencia, Spain, November 16-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13753},
pages = {691--696},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21203-1\_47},
doi = {10.1007/978-3-031-21203-1\_47},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/KurpiewskiMJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-09616,
author = {Francesco Belardinelli and
Wojtek Jamroga and
Vadim Malvone and
Munyque Mittelmann and
Aniello Murano and
Laurent Perrussel},
title = {Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions},
journal = {CoRR},
volume = {abs/2201.09616},
year = {2022},
url = {https://arxiv.org/abs/2201.09616},
eprinttype = {arXiv},
eprint = {2201.09616},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-09616.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-12016,
author = {Wojciech Jamroga and
Yan Kim},
title = {Practical Abstraction for Model Checking of Multi-Agent Systems},
journal = {CoRR},
volume = {abs/2202.12016},
year = {2022},
url = {https://arxiv.org/abs/2202.12016},
eprinttype = {arXiv},
eprint = {2202.12016},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-12016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-01033,
author = {Damian Kurpiewski and
Lukasz Mikulski and
Wojciech Jamroga},
title = {{STV+AGR:} Towards Practical Verification of Strategic Ability Using
Assume-Guarantee Reasoning},
journal = {CoRR},
volume = {abs/2203.01033},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.01033},
doi = {10.48550/ARXIV.2203.01033},
eprinttype = {arXiv},
eprint = {2203.01033},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-01033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-13692,
author = {Francesco Belardinelli and
Rodica Condurache and
Catalin Dima and
Wojciech Jamroga and
Michal Knapik},
title = {Bisimulations for Verifying Strategic Abilities with an Application
to the ThreeBallot Voting Protocol},
journal = {CoRR},
volume = {abs/2203.13692},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.13692},
doi = {10.48550/ARXIV.2203.13692},
eprinttype = {arXiv},
eprint = {2203.13692},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-13692.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-10694,
author = {Wojciech Jamroga and
Peter Y. A. Ryan and
Yan Kim},
title = {Verification of the Socio-Technical Aspects of Voting: The Case of
the Polish Postal Vote 2020},
journal = {CoRR},
volume = {abs/2210.10694},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.10694},
doi = {10.48550/ARXIV.2210.10694},
eprinttype = {arXiv},
eprint = {2210.10694},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-10694.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BelardinelliCDJ21,
author = {Francesco Belardinelli and
Rodica Condurache and
Catalin Dima and
Wojciech Jamroga and
Michal Knapik},
title = {Bisimulations for verifying strategic abilities with an application
to the ThreeBallot voting protocol},
journal = {Inf. Comput.},
volume = {276},
pages = {104552},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104552},
doi = {10.1016/J.IC.2020.104552},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BelardinelliCDJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaPS21,
author = {Wojciech Jamroga and
Wojciech Penczek and
Teofil Sidoruk},
editor = {Frank Dignum and
Alessio Lomuscio and
Ulle Endriss and
Ann Now{\'{e}}},
title = {Strategic Abilities of Asynchronous Agents: Semantic Side Effects},
booktitle = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
pages = {1545--1547},
publisher = {{ACM}},
year = {2021},
url = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1545.pdf},
doi = {10.5555/3463952.3464154},
timestamp = {Wed, 20 Jul 2022 17:03:47 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/KurpiewskiPJK21,
author = {Damian Kurpiewski and
Witold Pazderski and
Wojciech Jamroga and
Yan Kim},
editor = {Frank Dignum and
Alessio Lomuscio and
Ulle Endriss and
Ann Now{\'{e}}},
title = {STV+Reductions: Towards Practical Verification of Strategic Ability
Using Model Reductions},
booktitle = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
pages = {1770--1772},
publisher = {{ACM}},
year = {2021},
url = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1770.pdf},
doi = {10.5555/3463952.3464232},
timestamp = {Wed, 20 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/KurpiewskiPJK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JamrogaRSSS21,
author = {Wojciech Jamroga and
Peter Y. A. Ryan and
Steve Schneider and
Carsten Sch{\"{u}}rmann and
Philip B. Stark},
editor = {Daniel Dougherty and
Jos{\'{e}} Meseguer and
Sebastian Alexander M{\"{o}}dersheim and
Paul D. Rowe},
title = {A Declaration of Software Independence},
booktitle = {Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman
on the Occasion of his 66.66th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13066},
pages = {198--217},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91631-2\_11},
doi = {10.1007/978-3-030-91631-2\_11},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/JamrogaRSSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/JamrogaPS21,
author = {Wojciech Jamroga and
Wojciech Penczek and
Teofil Sidoruk},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Strategic Abilities of Asynchronous Agents: Semantic Side Effects
and How to Tame Them},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {368--378},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/35},
doi = {10.24963/KR.2021/35},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/JamrogaPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-09241,
author = {Wojciech Jamroga},
title = {A Survey of Requirements for {COVID-19} Mitigation Strategies. Part
{II:} Elicitation of Requirements},
journal = {CoRR},
volume = {abs/2101.09241},
year = {2021},
url = {https://arxiv.org/abs/2101.09241},
eprinttype = {arXiv},
eprint = {2101.09241},
timestamp = {Sat, 30 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-09241.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-01995,
author = {Gergei Bana and
Wojciech Jamroga and
David Naccache and
Peter Y. A. Ryan},
title = {Convergence Voting: From Pairwise Comparisons to Consensus},
journal = {CoRR},
volume = {abs/2102.01995},
year = {2021},
url = {https://arxiv.org/abs/2102.01995},
eprinttype = {arXiv},
eprint = {2102.01995},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-01995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JamrogaKKP20,
author = {Wojciech Jamroga and
Beata Konikowska and
Damian Kurpiewski and
Wojciech Penczek},
title = {Multi-valued Verification of Strategic Ability},
journal = {Fundam. Informaticae},
volume = {175},
number = {1-4},
pages = {207--251},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1955},
doi = {10.3233/FI-2020-1955},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JamrogaKKP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/JamrogaPSDM20,
author = {Wojciech Jamroga and
Wojciech Penczek and
Teofil Sidoruk and
Piotr Dembinski and
Antoni W. Mazurkiewicz},
title = {Towards Partial Order Reductions for Strategic Ability},
journal = {J. Artif. Intell. Res.},
volume = {68},
pages = {817--850},
year = {2020},
url = {https://doi.org/10.1613/jair.1.11936},
doi = {10.1613/JAIR.1.11936},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/JamrogaPSDM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/0001KKKPJ20,
author = {Artur Niewiadomski and
Magdalena Kacprzak and
Damian Kurpiewski and
Michal Knapik and
Wojciech Penczek and
Wojciech Jamroga},
editor = {Amal El Fallah Seghrouchni and
Gita Sukthankar and
Bo An and
Neil Yorke{-}Smith},
title = {MsATL: {A} Tool for SAT-Based {ATL} Satisfiability Checking},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13,
2020},
pages = {2111--2113},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2020},
url = {https://dl.acm.org/doi/10.5555/3398761.3399092},
doi = {10.5555/3398761.3399092},
timestamp = {Tue, 26 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/0001KKKPJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoteid/JamrogaKKR20,
author = {Wojciech Jamroga and
Yan Kim and
Damian Kurpiewski and
Peter Y. A. Ryan},
editor = {Robert Krimmer and
Melanie Volkamer and
Bernhard Beckert and
Ralf K{\"{u}}sters and
Oksana Kulyk and
David Duenas{-}Cid and
Mikhel Solvak},
title = {Towards Model Checking of Voting Protocols in Uppaal},
booktitle = {Electronic Voting - 5th International Joint Conference, E-Vote-ID
2020, Bregenz, Austria, October 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12455},
pages = {129--146},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60347-2\_9},
doi = {10.1007/978-3-030-60347-2\_9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/evoteid/JamrogaKKR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stast/JamrogaKM20,
author = {Wojciech Jamroga and
Damian Kurpiewski and
Vadim Malvone},
editor = {Thomas Gro{\ss} and
Luca Vigan{\`{o}}},
title = {Natural Strategic Abilities in Voting Protocols},
booktitle = {Socio-Technical Aspects in Security and Trust - 10th International
Workshop, {STAST} 2020, Virtual Event, September 14, 2020, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12812},
pages = {45--62},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-79318-0\_3},
doi = {10.1007/978-3-030-79318-0\_3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stast/JamrogaKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-03867,
author = {Wojciech Jamroga and
Wojciech Penczek and
Teofil Sidoruk},
title = {Strategic Abilities of Asynchronous Agents: Semantic Paradoxes and
How to Tame Them},
journal = {CoRR},
volume = {abs/2003.03867},
year = {2020},
url = {https://arxiv.org/abs/2003.03867},
eprinttype = {arXiv},
eprint = {2003.03867},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-03867.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-12412,
author = {Wojciech Jamroga and
Yan Kim and
Damian Kurpiewski and
Peter Y. A. Ryan},
title = {Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal},
journal = {CoRR},
volume = {abs/2007.12412},
year = {2020},
url = {https://arxiv.org/abs/2007.12412},
eprinttype = {arXiv},
eprint = {2007.12412},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-12412.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-12424,
author = {Wojciech Jamroga and
Damian Kurpiewski and
Vadim Malvone},
title = {Natural Strategic Abilities in Voting Protocols},
journal = {CoRR},
volume = {abs/2007.12424},
year = {2020},
url = {https://arxiv.org/abs/2007.12424},
eprinttype = {arXiv},
eprint = {2007.12424},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-12424.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-07887,
author = {Wojciech Jamroga and
David Mestel and
Peter B. R{\o}nne and
Peter Y. A. Ryan and
Marjan Skrobot},
title = {A Survey of Requirements for {COVID-19} Mitigation Strategies. Part
{I:} Newspaper Clips},
journal = {CoRR},
volume = {abs/2011.07887},
year = {2020},
url = {https://arxiv.org/abs/2011.07887},
eprinttype = {arXiv},
eprint = {2011.07887},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-07887.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/JamrogaKKM19,
author = {Wojciech Jamroga and
Michal Knapik and
Damian Kurpiewski and
Lukasz Mikulski},
title = {Approximate verification of strategic abilities under imperfect information},
journal = {Artif. Intell.},
volume = {277},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2019.103172},
doi = {10.1016/J.ARTINT.2019.103172},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/JamrogaKKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/JamrogaMM19,
author = {Wojciech Jamroga and
Vadim Malvone and
Aniello Murano},
title = {Natural strategic ability},
journal = {Artif. Intell.},
volume = {277},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2019.103170},
doi = {10.1016/J.ARTINT.2019.103170},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/JamrogaMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/KnapikAPJP19,
author = {Michal Knapik and
{\'{E}}tienne Andr{\'{e}} and
Laure Petrucci and
Wojciech Jamroga and
Wojciech Penczek},
title = {Timed {ATL:} Forget Memory, Just Count},
journal = {J. Artif. Intell. Res.},
volume = {66},
pages = {197--223},
year = {2019},
url = {https://doi.org/10.1613/jair.1.11612},
doi = {10.1613/JAIR.1.11612},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/KnapikAPJP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BullingJP19,
author = {Nils Bulling and
Wojciech Jamroga and
Matei Popovici},
title = {Reasoning about Strategic Abilities: Agents with Truly Perfect Recall},
journal = {{ACM} Trans. Comput. Log.},
volume = {20},
number = {2},
pages = {10:1--10:46},
year = {2019},
url = {https://doi.org/10.1145/3309761},
doi = {10.1145/3309761},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BullingJP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/KurpiewskiKJ19,
author = {Damian Kurpiewski and
Michal Knapik and
Wojciech Jamroga},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {On Domination and Control in Strategic Ability},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {197--205},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331693},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/KurpiewskiKJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/YazdanpanahDJAL19,
author = {Vahid Yazdanpanah and
Mehdi Dastani and
Wojciech Jamroga and
Natasha Alechina and
Brian Logan},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {Strategic Responsibility Under Imperfect Information},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {592--600},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331745},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/YazdanpanahDJAL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaMM19,
author = {Wojciech Jamroga and
Vadim Malvone and
Aniello Murano},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {Natural Strategic Ability under Imperfect Information},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {962--970},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3331791},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/KurpiewskiJK19,
author = {Damian Kurpiewski and
Wojciech Jamroga and
Michal Knapik},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {{STV:} Model Checking for Strategies under Imperfect Information},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {2372--2374},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3332116},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/KurpiewskiJK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bnaic/KurpiewskiKJ19,
author = {Damian Kurpiewski and
Michal Knapik and
Wojciech Jamroga},
editor = {Katrien Beuls and
Bart Bogaerts and
Gianluca Bontempi and
Pierre Geurts and
Nick Harley and
Bertrand Lebichot and
Tom Lenaerts and
Gilles Louppe and
Paul Van Eecke},
title = {On Domination and Control in Strategic Ability},
booktitle = {Proceedings of the 31st Benelux Conference on Artificial Intelligence
{(BNAIC} 2019) and the 28th Belgian Dutch Conference on Machine Learning
(Benelearn 2019), Brussels, Belgium, November 6-8, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2491},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2491/abstract8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:44 +0100},
biburl = {https://dblp.org/rec/conf/bnaic/KurpiewskiKJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelardinelliJKM19,
author = {Francesco Belardinelli and
Wojciech Jamroga and
Damian Kurpiewski and
Vadim Malvone and
Aniello Murano},
editor = {Sarit Kraus},
title = {Strategy Logic with Simple Goals: Tractable Reasoning about Strategies},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {88--94},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/13},
doi = {10.24963/IJCAI.2019/13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliJKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JamrogaK19,
author = {Wojciech Jamroga and
Michal Knapik},
editor = {Sarit Kraus},
title = {Some Things are Easier for the Dumb and the Bright Ones (Beware the
Average!)},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1734--1740},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/240},
doi = {10.24963/IJCAI.2019/240},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/JamrogaK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/JamrogaRRS19,
author = {Wojciech Jamroga and
Peter B. R{\o}nne and
Peter Y. A. Ryan and
Philip B. Stark},
editor = {Robert Krimmer and
Melanie Volkamer and
V{\'{e}}ronique Cortier and
Bernhard Beckert and
Ralf K{\"{u}}sters and
Uwe Serd{\"{u}}lt and
David Duenas{-}Cid},
title = {Risk-Limiting Tallies},
booktitle = {Electronic Voting - 4th International Joint Conference, E-Vote-ID
2019, Bregenz, Austria, October 1-4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11759},
pages = {183--199},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30625-0\_12},
doi = {10.1007/978-3-030-30625-0\_12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/voteid/JamrogaRRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-04947,
author = {Wojciech Jamroga and
Peter B. R{\o}nne and
Peter Y. A. Ryan and
Philip B. Stark},
title = {Risk-Limiting Tallies},
journal = {CoRR},
volume = {abs/1908.04947},
year = {2019},
url = {http://arxiv.org/abs/1908.04947},
eprinttype = {arXiv},
eprint = {1908.04947},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-04947.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/JamrogaT18,
author = {Wojciech Jamroga and
Masoud Tabatabaei},
title = {Accumulative knowledge under bounded resources},
journal = {J. Log. Comput.},
volume = {28},
number = {3},
pages = {581--604},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv003},
doi = {10.1093/LOGCOM/EXV003},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/JamrogaT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaPDM18,
author = {Wojciech Jamroga and
Wojciech Penczek and
Piotr Dembinski and
Antoni W. Mazurkiewicz},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Towards Partial Order Reductions for Strategic Ability},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {156--165},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3237413},
timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaPDM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Jamroga18,
author = {Wojciech Jamroga},
editor = {Natasha Alechina and
Kjetil N{\o}rv{\aa}g and
Wojciech Penczek},
title = {Model Checking Strategic Ability - Why, What, and Especially: How?
(Invited Paper)},
booktitle = {25th International Symposium on Temporal Representation and Reasoning,
{TIME} 2018, Warsaw, Poland, October 15-17, 2018},
series = {LIPIcs},
volume = {120},
pages = {3:1--3:10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.TIME.2018.3},
doi = {10.4230/LIPICS.TIME.2018.3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/Jamroga18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/JamrogaKK18,
author = {Wojciech Jamroga and
Michal Knapik and
Damian Kurpiewski},
editor = {Robert Krimmer and
Melanie Volkamer and
V{\'{e}}ronique Cortier and
Rajeev Gor{\'{e}} and
Manik Hapsara and
Uwe Serd{\"{u}}lt and
David Duenas{-}Cid},
title = {Model Checking the {SELENE} E-Voting Protocol in Multi-agent Logics},
booktitle = {Electronic Voting - Third International Joint Conference, E-Vote-ID
2018, Bregenz, Austria, October 2-5, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11143},
pages = {100--116},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00419-4\_7},
doi = {10.1007/978-3-030-00419-4\_7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/voteid/JamrogaKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/PileckiBJ17,
author = {Jerzy Pilecki and
Marek A. Bednarczyk and
Wojciech Jamroga},
title = {{SMC:} synthesis of uniform strategies and verification of strategic
ability for multi-agent systems},
journal = {J. Log. Comput.},
volume = {27},
number = {7},
pages = {1871--1895},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw032},
doi = {10.1093/LOGCOM/EXW032},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/PileckiBJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaMM17,
author = {Wojciech Jamroga and
Vadim Malvone and
Aniello Murano},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Reasoning about Natural Strategic Ability},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {714--722},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091227},
timestamp = {Wed, 27 Sep 2017 07:24:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaKK17,
author = {Wojciech Jamroga and
Michal Knapik and
Damian Kurpiewski},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Fixpoint Approximation of Strategic Abilities under Imperfect Information},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {1241--1249},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091298},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BelardinelliCDJ17,
author = {Francesco Belardinelli and
Rodica Condurache and
Catalin Dima and
Wojciech Jamroga and
Andrew V. Jones},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Bisimulations for Verifying Strategic Abilities with an Application
to ThreeBallot},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {1286--1295},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091303},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/BelardinelliCDJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AndrePJKP17,
author = {{\'{E}}tienne Andr{\'{e}} and
Laure Petrucci and
Wojciech Jamroga and
Michal Knapik and
Wojciech Penczek},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Timed {ATL:} Forget Memory, Just Count},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {1460--1462},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091329},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/AndrePJKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/GorankoJ16,
author = {Valentin Goranko and
Wojciech Jamroga},
title = {State and path coalition effectivity models of concurrent multi-player
games},
journal = {Auton. Agents Multi Agent Syst.},
volume = {30},
number = {3},
pages = {446--485},
year = {2016},
url = {https://doi.org/10.1007/s10458-015-9294-4},
doi = {10.1007/S10458-015-9294-4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/GorankoJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaKP16,
author = {Wojciech Jamroga and
Beata Konikowska and
Wojciech Penczek},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Multi-Valued Verification of Strategic Ability},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {1180--1189},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937097},
timestamp = {Fri, 20 May 2016 20:33:29 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/SchlingloffSJ16,
author = {Bernd{-}Holger Schlingloff and
Henry Stubert and
Wojciech Jamroga},
title = {Collaborative embedded systems - a case study},
booktitle = {3rd International Workshop on Emerging Ideas and Trends in Engineering
of Cyber-Physical Systems, EITEC@CPSWeek 2016, Vienna, Austria, April
11, 2016},
pages = {17--22},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/EITEC.2016.7503691},
doi = {10.1109/EITEC.2016.7503691},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/SchlingloffSJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/TabatabaeiJR16,
author = {Masoud Tabatabaei and
Wojciech Jamroga and
Peter Y. A. Ryan},
title = {Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic
Ability: Preliminary Attempt},
booktitle = {Proceedings of the 1st International Workshop on {AI} for Privacy
and Security, PrAISe@ECAI 2016, The Hague, Netherlands, August 29-30,
2016},
pages = {1:1--1:8},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970030.2970039},
doi = {10.1145/2970030.2970039},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/TabatabaeiJR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/SlavkovikJ16,
author = {Marija Slavkovik and
Wojciech Jamroga},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {Iterative Judgment Aggregation},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {1528--1536},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1528},
doi = {10.3233/978-1-61499-672-9-1528},
timestamp = {Tue, 21 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/SlavkovikJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/JamrogaT16,
author = {Wojciech Jamroga and
Masoud Tabatabaei},
editor = {Gilles Barthe and
Evangelos P. Markatos and
Pierangela Samarati},
title = {Information Security as Strategic (In)effectivity},
booktitle = {Security and Trust Management - 12th International Workshop, {STM}
2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9871},
pages = {154--169},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46598-2\_11},
doi = {10.1007/978-3-319-46598-2\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stm/JamrogaT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/voteid/JamrogaT16,
author = {Wojciech Jamroga and
Masoud Tabatabaei},
editor = {Robert Krimmer and
Melanie Volkamer and
Jordi Barrat and
Josh Benaloh and
Nicole J. Goodman and
Peter Y. A. Ryan and
Vanessa Teague},
title = {Preventing Coercion in E-Voting: Be Open and Commit},
booktitle = {Electronic Voting - First International Joint Conference, E-Vote-ID
2016, Bregenz, Austria, October 18-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10141},
pages = {1--17},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-52240-1\_1},
doi = {10.1007/978-3-319-52240-1\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/voteid/JamrogaT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SlavkovikJ16,
author = {Marija Slavkovik and
Wojciech Jamroga},
title = {A Deliberation Procedure for Judgment Aggregation Problems},
journal = {CoRR},
volume = {abs/1604.06356},
year = {2016},
url = {http://arxiv.org/abs/1604.06356},
eprinttype = {arXiv},
eprint = {1604.06356},
timestamp = {Tue, 21 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/SlavkovikJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JamrogaT16,
author = {Wojciech Jamroga and
Masoud Tabatabaei},
title = {Information Security as Strategic (In)effectivity},
journal = {CoRR},
volume = {abs/1608.02247},
year = {2016},
url = {http://arxiv.org/abs/1608.02247},
eprinttype = {arXiv},
eprint = {1608.02247},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JamrogaT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JamrogaKK16,
author = {Wojciech Jamroga and
Michal Knapik and
Damian Kurpiewski},
title = {An Approach to Model Checking ATLir},
journal = {CoRR},
volume = {abs/1612.02684},
year = {2016},
url = {http://arxiv.org/abs/1612.02684},
eprinttype = {arXiv},
eprint = {1612.02684},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JamrogaKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaM15,
author = {Wojciech Jamroga and
Aniello Murano},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {Module Checking of Strategic Ability},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {227--235},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2772911},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/JamrogaM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/JamrogaM15,
author = {Wojciech Jamroga and
Aniello Murano},
editor = {Qingliang Chen and
Paolo Torroni and
Serena Villata and
Jane Yung{-}jen Hsu and
Andrea Omicini},
title = {Module Checking for Uncertain Agents},
booktitle = {{PRIMA} 2015: Principles and Practice of Multi-Agent Systems - 18th
International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9387},
pages = {232--247},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25524-8\_15},
doi = {10.1007/978-3-319-25524-8\_15},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/JamrogaM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sec/JamrogaT15,
author = {Wojciech Jamroga and
Masoud Tabatabaei},
editor = {Hannes Federrath and
Dieter Gollmann},
title = {Strategic Noninterference},
booktitle = {{ICT} Systems Security and Privacy Protection - 30th {IFIP} {TC} 11
International Conference, {SEC} 2015, Hamburg, Germany, May 26-28,
2015, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {455},
pages = {67--81},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18467-8\_5},
doi = {10.1007/978-3-319-18467-8\_5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sec/JamrogaT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BullingGJ15,
author = {Nils Bulling and
Valentin Goranko and
Wojciech Jamroga},
editor = {Johan van Benthem and
Sujata Ghosh and
Rineke Verbrugge},
title = {Logics for Reasoning About Strategic Abilities in Multi-player Games},
booktitle = {Models of Strategic Reasoning - Logics, Games, and Communities},
series = {Lecture Notes in Computer Science},
volume = {8972},
pages = {93--136},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48540-8\_4},
doi = {10.1007/978-3-662-48540-8\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/BullingGJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JamrogaKK15,
author = {Wojciech Jamroga and
Michal Knapik and
Damian Kurpiewski},
title = {Approximating Strategic Abilities under Imperfect Information: a Naive
Approach},
journal = {CoRR},
volume = {abs/1510.06587},
year = {2015},
url = {http://arxiv.org/abs/1510.06587},
eprinttype = {arXiv},
eprint = {1510.06587},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JamrogaKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/BullingJ14,
author = {Nils Bulling and
Wojciech Jamroga},
title = {Comparing variants of strategic ability: how uncertainty and memory
influence general properties of games},
journal = {Auton. Agents Multi Agent Syst.},
volume = {28},
number = {3},
pages = {474--518},
year = {2014},
url = {https://doi.org/10.1007/s10458-013-9231-3},
doi = {10.1007/S10458-013-9231-3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/BullingJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaM14,
author = {Wojciech Jamroga and
Aniello Murano},
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {On module checking and strategies},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {701--708},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2615845},
timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BullingJP14,
author = {Nils Bulling and
Wojciech Jamroga and
Matei Popovici},
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {Agents with truly perfect recall in alternating-time temporal logic},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {1561--1562},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2616062},
timestamp = {Thu, 25 Sep 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/BullingJP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/PileckiBJ14,
author = {Jerzy Pilecki and
Marek A. Bednarczyk and
Wojciech Jamroga},
editor = {Nils Bulling and
Leendert W. N. van der Torre and
Serena Villata and
Wojtek Jamroga and
Wamberto Weber Vasconcelos},
title = {Synthesis and Verification of Uniform Strategies for Multi-agent Systems},
booktitle = {Computational Logic in Multi-Agent Systems - 15th International Workshop,
{CLIMA} XV, Prague, Czech Republic, August 18-19, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8624},
pages = {166--182},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09764-0\_11},
doi = {10.1007/978-3-319-09764-0\_11},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/PileckiBJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BullingJP14,
author = {Nils Bulling and
Wojciech Jamroga and
Matei Popovici},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {ATL* With Truly Perfect Recall: Expressivity and Validities},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {177--182},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-177},
doi = {10.3233/978-1-61499-419-0-177},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BullingJP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/is/PileckiBJ14,
author = {Jerzy Pilecki and
Marek A. Bednarczyk and
Wojciech Jamroga},
editor = {Plamen P. Angelov and
Krassimir T. Atanassov and
Lyubka Doukovska and
Mincho Hadjiski and
Vladimir Simov Jotsov and
Janusz Kacprzyk and
Nikola K. Kasabov and
Sotir Sotirov and
Eulalia Szmidt and
Slawomir Zadrozny},
title = {Model Checking Properties of Multi-agent Systems with Imperfect Information
and Imperfect Recall},
booktitle = {Intelligent Systems'2014 - Proceedings of the 7th International Conference
Intelligent Systems {IEEE} IS'2014, September 24-26, 2014, Warsaw,
Poland, Volume 1: Mathematical Foundations, Theory, Analyses},
series = {Advances in Intelligent Systems and Computing},
volume = {322},
pages = {415--426},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11313-5\_37},
doi = {10.1007/978-3-319-11313-5\_37},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/is/PileckiBJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/KazmierczakAJ14,
author = {Piotr Kazmierczak and
Thomas {\AA}gotnes and
Wojciech Jamroga},
editor = {Hoa Khanh Dam and
Jeremy V. Pitt and
Yang Xu and
Guido Governatori and
Takayuki Ito},
title = {Multi-agency Is Coordination and (Limited) Communication},
booktitle = {{PRIMA} 2014: Principles and Practice of Multi-Agent Systems - 17th
International Conference, Gold Coast, QLD, Australia, December 1-5,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8861},
pages = {91--106},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13191-7\_8},
doi = {10.1007/978-3-319-13191-7\_8},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/KazmierczakAJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JamrogaMS14,
author = {Wojciech Jamroga and
Matthijs Melissen and
Henning Schnoor},
editor = {Fabio Mogavero and
Aniello Murano and
Moshe Y. Vardi},
title = {On Defendability of Security Properties},
booktitle = {Proceedings 2nd International Workshop on Strategic Reasoning, {SR}
2014, Grenoble, France, April 5-6, 2014},
series = {{EPTCS}},
volume = {146},
pages = {17--25},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.146.3},
doi = {10.4204/EPTCS.146.3},
timestamp = {Sat, 30 Sep 2023 10:08:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JamrogaMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clima/2014,
editor = {Nils Bulling and
Leendert W. N. van der Torre and
Serena Villata and
Wojtek Jamroga and
Wamberto Weber Vasconcelos},
title = {Computational Logic in Multi-Agent Systems - 15th International Workshop,
{CLIMA} XV, Prague, Czech Republic, August 18-19, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8624},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09764-0},
doi = {10.1007/978-3-319-09764-0},
isbn = {978-3-319-09763-3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/GorankoJT13,
author = {Valentin Goranko and
Wojciech Jamroga and
Paolo Turrini},
title = {Strategic games and truly playable effectivity functions},
journal = {Auton. Agents Multi Agent Syst.},
volume = {26},
number = {2},
pages = {288--314},
year = {2013},
url = {https://doi.org/10.1007/s10458-012-9192-y},
doi = {10.1007/S10458-012-9192-Y},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/GorankoJT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/JamrogaS13,
author = {Wojciech Jamroga and
Marija Slavkovik},
editor = {Stephen Cranefield and
Abhaya C. Nayak},
title = {Some Complexity Results for Distance-Based Judgment Aggregation},
booktitle = {{AI} 2013: Advances in Artificial Intelligence - 26th Australasian
Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8272},
pages = {313--325},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03680-9\_33},
doi = {10.1007/978-3-319-03680-9\_33},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/JamrogaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/JamrogaT13,
author = {Wojciech Jamroga and
Masoud Tabatabaei},
editor = {Jo{\~{a}}o Leite and
Tran Cao Son and
Paolo Torroni and
Leon van der Torre and
Stefan Woltran},
title = {Accumulative Knowledge under Bounded Resources},
booktitle = {Computational Logic in Multi-Agent Systems - 14th International Workshop,
{CLIMA} XIV, Corunna, Spain, September 16-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8143},
pages = {206--222},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40624-9\_13},
doi = {10.1007/978-3-642-40624-9\_13},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/JamrogaT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/JamrogaMS13,
author = {Wojciech Jamroga and
Matthijs Melissen and
Henning Schnoor},
editor = {Guido Boella and
Edith Elkind and
Bastin Tony Roy Savarimuthu and
Frank Dignum and
Martin K. Purvis},
title = {Defendable Security in Interaction Protocols},
booktitle = {{PRIMA} 2013: Principles and Practice of Multi-Agent Systems - 16th
International Conference, Dunedin, New Zealand, December 1-6, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8291},
pages = {132--148},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-44927-7\_10},
doi = {10.1007/978-3-642-44927-7\_10},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/JamrogaMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JamrogaMS13,
author = {Wojciech Jamroga and
Artur Meski and
Maciej Szreter},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Modularity and Openness in Modeling Multi-Agent Systems},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {224--239},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.19},
doi = {10.4204/EPTCS.119.19},
timestamp = {Fri, 27 Mar 2020 08:38:57 +0100},
biburl = {https://dblp.org/rec/journals/corr/JamrogaMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aamas/GorankoJ12,
author = {Valentin Goranko and
Wojciech Jamroga},
editor = {Wiebe van der Hoek and
Lin Padgham and
Vincent Conitzer and
Michael Winikoff},
title = {State and path coalition effectivity models for logics of multi-player
games},
booktitle = {International Conference on Autonomous Agents and Multiagent Systems,
{AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)},
pages = {1123--1130},
publisher = {{IFAAMAS}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2343857},
timestamp = {Thu, 19 Mar 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aamas/GorankoJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aamas/SlavkovikJ12,
author = {Marija Slavkovik and
Wojciech Jamroga},
editor = {Wiebe van der Hoek and
Lin Padgham and
Vincent Conitzer and
Michael Winikoff},
title = {Distance-based rules for weighted judgment aggregation},
booktitle = {International Conference on Autonomous Agents and Multiagent Systems,
{AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)},
pages = {1405--1406},
publisher = {{IFAAMAS}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2344030},
timestamp = {Tue, 21 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aamas/SlavkovikJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Jamroga12,
author = {Wojciech Jamroga},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {Concepts, Agents, and Coalitions in Alternating Time},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {438--443},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-438},
doi = {10.3233/978-1-61499-098-7-438},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Jamroga12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/GorankoJ11,
author = {Valentin Goranko and
Wojciech Jamroga},
title = {Foreword},
journal = {J. Appl. Non Class. Logics},
volume = {21},
number = {1},
pages = {7--8},
year = {2011},
url = {https://doi.org/10.1080/11663081.2011.9736653},
doi = {10.1080/11663081.2011.9736653},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/GorankoJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GorankoJT11,
author = {Valentin Goranko and
Wojciech Jamroga and
Paolo Turrini},
editor = {Liz Sonenberg and
Peter Stone and
Kagan Tumer and
Pinar Yolum},
title = {Strategic games and truly playable effectivity functions},
booktitle = {10th International Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3},
pages = {727--734},
publisher = {{IFAAMAS}},
year = {2011},
url = {http://portal.acm.org/citation.cfm?id=2031721\&\#38;CFID=54178199\&\#38;CFTOKEN=61392764},
timestamp = {Fri, 18 Nov 2011 09:09:28 +0100},
biburl = {https://dblp.org/rec/conf/atal/GorankoJT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/JamrogaM11,
author = {Wojciech Jamroga and
Matthijs Melissen},
editor = {Luis Antunes and
Helena Sofia Pinto},
title = {Doubtful Deviations and Farsighted Play},
booktitle = {Progress in Artificial Intelligence, 15th Portuguese Conference on
Artificial Intelligence, {EPIA} 2011, Lisbon, Portugal, October 10-13,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7026},
pages = {506--520},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24769-9\_37},
doi = {10.1007/978-3-642-24769-9\_37},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epia/JamrogaM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esslli/JamrogaP11,
author = {Wojciech Jamroga and
Wojciech Penczek},
editor = {Nick Bezhanishvili and
Valentin Goranko},
title = {Specification and Verification of Multi-Agent Systems},
booktitle = {Lectures on Logic and Computation - {ESSLLI} 2010 Copenhagen, Denmark,
August 2010, {ESSLLI} 2011, Ljubljana, Slovenia, August 2011, Selected
Lecture Notes},
series = {Lecture Notes in Computer Science},
volume = {7388},
pages = {210--263},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31485-8\_6},
doi = {10.1007/978-3-642-31485-8\_6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esslli/JamrogaP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BullingJ11,
author = {Nils Bulling and
Wojciech Jamroga},
editor = {Toby Walsh},
title = {Alternating Epistemic Mu-Calculus},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {109--114},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-030},
doi = {10.5591/978-1-57735-516-8/IJCAI11-030},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BullingJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JamrogaB11,
author = {Wojciech Jamroga and
Nils Bulling},
editor = {Toby Walsh},
title = {Comparing Variants of Strategic Ability},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {252--257},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-053},
doi = {10.5591/978-1-57735-516-8/IJCAI11-053},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/JamrogaB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NovakJ11,
author = {Peter Nov{\'{a}}k and
Wojciech Jamroga},
editor = {Toby Walsh},
title = {Agents, Actions and Goals in Dynamic Environments},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {313--318},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-062},
doi = {10.5591/978-1-57735-516-8/IJCAI11-062},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NovakJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/JamrogaMM11,
author = {Wojciech Jamroga and
Sjouke Mauw and
Matthijs Melissen},
editor = {Catherine Meadows and
M. Carmen Fern{\'{a}}ndez Gago},
title = {Fairness in Non-Repudiation Protocols},
booktitle = {Security and Trust Management - 7th International Workshop, {STM}
2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7170},
pages = {122--139},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29963-6\_10},
doi = {10.1007/978-3-642-29963-6\_10},
timestamp = {Tue, 19 Sep 2023 14:44:32 +0200},
biburl = {https://dblp.org/rec/conf/stm/JamrogaMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DitmarschDGJO11,
author = {Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Valentin Goranko and
Wojtek Jamroga and
Manuel Ojeda{-}Aciego},
editor = {Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Valentin Goranko and
Wojciech Jamroga and
Manuel Ojeda{-}Aciego},
title = {Preface},
booktitle = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {278},
pages = {1--2},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.10.001},
doi = {10.1016/J.ENTCS.2011.10.001},
timestamp = {Fri, 10 Mar 2023 15:30:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DitmarschDGJO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/m4m/2011,
editor = {Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Valentin Goranko and
Wojciech Jamroga and
Manuel Ojeda{-}Aciego},
title = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {278},
publisher = {Elsevier},
year = {2011},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/278/suppl/C},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/m4m/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DixJS11,
author = {J{\"{u}}rgen Dix and
Wojtek Jamroga and
Dov Samet},
title = {Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl
Seminar 11101)},
journal = {Dagstuhl Reports},
volume = {1},
number = {3},
pages = {1--18},
year = {2011},
url = {https://doi.org/10.4230/DagRep.1.3.1},
doi = {10.4230/DAGREP.1.3.1},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/DixJS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/BullingJ10,
author = {Nils Bulling and
Wojciech Jamroga},
title = {Verifying agents with memory is harder than it seemed},
journal = {{AI} Commun.},
volume = {23},
number = {4},
pages = {389--403},
year = {2010},
url = {https://doi.org/10.3233/AIC-2010-0481},
doi = {10.3233/AIC-2010-0481},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/BullingJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BullingJ10,
author = {Nils Bulling and
Wojciech Jamroga},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {Verifying agents with memory is harder than it seemed},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {699--706},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838298},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/BullingJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/DastaniJ10,
author = {Mehdi Dastani and
Wojciech Jamroga},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {Reasoning about strategies of multi-agent programs},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {997--1004},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838340},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/DastaniJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clima/2010,
editor = {J{\"{u}}rgen Dix and
Jo{\~{a}}o Leite and
Guido Governatori and
Wojtek Jamroga},
title = {Computational Logic in Multi-Agent Systems, 11th International Workshop,
{CLIMA} XI, Lisbon, Portugal, August 16-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6245},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14977-1},
doi = {10.1007/978-3-642-14977-1},
isbn = {978-3-642-14976-4},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BullingJ09,
author = {Nils Bulling and
Wojciech Jamroga},
title = {What Agents Can Probably Enforce},
journal = {Fundam. Informaticae},
volume = {93},
number = {1-3},
pages = {81--96},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0089},
doi = {10.3233/FI-2009-0089},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BullingJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/NovakJ09,
author = {Peter Nov{\'{a}}k and
Wojciech Jamroga},
editor = {Carles Sierra and
Cristiano Castelfranchi and
Keith S. Decker and
Jaime Sim{\~{a}}o Sichman},
title = {Code patterns for agent-oriented programming},
booktitle = {8th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2009), Budapest, Hungary, May 10-15, 2009, Volume
1},
pages = {105--112},
publisher = {{IFAAMAS}},
year = {2009},
url = {https://dl.acm.org/citation.cfm?id=1558027},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/NovakJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BullingJ09,
author = {Nils Bulling and
Wojciech Jamroga},
editor = {Carles Sierra and
Cristiano Castelfranchi and
Keith S. Decker and
Jaime Sim{\~{a}}o Sichman},
title = {Rational play and rational beliefs under uncertainty},
booktitle = {8th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2009), Budapest, Hungary, May 10-15, 2009, Volume
1},
pages = {257--264},
publisher = {{IFAAMAS}},
year = {2009},
url = {https://dl.acm.org/citation.cfm?id=1558048},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/BullingJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SeylanJ09,
author = {Inan{\c{c}} Seylan and
Wojciech Jamroga},
editor = {Carles Sierra and
Cristiano Castelfranchi and
Keith S. Decker and
Jaime Sim{\~{a}}o Sichman},
title = {Description logic for coalitions},
booktitle = {8th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2009), Budapest, Hungary, May 10-15, 2009, Volume
1},
pages = {425--432},
publisher = {{IFAAMAS}},
year = {2009},
url = {https://dl.acm.org/citation.cfm?id=1558071},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/SeylanJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SeylanJ10,
author = {Inan{\c{c}} Seylan and
Wojciech Jamroga},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner},
title = {Coalition Description Logic with Individuals},
booktitle = {Proceedings of the 6th Workshop on Methods for Modalities, {M4M-6}
2009, Copenhagen, Denmark, November 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {262},
pages = {231--248},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.04.017},
doi = {10.1016/J.ENTCS.2010.04.017},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/SeylanJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BullingJD08,
author = {Nils Bulling and
Wojciech Jamroga and
J{\"{u}}rgen Dix},
title = {Reasoning about temporal properties of rational play},
journal = {Ann. Math. Artif. Intell.},
volume = {53},
number = {1-4},
pages = {51--114},
year = {2008},
url = {https://doi.org/10.1007/s10472-009-9110-4},
doi = {10.1007/S10472-009-9110-4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BullingJD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/JamrogaD08,
author = {Wojciech Jamroga and
J{\"{u}}rgen Dix},
title = {Model Checking Abilities of Agents: {A} Closer Look},
journal = {Theory Comput. Syst.},
volume = {42},
number = {3},
pages = {366--410},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9080-z},
doi = {10.1007/S00224-007-9080-Z},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/JamrogaD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Jamroga08,
author = {Wojciech Jamroga},
editor = {Lin Padgham and
David C. Parkes and
J{\"{o}}rg P. M{\"{u}}ller and
Simon Parsons},
title = {A temporal logic for Markov chains},
booktitle = {7th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2008), Estoril, Portugal, May 12-16, 2008, Volume
2},
pages = {697--704},
publisher = {{IFAAMAS}},
year = {2008},
url = {https://dl.acm.org/citation.cfm?id=1402321},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/Jamroga08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/Jamroga08,
author = {Wojciech Jamroga},
editor = {Michael Fisher and
Fariba Sadri and
Michael Thielscher},
title = {Easy Yet Hard: Model Checking Strategies of Agents},
booktitle = {Computational Logic in Multi-Agent Systems, 9th International Workshop,
{CLIMA} IX, Dresden, Germany, September 29-30, 2008. Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5405},
pages = {1--12},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-02734-5\_1},
doi = {10.1007/978-3-642-02734-5\_1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/Jamroga08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/Jamroga08,
author = {Wojciech Jamroga},
editor = {Ralph Bergmann and
Gabriela Lindemann and
Stefan Kirn and
Michal Pechoucek},
title = {Knowledge and Strategic Ability for Model Checking: {A} Refined Approach},
booktitle = {Multiagent System Technologies, 6th German Conference, {MATES} 2008,
Kaiserslautern, Germany, September 23-26, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5244},
pages = {99--110},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87805-6\_10},
doi = {10.1007/978-3-540-87805-6\_10},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mates/Jamroga08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/Jamroga08,
author = {Wojciech Jamroga},
editor = {The Duy Bui and
Tuong Vinh Ho and
Quang{-}Thuy Ha},
title = {A Temporal Logic for Stochastic Multi-Agent Systems},
booktitle = {Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International
Conference on Multi-Agents, {PRIMA} 2008, Hanoi, Vietnam, December
15-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5357},
pages = {239--250},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89674-6\_27},
doi = {10.1007/978-3-540-89674-6\_27},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/Jamroga08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/JamrogaA07,
author = {Wojciech Jamroga and
Thomas {\AA}gotnes},
title = {Constructive knowledge: what agents can achieve under imperfect information},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {4},
pages = {423--475},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.423-475},
doi = {10.3166/JANCL.17.423-475},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/JamrogaA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Jamroga07,
author = {Wojciech Jamroga},
title = {{AAMAS} 2007},
journal = {K{\"{u}}nstliche Intell.},
volume = {21},
number = {3},
pages = {73},
year = {2007},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Jamroga07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/HoekJW07,
author = {Wiebe van der Hoek and
Wojciech Jamroga and
Michael J. Wooldridge},
title = {Towards a theory of intention revision},
journal = {Synth.},
volume = {155},
number = {2},
pages = {265--290},
year = {2007},
url = {https://doi.org/10.1007/s11229-006-9145-6},
doi = {10.1007/S11229-006-9145-6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/HoekJW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaB07,
author = {Wojciech Jamroga and
Nils Bulling},
editor = {Edmund H. Durfee and
Makoto Yokoo and
Michael N. Huhns and
Onn Shehory},
title = {A framework for reasoning about rational agents},
booktitle = {6th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2007), Honolulu, Hawaii, USA, May 14-18, 2007},
pages = {88},
publisher = {{IFAAMAS}},
year = {2007},
url = {https://doi.org/10.1145/1329125.1329232},
doi = {10.1145/1329125.1329232},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaA07,
author = {Wojciech Jamroga and
Thomas {\AA}gotnes},
editor = {Edmund H. Durfee and
Makoto Yokoo and
Michael N. Huhns and
Onn Shehory},
title = {Modular interpreted systems},
booktitle = {6th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2007), Honolulu, Hawaii, USA, May 14-18, 2007},
pages = {131},
publisher = {{IFAAMAS}},
year = {2007},
url = {https://doi.org/10.1145/1329125.1329286},
doi = {10.1145/1329125.1329286},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BullingJ07,
author = {Nils Bulling and
Wojciech Jamroga},
editor = {Edmund H. Durfee and
Makoto Yokoo and
Michael N. Huhns and
Onn Shehory},
title = {Agents, beliefs, and plausible behavior in a temporal setting},
booktitle = {6th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2007), Honolulu, Hawaii, USA, May 14-18, 2007},
pages = {146},
publisher = {{IFAAMAS}},
year = {2007},
url = {https://doi.org/10.1145/1329125.1329303},
doi = {10.1145/1329125.1329303},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/BullingJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/JamrogaB07,
author = {Wojciech Jamroga and
Nils Bulling},
editor = {Fariba Sadri and
Ken Satoh},
title = {A Logic for Reasoning about Rational Agents},
booktitle = {Computational Logic in Multi-Agent Systems, 8th International Workshop,
{CLIMA} VIII, Porto, Portugal, September 10-11, 2007. Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5056},
pages = {42--61},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88833-8\_3},
doi = {10.1007/978-3-540-88833-8\_3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/JamrogaB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/AgotnesGJ07,
author = {Thomas {\AA}gotnes and
Valentin Goranko and
Wojciech Jamroga},
editor = {Dov Samet},
title = {Alternating-time temporal logics with irrevocable strategies},
booktitle = {Proceedings of the 11th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007},
pages = {15--24},
year = {2007},
url = {https://doi.org/10.1145/1324249.1324256},
doi = {10.1145/1324249.1324256},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tark/AgotnesGJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BednarczykJP06,
author = {Marek A. Bednarczyk and
Wojciech Jamroga and
Wieslaw Pawlowski},
title = {Expressing and Verifying Temporal and Structural Properties of Mobile
Agents},
journal = {Fundam. Informaticae},
volume = {72},
number = {1-3},
pages = {51--63},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BednarczykJP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JamrogaA06,
author = {Wojciech Jamroga and
Thomas {\AA}gotnes},
editor = {Hideyuki Nakashima and
Michael P. Wellman and
Gerhard Weiss and
Peter Stone},
title = {What agents can achieve under incomplete information},
booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006},
pages = {232--234},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1160633.1160672},
doi = {10.1145/1160633.1160672},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/JamrogaA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/JamrogaD06,
author = {Wojciech Jamroga and
J{\"{u}}rgen Dix},
editor = {Barbara Dunin{-}Keplicz and
Andrea Omicini and
Julian A. Padget},
title = {Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete},
booktitle = {Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06,
Lisbon, Portugal, December 14-15, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {223},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-223/66.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/eumas/JamrogaD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Jamroga06,
author = {Wojciech Jamroga},
editor = {Christian Freksa and
Michael Kohlhase and
Kerstin Schill},
title = {On the Relationship Between Playing Rationally and Knowing How to
Play: {A} Logical Account},
booktitle = {{KI} 2006: Advances in Artificial Intelligence, 29th Annual German
Conference on AI, {KI} 2006, Bremen, Germany, June 14-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4314},
pages = {419--433},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69912-5\_31},
doi = {10.1007/978-3-540-69912-5\_31},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Jamroga06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HoekJW05,
author = {Wiebe van der Hoek and
Wojciech Jamroga and
Michael J. Wooldridge},
editor = {Frank Dignum and
Virginia Dignum and
Sven Koenig and
Sarit Kraus and
Munindar P. Singh and
Michael J. Wooldridge},
title = {A logic for strategic reasoning},
booktitle = {4th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands},
pages = {157--164},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1082473.1082497},
doi = {10.1145/1082473.1082497},
timestamp = {Fri, 26 Apr 2019 14:26:42 +0200},
biburl = {https://dblp.org/rec/conf/atal/HoekJW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bnaic/JamrogaD05,
author = {Wojciech Jamroga and
J{\"{u}}rgen Dix},
editor = {Katja Verbeeck and
Karl Tuyls and
Ann Now{\'{e}} and
Bernard Manderick and
Bart Kuijpers},
title = {Turning Game Models Turn-Based for Model Checking Properties of Agents},
booktitle = {{BNAIC} 2005 - Proceedings of the Seventeenth Belgium-Netherlands
Conference on Artificial Intelligence, Brussels, Belgium, October
17-18, 2005},
pages = {143--150},
publisher = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten},
year = {2005},
timestamp = {Thu, 08 Dec 2005 07:17:40 +0100},
biburl = {https://dblp.org/rec/conf/bnaic/JamrogaD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ceemas/JamrogaD05,
author = {Wojciech Jamroga and
J{\"{u}}rgen Dix},
editor = {Michal Pechoucek and
Paolo Petta and
L{\'{a}}szl{\'{o}} Zsolt Varga},
title = {Do Agents Make Model Checking Explode (Computationally)?},
booktitle = {Multi-Agent Systems and Applications IV, 4th International Central
and Eastern European Conference on Multi-Agent Systems, {CEEMAS} 2005,
Budapest, Hungary, September 15-17, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3690},
pages = {398--407},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559221\_40},
doi = {10.1007/11559221\_40},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ceemas/JamrogaD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/JamrogaHW05,
author = {Wojciech Jamroga and
Wiebe van der Hoek and
Michael J. Wooldridge},
editor = {Carlos Bento and
Am{\'{\i}}lcar Cardoso and
Ga{\"{e}}l Dias},
title = {Intentions and Strategies in Game-Like Scenarios},
booktitle = {Progress in Artificial Intelligence, 12th Portuguese Conference on
Artificial Intelligence, {EPIA} 2005, Covilh{\~{a}}, Portugal, December
5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3808},
pages = {512--523},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11595014\_51},
doi = {10.1007/11595014\_51},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epia/JamrogaHW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/JamrogaD05,
author = {Wojciech Jamroga and
J{\"{u}}rgen Dix},
editor = {Mario Coppo and
Elena Lodi and
G. Michele Pinna},
title = {Model Checking Strategic Abilities of Agents Under Incomplete Information},
booktitle = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
Siena, Italy, October 12-14, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3701},
pages = {295--308},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560586\_24},
doi = {10.1007/11560586\_24},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/JamrogaD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JamrogaH04,
author = {Wojciech Jamroga and
Wiebe van der Hoek},
title = {Agents that Know How to Play},
journal = {Fundam. Informaticae},
volume = {63},
number = {2-3},
pages = {185--219},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi63-2-3-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JamrogaH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/GorankoJ04,
author = {Valentin Goranko and
Wojciech Jamroga},
title = {Comparing Semantics of Logics for Multi-Agent Systems},
journal = {Synth.},
volume = {139},
number = {2},
pages = {241--280},
year = {2004},
url = {https://doi.org/10.1023/B:SYNT.0000024915.66183.d1},
doi = {10.1023/B:SYNT.0000024915.66183.D1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/GorankoJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/JamrogaHW04,
author = {Wojciech Jamroga and
Wiebe van der Hoek and
Michael J. Wooldridge},
editor = {Alessio Lomuscio and
Donald Nute},
title = {On Obligations and Abilities},
booktitle = {Deontic Logic in Computer Science, 7th International Workshop on Deontic
Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28,
2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3065},
pages = {165--181},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25927-5\_11},
doi = {10.1007/978-3-540-25927-5\_11},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deon/JamrogaHW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaisc/Jamroga04,
author = {Wojciech Jamroga},
editor = {Leszek Rutkowski and
J{\"{o}}rg H. Siekmann and
Ryszard Tadeusiewicz and
Lotfi A. Zadeh},
title = {Strategic Planning through Model Checking of {ATL} Formulae},
booktitle = {Artificial Intelligence and Soft Computing - {ICAISC} 2004, 7th International
Conference, Zakopane, Poland, June 7-11, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3070},
pages = {879--884},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24844-6\_136},
doi = {10.1007/978-3-540-24844-6\_136},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaisc/Jamroga04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iis/Jamroga03,
author = {Wojciech Jamroga},
editor = {Mieczyslaw A. Klopotek and
Slawomir T. Wierzchon and
Krzysztof Trojanowski},
title = {Safer Decisions Against {A} Dynamic Opponent},
booktitle = {Intelligent Information Processing and Web Mining, Proceedings of
the International {IIS:} IIPWM'03 Conference held in Zakopane, Poland,
June 2-5, 2003},
series = {Advances in Soft Computing},
pages = {79--86},
publisher = {Springer},
year = {2003},
timestamp = {Tue, 13 Jul 2004 12:32:09 +0200},
biburl = {https://dblp.org/rec/conf/iis/Jamroga03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Jamroga01,
author = {Wojciech Jamroga},
editor = {Franz Baader and
Gerhard Brewka and
Thomas Eiter},
title = {A Defense Model for Games with Incomplete Information},
booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2174},
pages = {260--274},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45422-5\_19},
doi = {10.1007/3-540-45422-5\_19},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Jamroga01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 05:57 CEST 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:
