The following pages link to Wojciech Jamroga (Q885522):
Displayed 37 items.
- Towards a theory of intention revision (Q885523) (← links)
- Reasoning about temporal properties of rational play (Q1028639) (← links)
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol (Q2225593) (← links)
- Natural strategic ability (Q2289013) (← links)
- Approximate verification of strategic abilities under imperfect information (Q2289016) (← links)
- Comparing semantics of logics for multi-agent systems (Q2431875) (← links)
- Model checking abilities of agents: a closer look (Q2481560) (← links)
- Logics for Reasoning About Strategic Abilities in Multi-player Games (Q2817409) (← links)
- Accumulative Knowledge under Bounded Resources (Q2851971) (← links)
- Synthesis and Verification of Uniform Strategies for Multi-agent Systems (Q2921967) (← links)
- Verifying agents with memory is harder than it seemed (Q3000379) (← links)
- (Q3133186) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- Coalition Description Logic with Individuals (Q3185771) (← links)
- Easy Yet Hard: Model Checking Strategies of Agents (Q3393378) (← links)
- (Q3457247) (← links)
- A Logic for Reasoning about Rational Agents (Q3602940) (← links)
- Constructive knowledge: what agents can achieve under imperfect information (Q3647280) (← links)
- Iterative Judgment Aggregation (Q4576261) (← links)
- Accumulative knowledge under bounded resources (Q4612418) (← links)
- Artificial Intelligence and Soft Computing - ICAISC 2004 (Q4666247) (← links)
- (Q4681371) (← links)
- (Q4797432) (← links)
- (Q4829280) (← links)
- Multi-valued Verification of Strategic Ability (Q4988961) (← links)
- (Q4992518) (← links)
- (Q4994887) (← links)
- (Q5079765) (← links)
- Towards Partial Order Reductions for Strategic Ability (Q5121410) (← links)
- (Q5192925) (← links)
- Reasoning about Strategic Abilities (Q5222875) (← links)
- Timed ATL: Forget Memory, Just Count (Q5235469) (← links)
- (Q5282971) (← links)
- Theoretical Computer Science (Q5395080) (← links)
- (Q5486049) (← links)
- (Q5884964) (← links)
- Deontic Logic in Computer Science (Q5901586) (← links)