Pages that link to "Item:Q514142"

The following pages link to The virtues of idleness: a decidable fragment of resource agent logic (Q514142):

Displayed 4 items.

• Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) ‎ (← links)
• Natural strategic ability (Q2289013) ‎ (← links)
• Verifying Systems of Resource-Bounded Agents (Q3188235) ‎ (← links)
• State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems (Q5049036) ‎ (← links)