Wojciech Jamroga

Available identifiers

zbMath Open jamroga.wojciechMaRDI QIDQ885522

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5884964	2023-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q5079765	2022-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4994887	2021-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4992518	2021-06-09	Paper
Multi-valued Verification of Strategic Ability	2021-05-20	Paper
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol	2021-02-08	Paper
Towards Partial Order Reductions for Strategic Ability	2020-09-14	Paper
Natural strategic ability	2020-01-20	Paper
Approximate verification of strategic abilities under imperfect information	2020-01-20	Paper
Timed ATL: Forget Memory, Just Count	2019-10-11	Paper
Reasoning about Strategic Abilities	2019-07-04	Paper
Accumulative knowledge under bounded resources	2019-01-31	Paper
Iterative Judgment Aggregation	2018-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q3133186	2018-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q5282971	2017-07-18	Paper
Logics for Reasoning About Strategic Abilities in Multi-player Games	2016-08-30	Paper
Coalition Description Logic with Individuals	2016-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q3457247	2015-12-11	Paper
Synthesis and Verification of Uniform Strategies for Multi-agent Systems	2014-10-14	Paper
Accumulative Knowledge under Bounded Resources	2013-10-04	Paper
Specification and Verification of Multi-Agent Systems	2012-11-01	Paper
Verifying agents with memory is harder than it seemed	2011-05-18	Paper
Constructive knowledge: what agents can achieve under imperfect information	2009-11-30	Paper
Easy Yet Hard: Model Checking Strategies of Agents	2009-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q5192925	2009-08-10	Paper
Reasoning about temporal properties of rational play	2009-07-06	Paper
Deontic Logic in Computer Science	2009-04-30	Paper
A Logic for Reasoning about Rational Agents	2009-02-12	Paper
Model checking abilities of agents: a closer look	2008-04-11	Paper
Towards a theory of intention revision	2007-06-14	Paper
Theoretical Computer Science	2006-11-01	Paper
Comparing semantics of logics for multi-agent systems	2006-10-24	Paper
Expressing and verifying temporal and structural properties of mobile agents	2006-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q4681371	2005-06-23	Paper
Artificial Intelligence and Soft Computing - ICAISC 2004	2005-04-12	Paper
https://portal.mardi4nfdi.de/entity/Q4829280	2004-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q4797432	2003-03-13	Paper

Research outcomes over time

This page was built for person: Wojciech Jamroga