The following pages link to Nils Bulling (Q322074):
Displayed 19 items.
- Norm-based mechanism design (Q322076) (← links)
- The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
- Reasoning about temporal properties of rational play (Q1028639) (← links)
- (Q1623283) (redirect page) (← links)
- Logics for Reasoning About Strategic Abilities in Multi-player Games (Q2817409) (← links)
- Coalitional Responsibility in Strategic Settings (Q2851968) (← links)
- A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks (Q2915047) (← links)
- On the (un-)decidability of model-checking resource-bounded agents (Q2999192) (← links)
- Verifying agents with memory is harder than it seemed (Q3000379) (← links)
- Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL (Q3055669) (← links)
- (Q3388742) (← links)
- A Logic for Reasoning about Rational Agents (Q3602940) (← links)
- Distributed Controllers for Norm Enforcement (Q4576207) (← links)
- (Q5192925) (← links)
- Reasoning about Strategic Abilities (Q5222875) (← links)
- A game-theoretic approach to compute stable topologies in mobile ad hoc networks (Q5262478) (← links)
- (Q5282971) (← links)
- On the complexity of resource-bounded logics (Q5915568) (← links)
- On the complexity of resource-bounded logics (Q5915899) (← links)