On the complexity of resource-bounded logics

QR Code

On the complexity of resource-bounded logics

We revisit decidability results for resource-bounded logics and use decision problems for vector addition systems with states (VASS) to characterise the complexity of (decidable) model-checking problems. We show that the model-checking problem for the logic RB+-ATL is 2EXPTIME-complete by using rec...

Full description

Bibliographic Details
Main Authors:	Alechina, Natasha, Bulling, Nils, Demri, Stephane, Logan, Brian
Format:	Conference or Workshop Item
Published:	2016
Online Access:	https://eprints.nottingham.ac.uk/37145/

Similar Items

On the complexity of resource-bounded logics
by: Alechina, N., et al.
Published: (2018)

The virtues of idleness: a decidable fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2017)

Practical run-time norm enforcement with bounded lookahead
by: Alechina, Natasha, et al.
Published: (2015)

On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2015)

Alternating-time temporal logic with resource bounds
by: Nguyen, Hoang Nga, et al.
Published: (2015)

Verifying systems of resource-bounded agents
by: Alechina, Natasha, et al.
Published: (2016)

Resource logics with a diminishing resource: extended abstract
by: Alechina, Natasha, et al.
Published: (2018)

Verifying existence of resource-bounded coalition uniform strategies
by: Alechina, Natasha, et al.
Published: (2016)

Model-checking for resource-bounded ATL with production and consumption of resources
by: Alechina, Natasha, et al.
Published: (2017)

Decidable model-checking for a resource logic with production of resources
by: Alechina, Natasha, et al.
Published: (2014)

Symbolic model checking for one-resource RB+-ATL
by: Alechina, Natasha, et al.
Published: (2015)

Rule-based and Resource-bounded: A New Look at Epistemic Logic
by: Jago, Mark
Published: (2006)

Coalition and coalition announcement logic
by: Galimullin, Rustam, et al.
Published: (2017)

Using qualitative spatial logic for validating crowd-sourced geospatial data
by: Du, Heshan, et al.
Published: (2015)

Qualitative spatial logics for buffered geometries
by: Du, Heshan, et al.
Published: (2016)

Coalition logic with individual, distributed and common knowledge
by: Ågotnes, Thomas, et al.
Published: (2016)

A logic for reasoning about knowledge of unawareness
by: Agotnes, Thomas, et al.
Published: (2014)

A logic of directions
by: Du, Heshan, et al.
Published: (2020)

Norm approximation for imperfect monitors
by: Alechina, Natasha, et al.
Published: (2014)

Efficient minimal preference change
by: Alechina, Natasha, et al.
Published: (2015)

Causality, responsibility and blame in team plans
by: Alechina, Natasha, et al.
Published: (2017)

Fair decomposition of group obligations
by: Alechina, Natasha, et al.
Published: (2017)

Verifying requirements for resource-bounded agents
by: Abdur, Rakib
Published: (2011)

Accessible bounds for general quantum resources
by: Bromley, Thomas R., et al.
Published: (2018)

Verifying heterogeneous multi-agent programs
by: Doan, Thu Trang, et al.
Published: (2014)

Incentivising monitoring in open normative systems
by: Alechina, Natasha, et al.
Published: (2017)

Incentive-compatible mechanisms for norm monitoring in open multi-agent systems
by: Alechina, Natasha, et al.
Published: (2018)

Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract)
by: Alechina, Natasha, et al.
Published: (2018)

Reasoning about resource-bounded multi-agent systems
by: Nguyen, Nguyen
Published: (2011)

Social capital, bounded agency and fuzzy logic: making data work in real world applications
by: Clancy, Sharon. L., et al.
Published: (2017)

Modelling excited states of weakly bound complexes with density functional theory
by: Briggs, Edward A., et al.
Published: (2014)

Language classes generated by tree controlled grammars with bounded nonterminal complexity
by: Turaev, Sherzod, et al.
Published: (2012)

Synthesis of orchestrations of transducers for manufacturing
by: De Giacomo, Giuseppe, et al.
Published: (2018)

Convocation bound
by: Siti Sarah, Mohamad Rajimi
Published: (2017)

Development of genetic fuzzy logic controllers for complex production systems
by: Homayouni, Seyed Mahdi, et al.
Published: (2009)

CO and NO desorption from N-bounded carbonaceous surface complexes: density functional theory calculations
by: Wang, Shaobin
Published: (2010)

FuGeF: a resource bound secure forwarding protocol for wireless sensor networks
by: Umar, Idris Abubakar, et al.
Published: (2016)

Synthesis and Photochemical Properties of Re(I) Tricarbonyl Complexes Bound to Thione and Thiazol-2-ylidene Ligands
by: Stout, Matthew J., et al.
Published: (2020)

Belief and bounded rationality
by: Jago, Mark
Published: (2006)

Belief and bounded rationality
by: Jago, Mark
Published: (2006)