Pages that link to "Item:Q3103974"
From MaRDI portal
The following pages link to Logic for coalitions with bounded resources (Q3103974):
Displaying 17 items.
- Logical omniscience as infeasibility (Q392271) (← links)
- The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
- Knowing the price of success (Q785233) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- Model-checking for resource-bounded ATL with production and consumption of resources (Q2361350) (← links)
- On a logic for coalitional games with priced-resource agents (Q2825419) (← links)
- Information Flow Under Budget Constraints (Q2835882) (← links)
- From coalition logic to STIT (Q2852085) (← links)
- Verifying Systems of Resource-Bounded Agents (Q3188235) (← links)
- Logics for Qualitative Coalitional Games (Q3636791) (← links)
- A logical characterisation of qualitative coalitional games (Q3647281) (← links)
- A Modal Logic for Coalitional Power in Games (Q4329525) (← links)
- Alternating-time temporal logic with resource bounds (Q4612421) (← links)
- Model checking coalitional games in shortage resource scenarios (Q4992519) (← 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)
- Formal modelling and verification of probabilistic resource bounded agents (Q6190087) (← links)