Alternating-time temporal logic with resource bounds

QR Code

Alternating-time temporal logic with resource bounds

Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools for reasoning about coalitional ability. However, coalitional ability can be affected by the availability of resources, a...

Full description

Bibliographic Details
Main Authors:	Nguyen, Hoang Nga, Alechina, Natasha, Logan, Brian, Rakib, Abdur
Format:	Article
Published:	Oxford University Press 2015
Subjects:	Strategic Ability Resources Axiomatisation of RB-ATL
Online Access:	https://eprints.nottingham.ac.uk/28943/

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

Use of humanised rat basophilic leukaemia cell line RS-ATL8 for the assessment of allergenicity of Schistosoma mansoni proteins.
by: Wan, Daniel, et al.
Published: (2014)

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

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

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

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

Factors affecting students' ability to respond to literacy text as a form of higher order thinking skills / Siti Sarah Abdur Rani
by: Abdur Rani, Siti Sarah
Published: (2013)

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

Human resource management for corporate social responsibility (CSR) and Sustainable Development (SD): Practical policies' implications for managers
by: Naude, Marita, et al.
Published: (2011)

Strategic agility and the role of HR as a strategic business partner: An Indian perspective
by: Ananthram, Subramaniam, et al.
Published: (2013)

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

Strategic alliances and knowledge sharing: synergies or silos?
by: Connell, Julia, et al.
Published: (2007)

The Impact of Union Presence and Strategic Human Resource Management on Employee Voice in Multinational Enterprises in Australia
by: Sablok, Gitika, et al.
Published: (2013)

EEG-based topography of reading-writing pathway for dyslexic with writing disorder as an alternative to fMRI Images / Noor Bariah Mohamad
by: Mohamad, Noor Bariah
Published: (2016)

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

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

National culture and management control systems: an explanatory study on the implementations of foreign MCS in Japan / Wooseok Suh
by: Suh, Wooseok
Published: (2014)

Facilitating higher order thinking skills (HOTs) in ESL reading through computer mediated learning tutorial / Noraini Ahmad Basri
by: Ahmad Basri, Noraini
Published: (2017)

Project Based Learning Pedagogical Design in STEAM Art Education
by: Mohd Hawari, Ahmad Dasuki, et al.
Published: (2020)

The relationship between perceived father and mother parenting styles and student academic achievement at SMK Methodist (ACS) Melaka / Noorhafizah Rubaai
by: Rubaai, Noorhafizah
Published: (2010)

Persepsi Moderator Terhadap Peranan Mereka dalam Mengaktifkan Komuniti Sibernya
by: Abdul Hamid, Zauridah
Published: (2004)

RBL cells as models for in vitro studies of mast cells and basophils
by: Falcone, Franco H., et al.
Published: (2018)

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)

Business Model Canvas: Value Proposition / Nur Ain Mardiah Che Apandi
by: Che Apandi, Nur Ain Mardiah
Published: (2020)

Technology Enterpreneurship (ENT600) Blueprint Ceiling Fan Cleaner / Nursyafreena Rosli
by: Mohd Zaki, Nur Namirah
Published: (2020)

Excellent educare tuition centre / Marsytah Shaari... [et al.]
by: Shaari, Marsytah, et al.
Published: (2005)

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