The following pages link to (Q3388742):
Displaying 5 items.
- The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- Intention as commitment toward time (Q1989411) (← links)
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- Model-checking for resource-bounded ATL with production and consumption of resources (Q2361350) (← links)
