The virtues of idleness: a decidable fragment of resource agent logic
DOI10.1016/J.ARTINT.2016.12.005zbMATH Open1402.68122OpenAlexW2569421531MaRDI QIDQ514142FDOQ514142
Authors: Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen 
Publication date: 28 February 2017
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2016.12.005
Recommendations
- On the (un-)decidability of model checking resource-bounded agents
- Model-checking for resource-bounded ATL with production and consumption of resources
- scientific article; zbMATH DE number 7368413
- Alternating-time temporal logic with resource bounds
- Decidable model-checking for a resource logic with production of resources
Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Cites Work
- Parameterised verification for multi-agent systems
- Alternating-time temporal logic
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- A logical and computational theory of located resource
- The Logic of Bunched Implications
- A Modal Logic for Coalitional Power in Games
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Model Checking Coverability Graphs of Vector Addition Systems
- Title not available (Why is that?)
- Logic for coalitions with bounded resources
- A resource-sensitive logic of agency
- On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems
- Model-checking for resource-bounded ATL with production and consumption of resources
- Temporal property verification as a program analysis task
- On a logic for coalitional games with priced-resource agents
- On the (un-)decidability of model checking resource-bounded agents
- Expressing properties of resource-bounded systems: the logics RTL\(^{*}\) and RTL
- How to be both rich and happy: combining quantitative and qualitative strategic reasoning about multi-player games (extended abstract)
- Infinite-state liveness-to-safety via implicit abstraction and well-founded relations
- Model checking coalitional games in shortage resource scenarios
- Proving guarantee and recurrence temporal properties by abstract interpretation
- Classical BI
- Decidable model-checking for a resource logic with production of resources
- On the complexity of resource-bounded logics
Cited In (6)
- On the (un-)decidability of model checking resource-bounded agents
- Decidable model-checking for a resource logic with production of resources
- Natural strategic ability
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Verifying systems of resource-bounded agents
- State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems
Uses Software
This page was built for publication: The virtues of idleness: a decidable fragment of resource agent logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q514142)
