Pages that link to "Item:Q2825419"

The following pages link to On a Logic for Coalitional Games with Priced-Resource Agents (Q2825419):

Displayed 11 items.

• The virtues of idleness: a decidable fragment of resource agent logic (Q514142) ‎ (← links)
• Knowing the price of success (Q785233) ‎ (← links)
• Characterization, verification and generation of strategies in games with resource constraints (Q2125548) ‎ (← links)
• Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) ‎ (← links)
• Trustworthy online shopping with price impact (Q2360660) ‎ (← links)
• Model-checking for resource-bounded ATL with production and consumption of resources (Q2361350) ‎ (← 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)
• Coalition formation in social environments with logic-based agents1 (Q5145446) ‎ (← links)
• On the complexity of resource-bounded logics (Q5915568) ‎ (← links)
• Formal modelling and verification of probabilistic resource bounded agents (Q6190087) ‎ (← links)