Pages that link to "Item:Q514142"

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

Displaying 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)