The virtues of idleness: a decidable fragment of resource agent logic

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

zbMATH Keywords

model checkingresource constraintsstrategy logics

Mathematics Subject Classification ID

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

• PRISM

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