The virtues of idleness: a decidable fragment of resource agent logic
From MaRDI portal
Publication:514142
DOI10.1016/j.artint.2016.12.005zbMath1402.68122OpenAlexW2569421531MaRDI QIDQ514142
Brian Logan, Nils Bulling, Natasha Alechina, 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
Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)
Related Items (4)
State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems ⋮ Verifying Systems of Resource-Bounded Agents ⋮ Strategic reasoning with a bounded number of resources: the quest for tractability ⋮ Natural strategic ability
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Parameterised verification for multi-agent systems
- On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- 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
- Model Checking Coverability Graphs of Vector Addition Systems
- Logic for coalitions with bounded resources
- Alternating-time temporal logic
- A Logical and Computational Theory of Located Resource
- The Logic of Bunched Implications
- A Modal Logic for Coalitional Power in Games
- Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations
- Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation
- Classical BI
- On the complexity of resource-bounded logics
This page was built for publication: The virtues of idleness: a decidable fragment of resource agent logic
