Wojtek Jamroga Home Page

My Research

Topics Positions Publications PhD Students Committees

Research Interests

multi-agent systems,
logic in computer science,
economic and social theories of interaction,
formal verification,
information security,
artificial intelligence.

Detailed:

multi-agent systems, theories of agency and models of interaction,
game theory, games with imperfect and incomplete information, models of power and preferences in games,
modal logics for multi-agent systems,
modeling, specification and verification of multi-agent systems,
model checking of temporal and strategic properties in distributed systems,
properties and measures of information leakage.

Positions

since 2019: Research scientist at the University of Luxembourg (Applied Security and Information Assurance research group).

since 2014: Associate professor at the Institute of Computer Science, Polish Academy of Sciences.

since 2009: Privatdozent at the Department of Informatics, Clausthal University of Technology, Germany (honorary position).

2011--2019: Visiting & associate professor at the Polish-Japanese Institute of Information Technology, Gdansk, Poland.

2009--2014: Research associate at the University of Luxembourg (Individual and Collective Reasoning, Security and Trust of Software Systems & Applied Security and Information Assurance research groups).

2004--2009: Postdoctoral researcher at the Department of Informatics, Clausthal University of Technology, Germany. Finished (surprise?) with a habilitation thesis on Modeling, Verification, and Strategic Reasoning in Multi-Agent Systems.
2000--2004: Research assistant at the Human Media Interaction Group, University of Twente, Netherlands. Finished (suprise, surprise!) with a PhD thesis on Using Multiple Models of Reality. On Agents who Know how to Play Safer).
1995--2000: Research assistant at the Institute of Mathematics, University of Gdansk, Poland.

Papers & other works

Note: the pdf files available here are usually semi-final versions of my papers, and they can somewhat differ from the final versions.
If you have any questions, or need a copy of a paper that is unavailable here, do not hesitate to email me.

Wojciech Jamroga, Yan Kim, Peter Y.A. Ryan, and Peter Roenne (2024), "You Shall not Abstain!" A Formal Study of Forced Participation. Proceedings of the 9th Workshop on Advances in Secure Electronic Voting Voting '24. To appear.
Mateusz Kaminski, Damian Kurpiewski and Wojciech Jamroga (2024), STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow. Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems AAMAS 2024. To appear.
Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, and Aniello Murano (2024), Verification of Stochastic Multi-Agent Systems with Forgetful Strategies. Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems AAMAS 2024. To appear.
Wojciech Jamroga, Munyque Mittelmann, Aniello Murano, and Giuseppe Perelli (2024), Playing Quantitative Games Against an Authority: On the Module Checking Problem. Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems AAMAS 2024. To appear.
Wojciech Jamroga, Yan Kim, and Damian Kurpiewski (2024), Scalable Verification of Social Explainable AI by Variable Abstraction. Proceedings of the 16th International Conference on Agents and Artificial Intelligence ICAART 2024, vol.1, pp. 149-158. DOI: 10.5220/0000183700003636. PDF.
Wojciech Jamroga (2023), Pretty Good Strategies for Benaloh Challenge. Proceedings of the 8th International Joint Conference on Electronic Voting E-VOTE-ID 2023, Lecture Notes in Computer Science, vol. 14230, pp. 106-122. © Springer. PDF (extended version).
Damian Kurpiewski and Wojciech Jamroga (2023), Pretty Good Strategies and Where to Find Them. Proceedings of the 20th European Conference on Multi-Agent Systems EUMAS 2023, Lecture Notes in Computer Science, vol. 14282, pp. 363-380. © Springer. PDF.
Wojciech Jamroga and Yan Kim (2023), Practical Abstraction for Model Checking of Multi-Agent Systems. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning KR 2023, pp. 384-394. PDF.
Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, and Aniello Murano (2023), Strategic Abilities of Forgetful Agents in Stochastic Environments. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning KR 2023, pp. 726-731. PDF.
Wojciech Jamroga and Yan Kim (2023), Practical Model Reductions for Verification of Multi-Agent Systems. Proceedings of the 32nd International Joint Conference on Artificial Intelligence IJCAI 2023, pp. 7135-7139. PDF.
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, and Aniello Murano (2023), Scalable Verification of Strategy Logic by Three-Valued Abstraction. Proceedings of the 32nd International Joint Conference on Artificial Intelligence IJCAI 2023, pp. 46-54. PDF.
Catalin Dima and Wojciech Jamroga (2023), Computationally Feasible Strategies. Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems AAMAS 2023, pp. 784-792. © IFAAMAS. PDF.
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci and Teofil Sidoruk (2023), Strategic (Timed) Computation Tree Logic. Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems AAMAS 2023, pp. 382-390. © IFAAMAS. PDF (extended version).
Masoud Tabatabaei and Wojciech Jamroga (2023), Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory. Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems AAMAS 2023, pp. 766-774. © IFAAMAS. PDF.
Damian Kurpiewski, Wojciech Jamroga, and Teofil Sidoruk (2023), Towards Modelling and Verification of Social Explainable AI. Proceedings of the 15th International Conference on Agents and Artificial Intelligence ICAART 2023, pp. 396-403. DOI: 10.5220/0011799900003393. PDF.
Yan Kim, Wojciech Jamroga, and Peter Y. A. Ryan (2022), Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020. Proceedings of the 12th International Workshop on Socio-Technical Aspects in Security STAST 2022, to appear. PDF.
Lukasz Mikulski, Wojciech Jamroga, and Damian Kurpiewski (2022), Assume-Guarantee Verification of Strategic Ability. Proceedings of the 24th International Conference on Principles and Practice of Multi-Agent Systems PRIMA 2022, Lecture Notes in Computer Science, vol. 13753, pp. 173-191. © Springer. PDF.
Damian Kurpiewski, Lukasz Mikulski, and Wojciech Jamroga (2022), STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. Proceedings of the 24th International Conference on Principles and Practice of Multi-Agent Systems PRIMA 2022, Lecture Notes in Computer Science, vol. 13753, pp. 691-696. © Springer. PDF.
Damian Kurpiewski, Wojciech Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek and Teofil Sidoruk (2022), Verification of Multi-Agent Properties in Electronic Voting: A Case Study. Proceedings of the International Conference on Advances in Modal Logic AiML 2022, pp. 531-556. PDF.
Wojciech Jamroga, Damian Kurpiewski, and Vadim Malvone (2022), How to Measure Usable Security: Natural Strategies in Voting Protocols. Journal of Computer Security, 30(3), pp. 381-409. PDF.
Francesco Belardinelli, Wojciech Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel (2022), Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems AAMAS 2022, pp. 62-71 © IFAAMAS. PDF.
Lukasz Mikulski, Damian Kurpiewski, and Wojciech Jamroga (2022), Towards Assume-Guarantee Verification of Strategic Ability. Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems AAMAS 2022, pp. 1702-1704. © IFAAMAS. PDF.
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schuermann, Philip B. Stark (2021), A Declaration of Software Independence. In: Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday, Lecture Notes in Computer Science, vol. 13066, pp. 198-217. DOI: 10.1007/978-3-030-91631-2_11. © Springer. PDF.
Wojciech Jamroga, Wojciech Penczek, and Teofil Sidoruk (2021), Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. Proceedings of the 18th Conference on Principles of Knowledge Representation and Reasoning KR 2021,pp. 368-378. DOI: 10.24963/kr.2021/35. PDF. An extended version with more proofs and detailed discussion is available here.
Wojciech Jamroga, David Mestel, Peter B. Roenne, Peter Y.A. Ryan, and Marjan Skrobot (2021), A Survey of Requirements for COVID-19 Mitigation Strategies. Bulletin of The Polish Academy of Sciences: Technical Science, vol. 69(4), article number: e137724. DOI: 10.24425/bpasts.2021.137724. PDF.
Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, and Yan Kim (2021), STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2021, pp. 1770-1772. © IFAAMAS. PDF.
Wojciech Jamroga, Wojciech Penczek, and Teofil Sidoruk (2021), Strategic Abilities of Asynchronous Agents: Semantic Side Effects. Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2021, pp. 1545-1547. © IFAAMAS.
Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, and Michal Knapik (2021), Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol. Information & Computation, Volume 276, Article 104552. DOI : 10.1016/j.ic.2020.104552. PDF.
Wojciech Jamroga, Damian Kurpiewski, and Vadim Malvone (2021), Natural Strategic Abilities in Voting Protocols. Accepted for the 10th International Workshop on Socio-Technical Aspects in Security STAST 2020, Lecture Notes in Computer Science, vol. 12812, pp. 45-62. © Springer. PDF.
Wojciech Jamroga, Yan Kim, Damian Kurpiewski, and Peter Y.A. Ryan (2020), Towards Model Checking of Voting Protocols in Uppaal. Proceedings of the Fifth International Joint Conference on Electronic Voting E-VOTE-ID 2020, Lecture Notes in Computer Science, vol. 12455, pp. 129-146. © Springer. PDF.
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, and Antoni Mazurkiewicz (2020), Towards Partial Order Reductions for Strategic Ability. Journal of Artificial Intelligence Research, vol. 68, pp. 817-850. PDF.
Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, and Wojciech Penczek (2020), Multi-Valued Verification of Strategic Ability. Fundamenta Informaticae, vol. 175, no. 1-4, pp. 207-251. IOS Press. DOI: 10.3233/FI-2020-1955. PDF.
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michal Knapik, Wojciech Penczek, and Wojciech Jamroga (2020), MsATL: a Tool for SAT-Based ATL Satisfiability Checking. Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2020, pp. 2111-2113. © IFAAMAS. PDF.
Etienne Andre, Wojciech Jamroga, Michal Knapik, Wojciech Penczek, and Laure Petrucci (2019), Timed ATL: Forget Memory, Just Count. Journal of Artificial Intelligence Research, Volume 66, pp. 197-223. AI Access Foundation. DOI: 10.1613/jair.1.11612. PDF.
Wojciech Jamroga, Peter B. Roenne, Peter Y. A. Ryan, and Philip B. Stark (2019), Risk-Limiting Tallies. Proceedings of the International Joint Conference on Electronic Voting E-VOTE-ID 2019, Lecture Notes in Computer Science vol. 11759, pp. 183-199. © Springer. PDF.
Wojciech Jamroga and Michal Knapik (2019), Some Things are Easier for the Dumb and the Bright Ones (Beware of the Average!). Model Checking for Strategies in Extreme Epistemic Structures. Proceedings of the 28th International Joint Conference on Artificial Intelligence IJCAI 2019, pp. 1734-1740. © IJCAI. PDF.
Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, and Aniello Murano (2019), Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. Proceedings of the 28th International Joint Conference on Artificial Intelligence IJCAI 2019, pp. 88-94. © IJCAI. PDF.
Damian Kurpiewski, Wojciech Jamroga, and Michal Knapik (2019), STV: Model Checking for Strategies under Imperfect Information (Demo). Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019, pp. 2372-2374. © IFAAMAS. PDF. The tool is available here.
Damian Kurpiewski, Michal Knapik, and Wojciech Jamroga (2019), On Domination and Control in Strategic Ability. Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019, pp. 197-205. © IFAAMAS. PDF.
Wojciech Jamroga, Vadim Malvone, and Aniello Murano (2019), Natural Strategic Ability under Imperfect Information. Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019, pp. 962-970. © IFAAMAS. PDF.
Vahid Yazdanpanah, Mehdi Dastani, Natasha Alechina, Brian Logan, and Wojciech Jamroga (2019), Strategic Responsibility Under Imperfect Information. Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019, pp. 592-600. © IFAAMAS. PDF.
Wojciech Jamroga, Vadim Malvone, and Aniello Murano (2019), Natural Strategic Ability. Artificial Intelligence, Volume 277, December 2019, Elsevier. DOI: 10.1016/j.artint.2019.103170. PDF.
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski and Lukasz Mikulski (2019), Approximate Verification of Strategic Abilities under Imperfect Information. Artificial Intelligence, Volume 277, December 2019, Elsevier. DOI: 10.1016/j.artint.2019.103172. PDF.
Nils Bulling, Wojciech Jamroga, and Matei Popovici (2019), Reasoning about Strategic Abilities: Agents with Truly Perfect Recall. ACM Transactions on Computational Logic, 20(2), article 10. DOI: 10.1145/3309761. PDF.
Wojciech Jamroga (2018), Model Checking Strategic Ability. Why, What, and Especially: How? Proceedings of the 25th International Symposium on Temporal Representation and Reasoning TIME 2018, pp. 3:1-10. Invited paper. PDF.
Wojciech Jamroga, Michal Knapik, and Damian Kurpiewski (2018), Model Checking the SELENE E-Voting Protocol in Multi-Agent Logics. Proceedings of the International Joint Conference on Electronic Voting E-VOTE-ID 2018, Lecture Notes in Computer Science vol. 11143, pp. 100-116. © Springer. PDF.
Wojciech Jamroga, Wojciech Penczek, Piotr Dembinski, and Antoni Mazurkiewicz (2018), Towards Partial Order Reductions for Strategic Ability. Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2018, pp. 156-165. Best Paper Nomination. © IFAAMAS. PDF.
Wojciech Jamroga and Masoud Tabatabaei (2018), Accumulative Knowledge Under Bounded Resources. Journal of Logic and Computation, 28(3), pp. 581-604. Oxford University Press. DOI: 10.1093/logcom/exv003, published online in 2015. PDF.
Wojciech Jamroga, Michal Knapik, and Damian Kurpiewski (2017), Fixpoint Approximation of Strategic Abilities under Imperfect Information. Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2017, pp. 1241-1249. © IFAAMAS. PDF.
Wojciech Jamroga, Vadim Malvone, and Aniello Murano (2017), Reasoning about Natural Strategic Ability. Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2017, pp. 714-722. © IFAAMAS. A revised version is available here.
Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, and Andrew V. Jones (2017), Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2017, pp. 1286-1295. © IFAAMAS. PDF.
Etienne Andre, Wojciech Jamroga, Michal Knapik, Wojciech Penczek, and Laure Petrucci (2017), Timed ATL: Forget Memory, Just Count (Extended Abstract). Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2017, pp. 1460-1462. © IFAAMAS. PDF.
Jerzy Pilecki, Marek A. Bednarczyk, and Wojciech Jamroga (2017), SMC: Synthesis of Uniform Strategies and Verification of Strategic Ability for Multi-Agent Systems. Journal of Logic and Computation, 27(7), pp. 1871-1895. DOI: 10.1093/logcom/exw032. PDF.
Wojciech Jamroga and Masoud Tabatabaei (2017), Preventing Coercion in E-Voting: Be Open and Commit. Proceedings of the International Joint Conference on Electronic Voting E-VOTE-ID 2016, Best Paper Award. Lecture Notes in Computer Science, vol. 10141, pp. 1-17. © Springer. PDF.
Wojciech Jamroga and Masoud Tabatabaei (2016), Information Security as Strategic (In)effectivity. Proceedings of the 12th International Workshop on Security and Trust Management STM 2016. Lecture Notes in Computer Science vol. 9871, pp. 154-169. © Springer. DOI: 10.1007/978-3-319-46598-2_11. PDF. Extended version available as technical report here.
Masoud Tabatabaei, Wojciech Jamroga, and Peter Y.A. Ryan (2016), Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt. Proceedings of the 1st International Workshop on AI for Privacy and Security PrAISe 2016, pp. 1:1-1:8. ACM. PDF.
Marija Slavkovik and Wojciech Jamroga (2016), Iterative Judgment Aggregation. Proceedings of the 22nd European Conference on Artificial Intelligence ECAI 2016, pp. 1528-1536. IOS Press. PDF.
Wojciech Jamroga, Beata Konikowska and Wojciech Penczek (2016), Multi-Valued Verification of Strategic Ability. Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2016, pp. 1180-1189. © IFAAMAS. PDF.
Holger Schlingloff, Henry Stubert and Wojciech Jamroga (2016), Collaborative Embedded Systems - A Case Study. Proceedings of the 3rd International IFIP Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems EITEC '16. PDF.
Wojciech Jamroga (2015), Logical Methods for Specification and Verification of Multi-Agent Systems. Monograph Series no 10, ICS PAS Publishing House. ISBN 978-83-63159-25-2. PDF.
Wojciech Jamroga and Aniello Murano (2015), Module Checking for Uncertain Agents. Proceedings of the 18th International Conference on Principles and Practice of Multi-Agent Systems PRIMA 2015. Lecture Notes in Computer Science vol. 9387, pp. 232-247. © Springer. DOI: 10.1007/978-3-319-25524-8_15. PDF.
Valentin Goranko and Wojciech Jamroga (2015), State and Path Coalition Effectivity Models of Concurrent Multi-Player Games. Journal of Autonomous Agents and Multi-Agent Systems, 30(3), pp. 446-485. PDF at SpringerLink (open access) © Springer.
Wojciech Jamroga and Masoud Tabatabaei (2015), Strategic Noninterference. Proceedings of the 30th International Conference on ICT Systems Security and Privacy Protection IFIP SEC 2015. IFIP Advances in Information and Communication Technology, vol. 455, pp. 67-81 © Springer. PDF.
Wojciech Jamroga and Aniello Murano (2015), Module Checking of Strategic Ability. Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2015, pp. 227-235 © IFAAMAS. PDF.
Thomas Agotnes, Valentin Goranko, Wojciech Jamroga, and Michael Wooldridge (2015), Knowledge and Ability. In: H.P. van Ditmarsch, J.Y. Halpern, W. van der Hoek, and B.P. Kooi (Eds.), Handbook of Epistemic Logic, pp. 543-589, College Publications. The publisher's page of the handbook, the handbook at Amazon.
Nils Bulling, Valentin Goranko, and Wojciech Jamroga (2015), Logics for Reasoning About Strategic Abilities in Multi-Player Games. In: J. van Benthem, S. Ghosh, R. Verbrugge (Eds.), Models of Strategic Reasoning. Logics, Games, and Communities. Lecture Notes in Computer Science vol. 8972, pp. 93-136. © Springer.
Jerzy Pilecki, Marek A. Bednarczyk, and Wojciech Jamroga (2015), Model Checking Properties of Multi-Agent Systems with Imperfect Information and Imperfect Recall. Proceedings of the 7th IEEE Conference on Intelligent Systems IS 2014. Advances in Intelligent Systems and Computing vol. 322, pp. 415-426. © Springer
Thomas Agotnes, Wojciech Jamroga, and Piotr Kazmierczak (2014), Multi-Agency Is Coordination And (Limited) Communication. Proceedings of the 17th International Conference on Principles and Practice of Multi-Agent Systems PRIMA 2014. Lecture Notes in Computer Science vol. 8861, pp. 91-106. © Springer. PDF.
Nils Bulling, Leon van der Torre, Serena Villata, Wojciech Jamroga, and Wamberto Vasconcelos, eds. (2014), Computational Logic in Multi-Agent Systems: Proceedings of the 15th International Workshop CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Lecture Notes in Computer Science vol. 8624. © Springer.
Jerzy Pilecki, Marek A. Bednarczyk, and Wojciech Jamroga (2014), Synthesis and Verification of Uniform Strategies for Multi-Agent Systems. Proceedings of the 15th Workshop on Computational Logic in Multi-Agent Systems CLIMA 2014. Lecture Notes in Computer Science vol. 8624, pp. 166-182 © Springer. PDF.
Nils Bulling, Wojciech Jamroga, and Matei Popovici (2014), Agents With Truly Perfect Recall: Expressivity and Validities. Proceedings of the 21st European Conference on Artificial Intelligence ECAI'14, pp. 177-182. PDF.
Wojciech Jamroga and Aniello Murano (2014), On Module Checking and Strategies. Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2014, pp. 701-708 © IFAAMAS. PDF.
Nils Bulling, Wojciech Jamroga, and Matei Popovici (2014), Agents With Truly Perfect Recall in Alternating-Time Temporal Logic (extended abstract). Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2014, pp. 1561-1562 © IFAAMAS. PDF.
Wojciech Jamroga, Matthijs Melissen and Henning Schnoor (2014), On Defendability of Security Properties. Proceedings of the 2nd Workshop on Strategic Reasoning SR 2014. EPTCS vol. 146, pp. 224-239.
Nils Bulling and Wojciech Jamroga (2014), Comparing Variants of Strategic Ability: How Uncertainty and Memory Influence General Properties of Games. Journal of Autonomous Agents and Multi-Agent Systems, 28(3), pp. 474-518. © Springer. PDF. Published version of the paper via SpringerLink.
Wojciech Jamroga, Matthijs Melissen and Henning Schnoor (2013), Defendable Security in Interaction Protocols. Proceedings of the 16th International Conference on Principles and Practice of Multi-Agent Systems PRIMA 2013. Lecture Notes in Computer Science vol. 8291, pp. 132-148. © Springer. PDF.
Wojciech Jamroga and Marija Slavkovik (2013), Some Complexity Results for Distance-Based Judgment Aggregation. Proceedings of the 26th Australasian Joint Conference on Artificial Intelligence AI 2013. Lecture Notes in Computer Science vol. 8272, pp. 313-325. © Springer. PDF.
Wojciech Jamroga and Masoud Tabatabaei (2013), Accumulative Knowledge Under Bounded Resources. Proceedings of the 14th Workshop on Computational Logic in Multi-Agent Systems CLIMA 2013. Lecture Notes in Computer Science vol. 8143, pp. 206-222. © Springer. PDF.
Wojciech Jamroga, Artur Meski, and Maciej Szreter (2013), Modularity and Openness in Modeling Multi-Agent Systems. Proceedings of the Fourth International Symposium on Games, Automata, Logics and Formal Verification GandALF 2013, EPTCS vol. 119, pp. 224-239. PDF.
Masoud Tabatabaei, Wojciech Jamroga, and Peter Y. Ryan (2013), Preventing Coercion in E-Voting: Be Open and Commit. Proceedings of the 1st Workshop on Hot issues in Security Principles and Trust HotSpot 2013. PDF.
Valentin Goranko, Wojciech Jamroga and Paolo Turrini (2013), Strategic Games and Truly Playable Effectivity Functions. Journal of Autonomous Agents and Multi-Agent Systems, 26(2), pp. 288-314 © Springer. PDF.
Wojciech Jamroga (2012), Concepts, Agents, and Coalitions in Alternating Time. Proceedings of the 20th European Conference on Artificial Intelligence ECAI 2012, pp. 438-443, IOS Press. PDF.
Wojciech Jamroga and Wojciech Penczek (2012), Specification and Verification of Multi-Agent Systems. In: Lectures on Logic and Computation, Lecture Notes in Computer Science vol. 7388, pp. 210-263. © Springer. PDF.
Valentin Goranko and Wojciech Jamroga (2012), State and Path Effectivity Models for Logics of Multi-Player Games. Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2012, pp. 1123-1130 © IFAAMAS.
Valentin Goranko and Wojciech Jamroga, eds. (2012), Proceedings of the 5rd Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2012). See here for detailed information about the workshop and a copy of the proceedings.
Marija Slavkovik and Wojciech Jamroga (2012), Distance-Based Rules for Weighted Judgment Aggregation (Extended Abstract). Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2012, pp. 1405-1406 © IFAAMAS.
Wojciech Jamroga, Sjouke Mauw, and Matthijs Melissen (2012), Fairness in Non-repudiation Protocols. Proceedings of the 7th International Workshop on Security and Trust Management STM'11, Lecture Notes in Computer Science vol. 7170, pp. 122-139. © Springer. PDF.
Hans van Ditmarsch, David Fernandez Duque, Valentin Goranko, Wojtek Jamroga and Manuel Ojeda-Aciego, eds. (2011), Proceedings of the 7th Workshop on Methods for Modalities (M4M'2011) and the 4th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS'2011). Electronic Notes in Theoretical Computer Science vol. 278. © Elsevier. See here for detailed information about the workshop. The proceedings are available here.
Wojciech Jamroga and Matthijs Melissen (2011), Doubtful Deviations and Farsighted Play. Progress in Artificial Intelligence: Proceedings of the 15th Portuguese Conference on Artificial Intelligence EPIA 2011, pp. 295-308, LNCS 7026 © Springer-Verlag. The paper in PDF.
Marija Slavkovik and Wojciech Jamroga (2011), Distance-based Judgment Aggregation of Three-valued Judgments with Weights. Proceedings of WSCAI-11 (the IJCAI-11 Workshop on Social Choice and AI), pp. 81-86. PDF.
Peter Novak and Wojciech Jamroga (2011), Agents, Actions and Goals in Dynamic Environments. Proceedings of the 22nd International Joint Conference on Artificial Intelligence IJCAI'11, pp. 313-318. PDF.
Wojciech Jamroga and Nils Bulling (2011), Comparing Variants of Strategic Ability. Proceedings of the 22nd International Joint Conference on Artificial Intelligence IJCAI'11, pp. 252-257. PDF.
Nils Bulling and Wojciech Jamroga (2011), Alternating Epistemic Mu-Calculus. Proceedings of the 22nd International Joint Conference on Artificial Intelligence IJCAI'11, pp. 109-114. PDF.
Wojciech Jamroga (2011), Games with Epistemic Moves (Extended Abstract). International Joint Conference on Security and Intelligent Information Systems S&IIS'11. PDF.
Valentin Goranko, Wojciech Jamroga and Paolo Turrini (2011), Strategic Games and Truly Playable Effectivity Functions. Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2011, pp. 727-734. © IFAAMAS. PDF.
Wojciech Jamroga and Nils Bulling (2010), Comparing Variants of Strategic Ability. Proceedings of the 8th European Workshop on Multi-Agent Systems EUMAS'10. PDF.
Valentin Goranko, Wojciech Jamroga and Paolo Turrini (2010), Strategic Games and Truly Playable Effectivity Functions. Proceedings of the 8th European Workshop on Multi-Agent Systems EUMAS'10. PDF. A preliminary version of the AAMAS 2010 paper.
Nils Bulling and Wojciech Jamroga (2010), Model Checking Agents with Memory Is Harder than It Seemed. AI Communications, 23, pp. 380-403 © IOS Press. This is the journal version of the paper. Previous preliminary versions were presented at EUMAS'09 and AAMAS'10. PDF.
Inanc Seylan and Wojciech Jamroga (2010), Coalition Description Logic with Individuals. Electronic Notes in Theoretical Computer Science, 262, pp. 231-248. This is a journal version of the M4M paper. PDF.
Juergen Dix, Joao Leite, Guido Governatori, and Wojciech Jamroga, eds. (2010), Computational Logic in Multi-Agent Systems. Proceedings of CLIMA XI, Lecture Notes in Computer Science vol. 6245. © Springer. See here for detailed information about the workshop. The proceedings are available here.
Valentin Goranko and Wojciech Jamroga, eds. (2010), Proceedings of the 3rd Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2010). See here for detailed information about the workshop.
Nils Bulling, Juergen Dix, and Wojciech Jamroga (2010), Model Checking Logics of Strategic Ability: Complexity. In: M. Dastani, K. Hindriks, and J.-J. Meyer (eds.), Specification and Verification of Multi-Agent Systems, pp. 125-159, © Springer. PDF.
Nils Bulling and Wojciech Jamroga (2010), Model Checking Agents with Memory Is Harder than It Seemed. Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2010, pp. 633-640. © IFAAMAS. Abstract, the paper in PDF.
Mehdi Dastani and Wojciech Jamroga (2010), Reasoning about Strategies of Multi-Agent Programs. Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2010, pp. 625-632. © IFAAMAS. Abstract, the paper in PDF.
Wojciech Jamroga (2009), Modeling, Verification, and Strategic Reasoning in Multi-Agent Systems. Habilitation thesis, Clausthal University of Technology, Germany. More details can be found here.
Nils Bulling and Wojciech Jamroga (2009), Model Checking ATL+ Is Harder than It Seemed. Proceedings of the 7th European Workshop on Multi-Agent Systems EUMAS'09. Abstract, the paper in PDF.
Mehdi Dastani and Wojciech Jamroga (2009), Reasoning about Strategic Properties of Multi-Agent Programs. Proceedings of the 7th European Workshop on Multi-Agent Systems EUMAS'09. Abstract, the paper in PDF.
Inanc Seylan and Wojciech Jamroga (2009), Coalition Description Logic with Individuals. Proceedings of the 6th Workshop on Methods for Modalities M4M-6, pp. 146-162. The paper in PDF.
Nils Bulling and Wojciech Jamroga (2009), What Agents Can Probably Enforce. Fundamenta Informaticae, 93(1-3), pp. 81-96. The paper in PDF.
Wojciech Jamroga (2009), Easy Yet Hard: Model Checking Strategies of Agents. Computational Logic in Multi-Agent Systems: Proceedings of CLIMA IX, pp. 1-12, LNCS 5405 © Springer-Verlag. The paper in PDF.
Peter Novak and Wojciech Jamroga (2009), Code Patterns for Agent Oriented Programming. Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems AAMAS'09, pp. 105-112. © IFAAMAS. The paper in PDF.
Inanc Seylan and Wojciech Jamroga (2009), Description Logic for Coalitions. Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems AAMAS'09, pp. 425-432. © IFAAMAS. The paper in PDF.
Nils Bulling and Wojciech Jamroga (2009), Rational Play and Rational Beliefs under Uncertainty. Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems AAMAS'09, pp. 257-264. © IFAAMAS. The paper in PDF.
Wojciech Jamroga (2008), A Temporal Logic for Stochastic Multi-Agent Systems. Proceedings of the 11th Pacific Rim Conference on Multi-Agents PRIMA 2008, pp. 239-250, LNAI 5357 © Springer-Verlag. The paper in PDF.
Wojciech Jamroga (2008), Easy Yet Hard: Model Checking Strategies of Agents. Proceedings of the 9th International Workshop on Computational Logic in Multi-Agent Systems CLIMA IX, pp. 3-12 (informal proceedings). The paper in PDF.
Nils Bulling, Wojciech Jamroga, and Juergen Dix (2008), Reasoning about Temporal Properties of Rational Play. Annals of Mathematics and AI, 53(1-4), pp. 51-114. Springer-Verlag. Abstract. A semi-final version is available as a technical report.
Wojciech Jamroga and Nils Bulling (2008), A Logic for Reasoning about Rational Agents. Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems CLIMA-VIII, pp. 42-61, LNAI 5056 © Springer-Verlag. (This is the post-proceedings version.)
Wojciech Jamroga (2008), Knowledge and Strategic Ability for Model Checking: A Refined Approach. Proceedings of MATES'08, pp. 99-110, LNAI 5244 © Springer-Verlag. Abstract, the paper in PDF.
Nils Bulling and Wojciech Jamroga (2008), What Agents Can Probably Enforce. Proceedings of the Polish-German Workshop on Concurrency, Specification and Programming CS&P'08, pp. 61-72. Abstract. To download, see the Fundamenta Informaticae version.
Wojciech Jamroga (2008), A Temporal Logic for Multi-Agent MDP's. Proceedings of the AAMAS Workshop on Formal Models and Methods for Multi-Robot Systems, pp. 29-34. Abstract, the paper in PDF.
Wojciech Jamroga (2008), A Temporal Logic for Markov Chains. Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems AAMAS'08, pp. 697-704. © IFAAMAS. Abstract, The paper in PDF. Extended version available as Technical Report IfI-07-11, Clausthal University of Technology.
Wojciech Jamroga and Juergen Dix (2008), Model Checking Abilities of Agents: A Closer Look. Theory of Computing Systems, 42(3), pp. 366-410. Abstract, the paper in PDF.
Thomas Agotnes, Valentin Goranko, and Wojciech Jamroga (2008), Strategic Commitment and Release in Logics for Multi-Agent Systems (Extended abstract). Technical Report IfI-08-01, Clausthal University of Technology.
Wojciech Jamroga and Thomas Agotnes (2007), Constructive Knowledge: What Agents Can Achieve under Imperfect Information. Journal of Applied Non-Classical Logics, 17(4), pp. 423-475. Abstract, a semi-final version of the paper in PDF.
Nils Bulling and Wojciech Jamroga (2007), A Logic for Reasoning about Rational Agents: Yet Another Attempt. Proceedings of the Polish-German Workshop on Concurrency, Specification and Programming CS&P'07, pp. 87-99. Abstract.
Thomas Agotnes, Valentin Goranko, and Wojciech Jamroga (2007), Alternating-time Temporal Logics with Irrevocable Strategies. Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge TARK XI, pp. 15-24. Abstract, the paper in PDF.
Nils Bulling and Wojciech Jamroga (2007), Agents, Beliefs, and Plausible Behavior in a Temporal Setting. Proceedings of the 6th International Conference on Autonomous Agents and Multiagent Systems AAMAS'07, pp. 570-577. © IFAAMAS 2007. Abstract. The paper in PDF.
Wojciech Jamroga and Nils Bulling (2007), A Logic for Reasoning about Rational Agents. Proceedings of CLIMA-VIII, pp. 54-69. (This is the version from the informal proceedings.)
Wojciech Jamroga and Nils Bulling (2007), A Framework for Reasoning about Rational Agents (short paper). Proceedings of the 6th International Conference on Autonomous Agents and Multiagent Systems AAMAS'07, pp. 592-594. © IFAAMAS 2007. Abstract. The paper in PDF.
Wojciech Jamroga and Thomas Agotnes (2007), Modular Interpreted Systems. Proceedings of the 6th International Conference on Autonomous Agents and Multiagent Systems AAMAS'07, pp. 892-899. © IFAAMAS 2007. Abstract. The paper in PDF.
Wiebe van der Hoek, Wojciech Jamroga, and Michael Wooldridge (2007), Towards a Theory of Intention Revision. Synthese, 155(2), pp. 265-290. Abstract.
Wojciech Jamroga and Thomas Agotnes (2006), Modular Interpreted Systems: A Preliminary Report. Technical Report IfI-06-15, Clausthal University of Technology. The report is available here.
Wojciech Jamroga and Juergen Dix (2006), Model Checking Abilities under Incomplete Information is Indeed Delta2-complete. Proceedings of the Fourth European Workshop on Multi-Agent Systems EUMAS 2006. Preliminary version appeared as Technical Report IfI-06-10, Clausthal University of Technology (available here).
Wojciech Jamroga(2006), On the Relationship between Playing Rationally and Knowing how to Play: A Logical Account. Proceedings of the 29th German Conference on Artificial Intelligence KI'06, pp. 403-417, Lecture Notes in Artificial Intelligence vol. 4314 © Springer-Verlag. Abstract, the paper in pdf.
Wojciech Jamroga and Thomas Agotnes (2006), What Agents Can Achieve under Incomplete Information. Presented at the 5th International Conference on Autonomous Agents and Multiagent Systems AAMAS'06. Published (as a short paper) in the proceedings, pp. 232-234 © ACM Press. Abstract, the paper in PDF (716K).
Marek A. Bednarczyk, Wojciech Jamroga and Wieslaw Pawlowski (2006), Expressing and Verifying Temporal and Structural Properties of Mobile Agents. Fundamenta Informaticae, 72, pp. 51-63. Abstract, the paper in PDF. This is the journal version of our CS&P'05 paper.
Wojciech Jamroga and Thomas Agotnes (2005), Constructive Knowledge: What Agents Can Achieve under Incomplete Information. Technical Report IfI-05-10, Clausthal University of Technology. Abstract, the report in PDF (93K).
Wojciech Jamroga, Wiebe van der Hoek and Michael Wooldridge (2005), Intentions and Strategies in Game-Like Scenarios. Presented at the 3rd Workshop on Multi-Agent Systems: Theory and Applications MASTA 2005, a workshop of EPIA 2005. Published in C. Bento, A. Cardoso and G. Dias (eds.), Progress in Artificial Intelligence: Proceedings of EPIA 2005, Lecture Notes in Artificial Intelligence, vol. 3808, pp. 512-523 © Springer-Verlag. Abstract, the paper in PDF. An extended version appeared as Technical Report IfI-05-08, Clausthal University of Technology (download).
Wojciech Jamroga and Juergen Dix (2005), Turning Game Models Turn-Based for Model Checking Properties of Agents. In: K. Verbeeck, K. Tuyls, A. Nowe, B. Manderick, B. Kuijpers (eds.), Proceedings of the 17th Belgian-Dutch Conference on Artificial Intelligence BNAIC'05, pp. 143-150. Abstract.
Wojciech Jamroga and Juergen Dix (2005), Model Checking Strategic Abilities of Agents under Incomplete Information. Presented at the 9th Italian Conference on Theoretical Computer Science ICTCS 2005. Published in M. Coppo, E. Lodi, G.M. Pinna (eds.), Theoretical Computer Science, Lecture Notes in Computer Science, vol. 3701, pp. 295-308 © Springer-Verlag. Abstract.
Marek A. Bednarczyk, Wojciech Jamroga and Wieslaw Pawlowski (2005), Expressing and Verifying Temporal and Structural Properties of Mobile Agents. In: L. Czaja (ed.), Proceedings of the Concurrency, Specification and Programming Workshop CS&P'05, pp. 57-68. Abstract, the paper in PDF. An extended version appeared as Technical Report IfI-05-09, Clausthal University of Technology (to be downloaded here).
Wojciech Jamroga and Juergen Dix (2005), Do Agents Make Model Checking Explode (Computationally)? Presented at the 4th International Central and Eastern European Conference on Multi-Agent Systems CEEMAS'05. Published in M. Pechoucek, P. Petta, L.Z. Varga (eds.), Multi-Agent Systems and Applications IV, Lecture Notes in Artificial Intelligence, vol. 3690, pp. 398-407 © Springer-Verlag. Abstract.
Wiebe van der Hoek, Wojciech Jamroga and Michael Wooldridge (2005), A Logic for Strategic Reasoning. Presented at the 4th International Conference on Autonomous Agents and Multiagent Systems AAMAS'05. Published in the proceedings (ACM Press), pp. 157-164. Abstract, the paper in PDF (716K).
Wojciech Jamroga and Wiebe van der Hoek (2005), Strategic Ability under Uncertainty. Technical Report IfI-05-06, Clausthal University of Technology. Abstract, the paper in PDF (93K).
Wojciech Jamroga (2004), Using Multiple Models of Reality. On Agents who Know how to Play Safer. PhD thesis, University of Twente, Netherlands, ISBN 90-75296-11-8. The thesis in PDF, my introductory slides and a bunch of photos from the defense are available here.
Wojciech Jamroga, Wiebe van der Hoek and Mike Wooldridge (2004), On Obligations and Abilities. Presented at the Seventh International Workshop on Deontic Logic in Computer Science DEON'04. Published in A. Lomuscio, D. Nute (eds.), Deontic Logic in Computer Science, Lecture Notes in Artificial Intelligence vol. 3065, pp. 165-181 © Springer Verlag. Abstract, the paper in PDF (445K).
Wojciech Jamroga (2004), Strategic Planning through Model Checking of ATL Formulae. Presented at the Seventh International Conference on Artificial Intelligence and Soft Computing ICAISC 2004. Published in: L. Rutkowski et al. (eds.), Artificial Intelligence and Soft Computing, Lecture Notes in Artificial Intelligence vol. 3070, pp. 879-884 © Springer Verlag. Abstract, the paper in PDF (240K).
Wojciech Jamroga and Wiebe van der Hoek (2004), Agents that Know How to Play. Fundamenta Informaticae, 63 (2-3), pp. 185-219. Abstract, the paper in PDF (445K).
Valentin Goranko and Wojciech Jamroga (2004), Comparing Semantics of Logics for Multi-agent Systems. Synthese, 139 (2), pp. 241-280. Abstract, the paper in PDF (488K). The paper appeared in the section on Knowledge, Rationality and Action.
Wojciech Jamroga (2003), Confidence Measure for a Learning Agent. Proceedings of the Eighth Scandinavian Conference on Artificial Intelligence (SCAI'03), Bergen, Norway, November 2-4, 2003 (edited by B. Tessem et al.). Published by IOS Press in the series Frontiers in Artificial Intelligence and Applications, vol. 103, pp. 95-106. Abstract, the paper in PDF (1M).
The Duy Bui and Wojciech Jamroga (2003), Multi-Agent Planning with Planning Graph. Presented at eunite 2003, 10-12 July 2003 in Oulu, Finland. Published in the proceedings, pp. 558-565. Abstract, the paper in PDF (170K).
Wojciech Jamroga (2003), Safer Decisions Against A Dynamic Opponent. Presented at the Intelligent Information Systems '03 (IIS 2003), Zakopane, Poland, June 2-5, 2003. Published in: M.A. Klopotek, S.T. Wierzchon, K. Trojanowski (eds.), Intelligent Information Processing and Web Mining, pp. 79-86, the Springer-Verlag series on Advances in Soft Computing. Abstract, the paper in PDF (1200K).
Wojciech Jamroga (2003), Some Remarks on Alternating Temporal Epistemic Logic. Presented at the Formal Approaches to Multi-Agent Systems FAMAS 2003, Warsaw, Poland, April 12, 2003. Published in the proceedings (edited by B. Dunin-Keplicz and R. Verbrugge), pp. 133-140. Abstract, the paper in PDF (332K).
Wojciech Jamroga (2003), A Confidence Measure for Learning Probabilistic Knowledge in a Dynamic Environment. Presented at the International Conference on Computational Intelligence for Modelling, Control and Automation CIMCA 2003, February 12-14, 2003, Vienna, Austria. Published in the proceedings (editor: M. Mohammadian), pp. 182-193. Abstract, gzipped postscript copy (354K).
Wojciech Jamroga (2002), Datasize-Based Confidence Measure for a Learning Agent. Presented at the 12th Belgian-Dutch Conference on Machine Learning Benelearn 2002, December 4, 2002, Utrecht, Netherlands. Published in the proceedings (editor: M. Wiering), pp. 39-45. Abstract, the paper in PDF (1.57M).
Wojciech Jamroga (2002), Multiple Models of Reality and How to Use Them. Presented at the 14th Belgian-Dutch Conference on Artificial Intelligence BNAIC 2002, October 21-22, 2002, Leuven, Belgium, and published in the proceedings (editors: H. Blockeel and M. Denecker), pp. 155-162. Abstract, the paper in PDF (434K).
Wojciech Jamroga (2001), Multilevel Modeling of Dialogue Environment for e-Commerce Agents. Presented on Polish Workshop on Electronic Commerce "Electronic Commerce - gospodarka XXI wieku", November 9-11, 2001, Jastrzebia Gora, Poland. Published in: D. Waldzinski (ed.), Electronic Commerce - gospodarka XXI wieku, pp. 49-53. See the abstract or get a copy (gzipped postscript, 82K).
Wojciech Jamroga (2001), A Defense Model for Games with Incomplete Information. Presented at the Joint 24th German/9th Austrian Conference on Artificial Intelligence "KI-2001", September 19-21, 2001, Vienna, Austria. Published in F. Baader, G. Brewka, T. Eiter (eds.), KI 2001: Advances in Artificial Intelligence, Lecture Notes in Artificial Intelligence vol. 2174, pp. 260-274 © Springer-Verlag. See the abstract or download the paper in PDF (225K).
Wojciech Jamroga (2001), Changing and Using Beliefs under Incomplete Information. Presented at the 10th International Symposium "Intelligent Information Systems '01", June 18-22, 2001, Zakopane, Poland. Published in the conference proceedings, volume Communications (ICS PAS Report No. 928; ed. by M.A. Klopotek, S.T. Wierzchon and M. Michalewicz), pp. 31-36. See the abstract or download a gzipped postscript copy (236K).
Wojciech Jamroga (1999), Modelling Artificial Intelligence on a Case of Bridge Card Play Bidding. The paper was presented at the 8th International Symposium "Intelligent Information Systems '99", June 14-18, 1999, Ustron, Poland, and published in the conference proceedings (pp. 267-277). You can also find a gzipped postscript copy (109K) of the paper here.
Wojciech Jamroga (1999), Extending Fuzzy Logics to Support Decisions. Unpublished. See the abstract or get a gzipped postscript copy (65K).
Iwona Fuchs-Jamroga and Wojciech Jamroga (1999), "Learning Europe on Hypertext". Accepted for the 19th World Conference on Open Learning and Distance Education, Vienna, 20-24 June 1999.
Wojciech Jamroga (1995), Machine-assisted Translation of English computer science texts to Polish langage (M.Sc. thesis, in Polish). Get a zipped MS-Word copy here (136K).

Ph.D. Students

I have been supervising and co-supervising the following Ph.D. students:

Damian Kurpiewski, Polish Academy of Sciences. Role: main supervisor. Subject: Model-Checking of Strategic Properties in E-Voting Protocols.
Masoud Tabatabaei, University of Luxembourg. Main supervisors: Peter Y. Ryan and myself. Subject: Games and Strategies in Analysis of Security Properties. Defended in October 2016.
Jerzy Pilecki, Polish Academy of Sciences. Role: co-supervisor (main supervisor: Marek Bednarczyk). Subject: Distributed Model-Checking of Security Properties in Games with Incomplete Information.
Matthijs Melissen, University of Luxembourg. Role: co-supervisor (main supervisor: Sjouke Mauw). Subject: Games in Modeling and Analysis of Security. Defended in October 2013.
Nils Bullling, Clausthal University of Technology. Role: co-supervisor (main supervisor: Juergen Dix). Subject: Modelling and Verifying Abilities of Rational Agents. Defended in October 2010.
Juan Acosta Guadarrama, Clausthal University of Technology. Role: co-supervisor (main supervisor: Juergen Dix). Subject: On Updates of Epistemic States. Defended in December 2009.

Committees

Membership in committees and organization of conferences:

International Joint Conferences on Artificial Intelligence IJCAI. PC Board member, 2022-24.
4th Workshop on Behavioral Authentication for System Security BASS 2024, 30 July-2 August 2024, Vienna, Austria. Program Committee member.
9th International Joint Conference on Electronic Voting E-VOTE-ID 2024, 1-4 October 2024, Tarragona, Spain. Program Committee member.
33rd International Joint Conference on Artificial Intelligence IJCAI-PRICAI 2024, 3-9 August 2024, Jeju Island, South Korea. Program Committee member.
45th International Conference on Application and Theory of Petri Nets and Concurrency PETRI NETS 2024, 24-28 June, 2024, Geneva, Switzerland. Program Committee member.
23rd International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2024, 6-10 May 2024, Auckland, New Zealand. Area Chair.
32nd EACSL Annual Conference on Computer Science Logic CSL 2024, 19-23 February 2024, Naples, Italy. Program Committee member.
20th Pacific Rim International Conference on Artificial Intelligence PRICAI 2023, 15-17 November 2023, Jakarta, Indonesia. Program Committee member.
8th International Joint Conference on Electronic Voting E-VOTE-ID 2023, 3-6 October 2023, Luxembourg, Luxembourg. Program Committee member.
International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning LAMAS & SR 2023, 30 September-1 October, 2023, Krakow, Poland. Program Committee member.
32nd International Joint Conference on Artificial Intelligence IJCAI 2023, 19-25 August 2023, Macao, SAR China. Program Committee member.
22nd International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2023, 29 May-2 June 2023, London, UK. Program Committee member.
7th International Joint Conference on Electronic Voting E-VOTE-ID 2022, 4-7 October 2022, Bregenz, Austria. Program Committee member.
International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning LAMAS & SR 2022, 25-26 August 2022, Rennes, France. Program Committee member.
31st International Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence IJCAI/ECAI 2022, 23-29 July, 2022, Vienna, Austria. Program Committee member.
21st International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2022, 9-13 May 2022, virtual. Scholarship Co-Chair.
21st International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2022, 9-13 May 2022, virtual. Senior Program Committee member.
18th International Conference on Principles of Knowledge Representation and Reasoning KR 2021, 6-12 November 2021, Hanoi, Vietnam (virtual). Program Committee member.
30th International Joint Conference on Artificial Intelligence IJCAI 2021, 21-26 August 2021, Montreal, Canada (virtual). Senior Program Committee member.
20th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2021, 3-7 May 2021, London, UK (virtual). Scholarship Co-Chair.
20th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2021, 3-7 May 2021, London, UK (virtual). Program Committee member of the Blue Sky Ideas Track.
International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning LAMAS & SR 2021, 3-4 May 2021, London, UK (virtual). Program Committee member.
29th International Joint Conference on Artificial Intelligence and 17th Pacific Rim International Conference on Artificial Intelligence IJCAI-PRICAI 2020, 7-15 January 2021, Yokohama, Japan (virtual). Program Committee member.
24th European Conference on Artificial Intelligence ECAI 2020, 8-12 June 2020, Santiago de Compostela, Spain (virtual). Senior Program Committee member.
35th International Conference on Information Security and Privacy Protection IFIP SEC 2020, 26-28 May 2020, Maribor, Slovenia (virtual). Program Committee member.
19th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2020, 9-13 May 2020, Auckland, New Zealand (virtual). Program Committee member of the Blue Sky Ideas Track.
10th Workshop on Logical Aspects of Multi-Agent Systems LAMAS 2020, 10 May 2020, Auckland, New Zealand (virtual). Program Committee member.
34th Conference on Artificial Intelligence AAAI-20, 7-12 February 2020, New York, USA. Program Committee member.
1st Workshop on Verification of Voter-Verifiable Voting Protocols, 20-22 November 2019, Luxembourg. Main organizer.
28th International Joint Conference on Artificial Intelligence IJCAI-19, 10-16 August 2019, Macao, China. Program Committee member.
7th International Workshop on Strategic Reasoning SR 2019, 10 August 2019, Macao, China. Program Committee member.
18th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2019, 13-17 May 2019, Montreal, Canada. Senior Program Committee member.
16th International Conference on Principles of Knowledge Representation and Reasoning KR 2018, 30 October-2 November 2018, Tempe, Arizona, USA. Program Committee member.
27th international Workshop on Concurrency, Specification and Programming CS&P 2018, 24-26 September 2018, Berlin, Germany. Program Committee member.
33rd International Conference on Information Security and Privacy Protection IFIP SEC 2018, 18-20 September 2018, Poznan, Poland. Program Committee member.
30th European Summer School in Logic, Language and Information ESSLLI 2018, 6-17 August 2018, Sofia, Bulgaria. Area Chair.
27th International Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence IJCAI-ECAI-18, 13-19 July 2018, Stockholm, Sweden. Program Committee member.
6th International Workshop on Strategic Reasoning SR2018, 7-8 July 2018, Oxford, UK. Program Committee member.
15th European Workshop on Multi-Agent Systems EUMAS 2017, 14-15 December 2017, Evry, France. Program Committee member.
20th International Conference on Principles and Practice of Multi-Agent Systems PRIMA 2017, 30 October-3 November 2017, Nice, France. Program Committee member.
11th International Symposium on Intelligent Distributed Computing IDC 2017, 11-13 October 2017, Belgrade, Serbia. Program Committee member.
19th European Agent Systems Summer School EASSS '17, 7-11 August 2017, Gdansk, Poland. Organizing Committee and Program Committee chair.
16th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2017, 8-12 May, 2017, Sao Paulo, Brazil. Senior Program Committee member.
31st Conference on Artificial Intelligence AAAI-17, 4-9 February 2017, San Francisco, USA. Program Committee member.
25th international Workshop on Concurrency, Specification and Programming CS&P 2016, 28-30 September 2016, Rostock, Germany. Program Committee member.
LAMAS Seminar on INteraction Gdansk LAMAS SING 2016, September 14-16, 2016, Gdansk, Poland. Organizing Committee and Program Committee chair.
22nd European Conference on Artificial Intelligence ECAI 2016, August 29-September 2, 2016, Den Haag, the Netherlands. Program Committee member.
International Conference on Principles and Practice of Multi-Agent Systems PRIMA 2016, August 22-26, 2016, Phuket, Thailand. Program Committee member.
4th International Workshop on Strategic Reasoning SR2016, 10 July 2016, New York, USA. Program Committee member.
15th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2016, May 9-13, 2016, Singapore. Senior Program Committee member.
30th Conference on Artificial Intelligence AAAI-16, February 12-17, 2016, Phoenix, Arizona USA. Program Committee member.
LAMAS Seminar on INteraction Gdansk LAMAS SING 2015, September 23-25, 2015, Gdansk, Poland. Organizing Committee and Program Committee chair.
22nd International Symposium on Temporal Representation and Reasoning TIME 2015, September 23-25, 2015, Kassel, Germany. Program Committee member.
3rd International Workshop on Strategic Reasoning SR2015, Oxford, UK, September 21-22, 2015. Program Committee member.
2nd Workshop on Formal Verification for Self-* Systems VERY* 2015, September 8th 2015, York, UK. Program Committee member.
8th Workshop on Logical Aspects of Multi-Agent Systems LAMAS 2015, May 4, 2015, Istanbul, Turkey. Program Committee member.
12th European Workshop on Multi-Agent Systems EUMAS 2014, Prague, Czech Republic, 18-19 December 2014. Program Committee member.
IEEE Intelligent Systems IS'14, Warsaw, Poland, September 24-26, 2014. Special session Program Committee member.
21st European Conference on Artificial Intelligence ECAI 2014, August 18-22, 2014, Prague, Czech Republic. Program Committee member.
15th International Workshop on Computational Logic in Multi-Agent Systems CLIMA XV, August 18-19, 2014, Prague, Czech Republic. Program Committee member and special session chair.
14th International Conference on Principles of Knowledge Representation and Reasoning KR 2014, July 20-24, 2014, Vienna, Austria. Program Committee member.
13th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2014, May 5-9, 2014, Paris, France. Senior Program Committee member.
7th Workshop on Logical Aspects of Multi-Agent Systems LAMAS 2014, May 5 or 6, 2014, Paris, France. Program Committee member.
2nd International Workshop on Strategic Reasoning SR2014, April 5-6, 2014, Grenoble, France. Program Committee member.
14th International Workshop on Computational Logic in Multi-Agent Systems CLIMA XIV, September 16-18, 2013, A Coruna, Spain. Program Committee member.
7th Workshop on Multi-Agent Systems: Theory and Applications MASTA'13, September 9-12, 2013, Acores, Portugal. Program Committee member.
23rd International Joint Conference on Artificial Intelligence IJCAI'13, August 3-9 2013, Beijing, China. Program Committee member.
27th Conference on Artificial Intelligence AAAI-13, July 14-18, 2013, Bellevue, Washington, USA. Program Committee member.
12th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2013, May 6-10, 2013, Saint Paul, Minnesota, USA. Program Committee member.
4th Workshop on Cooperative Games in Multiagent Systems CoopMAS'13, May 6, 2013, Saint Paul, Minnesota, USA. Program Committee member.
1st International Workshop on Strategic Reasoning SR2013, March 16-17, 2013, Rome, Italy. Program Committee member.
10th European Workshop on Multi-Agent Systems EUMAS'12, 18-19 December 2012, Dublin, Ireland. Program Committee member.
23rd Benelux Conference on Artificial Intelligence BNAIC 2012, October 25-26, 2012, Maastricht, the Netherlands. Program Committee member.
20th European Conference on Artificial Intelligence ECAI 2012, August 27-31, 2012, Montpelier, France. Program Committee member.
13th International Workshop on Computational Logic in Multi-Agent Systems CLIMA XIII, August 27-28, 2012, Montpelier, France. Program Committee member.
26th Conference on Artificial Intelligence AAAI-12, July 22-26, 2012, Toronto, Canada. Program Committee member.
13th International Conference on Principles of Knowledge Representation and Reasoning KR 2012, June 7-10, 2012, Rome, Italy. Program Committee member.
5th Workshop on Logical Aspects of Multi-Agent Systems LAMAS 2012, June 5, 2012, Valencia, Spain. Co-organizer and PC co-chair.
11th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2012, June 4-8, 2012, Valencia, Spain. Program Committee member.
4th International Conference on Agents and AI ICAART 2012, 6-8 February, 2012, Vilamoura, Portugal. Program Committee member.
9th European Workshop on Multi-Agent Systems EUMAS'11, 14-15 November 2011, Maastricht, Netherlands. Program Committee member.
23rd Benelux Conference on Artificial Intelligence BNAIC 2011, November 3-4, 2011, Ghent, Belgium. Program Committee member.
4th Workshop on Logical Aspects of Multi-Agent Systems LAMAS 2011, 11 November 2011, Osuna, Spain. Co-organizer and PC co-chair.
6th Workshop on Multi-Agent Systems: Theory and Applications MASTA'11, October 10-13, 2011, Lisbon, Portugal. Program Committee member.
9th German Conference on Multi-Agent System Technologies MATES 2011, October 6-7, 2011, Berlin, Germany. Program Committee member.
Workshop on Agent Based Computing: from Model to Implementation VIII ABC:MI, September 18-21, 2011, Szczecin, Poland. Program Committee member.
International Joint Conference on Security and Intelligent Information Systems S&IIS'11, 13-14 June 2011, Warsaw, Poland. Program Committee member.
22nd International Joint Conference on Artificial Intelligence IJCAI'11, 16-22 July 2011, Barcelona, Spain. Program Committee member.
12th International Workshop on Computational Logic in Multi-Agent Systems CLIMA XII, 17-18 July 2011, Barcelona, Spain. Program Committee member.
2nd International Symposium on Games, Automata, Logics and Formal Verification GandALF2011, June 15-17, 2011, Minori, Italy. Program Committee member.
13th International Conference on Artificial Intelligence and Law ICAIL 2011, June 6-10, 2011, Pittsburgh, USA. Program Committee member.
10th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2011, 2-6 May 2011, Taipei, Taiwan. Program Committee member.
2nd Workshop on Cooperative Games in Multiagent Systems CoopMAS'11, 2 May 2011, Taipei, Taiwan. Program Committee member.
Dagstuhl Seminar 11101 Reasoning about Interaction: From Game Theory to Logic and Back, March 6-11, 2011, Dagstuhl, Germany. Co-organizer.
3rd International Conference on Agents and Artificial Intelligence ICAART 2011, January 28-30, 2011, Rome, Italy. Program Committee member.
8th European Workshop on Multi-Agent Systems EUMAS'10, 16-17 December 2010, Paris, France. Program Committee member.
22nd Benelux Conference on Artificial Intelligence BNAIC 2010, October 25-26, 2010, Luxembourg. Program Committee member.
3rd Workshop on Logics for Intelligent Agents and Multi-Agent Systems WLIAMAS 2010, August 31 - September 3, 2010, Toronto, Canada. Program Committee member.
Third international Workshop on LAnguages, methodologies and Development tools for multi-agent systemS LADS'010, 30 August 2010 - 4 September 2010, Lyon, France. Program Committee member.
11th International Conference on Electronic Commerce and Web Technologies EC-Web-2010, 30 August-3 September 2010, Bilbao, Spain. Program Committee member.
19th European Conference on Artificial Intelligence ECAI 2010, August 16-20, 2010, Lisbon, Portugal. Program Committee member.
European Starting AI Researcher Symposium STAIRS 2010, August 16-20, 2010, Lisbon, Portugal. Program Committee member.
11th International Workshop on Computational Logic in Multi-Agent Systems CLIMA XI, August 16-17, 2010, Lisbon, Portugal. Chair of the special session on Logics for Games and Strategic Reasoning.
ESSLLI Workshop on Logics in Security, 9-13 August 2010, Copenhagen, Denmark. Program Committee member.
22nd European Summer School in Logic, Language and Information ESSLLI 2010, 9-20 August 2010, Copenhagen, Denmark. PC member of the student session.
International Joint Conference on Intelligent Information Systems IIS'10, June 8-10, 2010, Siedlce, Poland. Program Committee member.
3rd Workshop on Logics for Agents and Mobility LAM'10, 15 July 2010, Edinburgh, UK. Program Committee member.
3rd Workshop on Logical Aspects of Multi-Agent Systems LAMAS 2010, 10 May 2010, Toronto, Canada. Co-organizer and PC co-chair.
1st Workshop on Cooperative Games in Multiagent Systems CoopMAS-2010, 10 or 11 May 2010, Toronto, Canada. Program Committee member.
9th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS 2010, 10-14 May 2010, Toronto, Canada. Program Committee member.
2nd International Conference on Agents and AI ICAART 2010, January 22-24, 2010, Valencia, Spain. Program Committee member.
7th European Workshop on Multi-Agent Systems EUMAS'09, December 2009, Ayia Napa, Cyprus. Program Committee member.
The first International Conference on Knowledge and Systems Engineering KSE 2009, October 13-17, 2009, Hanoi, Vietnam. Program Committee member.
5th Workshop on Multi-Agent Systems: Theory and Applications MASTA '09, 12-15 October 2009, Aveiro, Portugal. Program Committee member.
2nd Workshop on Logics for Intelligent Agents and Multi-Agent Systems WLIAMAS 2009, September 15-18, 2009, Milano, Italy. Program Committee member.
Workshop on Theory and Practice of Programming Collectives PROTOCOL-2009, September 2009, San Francisco, US. Program Committee member. Note: the workshop has been cancelled.
10th International Workshop on Computational Logic in Multi-Agent Systems CLIMA X, 9-10 September 2009, Hamburg, Germany. Program Committee member.
2nd International Workshop on LAnguages, methodologies and Development tools for multi-agent systemS LADS'009, September 2009, Torino, Italy. Program Committee member.
4th Workshop on Formal Approaches to Multiagent Systems FAMAS 2009, September 2009, Torino, Italy. Program Committee member.
11th European Agent Systems Summer School EASSS'09, August 31-September 4, 2009, Torino, Italy. PC member of the student session.
2nd Workshop on Logics for Agents and Mobility LAM'09, 9-10 August 2009, Los Angeles, USA. Program Committee member.
8th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS-2009, 10-15 May 2009, Budapest, Hungary. Program Committee member.
6th European Workshop on Multi-Agent Systems EUMAS'08, 18-19 December 2008, Bath, UK. Program Committee member.
Pacific Rim International Workshop on Multi-Agents PRIMA 2008, 15-16 December 2008, Hanoi, Vietnam. Program Committee member.
Workshop on Knowledge Representation for Agents and Multi-Agent Systems KRAMAS 2008, 16-19 September 2008, Sydney, Australia. Program Committee member.
ESSLLI 2008 Workshop on Dynamics in Logic, 4-8 August 2008, Hamburg, Germany. Program Committee member.
Workshop on Logics for Agents and Mobility LAM'08, 4-8 August 2008, Hamburg, Germany. Program Committee member.
8th Conference on Logic and the Foundations of Game and Decision Theory LOFT 2008, 3-5 July 2008, Amsterdam, The Netherlands. Program Committee member.
7th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS-2008, 12-16 May 2008, Estoril, Portugal. Program Committee member.
10th European Agent Systems Summer School EASSS'08, 5-9 May 2008, Lisbon, Portugal. PC member of the student session.
5th European Workshop on Multi-Agent Systems EUMAS-2007, 13-14 December 2007, Hammamet, Tunisia. Program Committee member.
4th Workshop on Multi-Agent Systems: Theory and Applications MASTA '07, 3-7 December 2007, Guimaraes, Portugal. Program Committee member.
3rd Workshop on Formal Approaches to Multiagent Systems FAMAS 2007, 6-7 September 2007, Durham, UK. Program Committee member.
6th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS-2007, 14-18 May 2007, Honolulu, Hawaii, USA. Program Committee member.
4th European Workshop on Multi-Agent Systems EUMAS-2006, 14-15 December, Lisbon, Portugal. Program Committee member.
17th European Conference on Artificial Intelligence ECAI 2006, August 28-September 1, 2006, Riva del Garda, Italy. Program Committee member.
7th Conference on Logic and the Foundations of Game and Decision Theory LOFT06, 13-15 July 2006, Liverpool, UK. Program Committee member.
2nd Workshop on Formal Approaches to Multiagent Systems FAMAS 2006, August 28, 2006, Riva del Garda, Italy. Program Committee member.
5th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS-2006, May 8-12, 2006, Hakodate, Japan. Program Committee member.
4th International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS-2005, July 25-29, 2005, Utrecht, the Netherlands. Program Committee member.
3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems AAMAS-2004, July 19-23, 2004, New York, USA. Program Committee member.
Symposium Agents Everywhere, July 1, 2004, Enschede, the Netherlands. Co-organizer.
ECOM-03, October 16-18, 2003, Gdansk, Poland. Organizing Committee co-chair and Program Committee member.
ECOM-02, November 13-15, 2002, Sopot, Poland. Organizing Committee co-chair.

Applied Security and Information Assurance Group @ University of Luxembourg

Formal Verification Group @ Polish Academy of Sciences
Computational Intelligence Group @ Clausthal University of Technology Last modified 2024-04-13

Applied Security and Information Assurance Group @ University of Luxembourg
Formal Verification Group @ Polish Academy of Sciences
Computational Intelligence Group @ Clausthal University of Technology	Last modified 2024-04-13