On the (un-)decidability of model-checking resource-bounded agents
From MaRDI portal
Publication:2999192
DOI10.3233/978-1-60750-606-5-567zbMath1211.68246OpenAlexW2536466748MaRDI QIDQ2999192
Publication date: 11 May 2011
Full work available at URL: http://dspace1.isd.glam.ac.uk/dspace/handle/10265/522
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
Related Items (11)
Model-checking for resource-bounded ATL with production and consumption of resources ⋮ State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems ⋮ Verifying Systems of Resource-Bounded Agents ⋮ An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals ⋮ Where logic and agents meet ⋮ Strategic reasoning with a bounded number of resources: the quest for tractability ⋮ The virtues of idleness: a decidable fragment of resource agent logic ⋮ On the complexity of resource-bounded logics ⋮ Natural strategic ability ⋮ On a Logic for Coalitional Games with Priced-Resource Agents ⋮ Knowing the price of success
This page was built for publication: On the (un-)decidability of model-checking resource-bounded agents
