Resource logics with a diminishing resource: extended abstract

Alechina, Natasha and Logan, Brian (2018) Resource logics with a diminishing resource: extended abstract. In: 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), 10-15 July 2018, Stockholm, Sweden.

Full text not available from this repository.

Abstract

Model-checking resource logics with production and consumption of resources is a computationally hard and often undecidable problem. We show that it is more feasible under the assumption that there is at least one diminishing resource, that is, a resource which is consumed by every action.

Item Type: Conference or Workshop Item (Paper)
RIS ID: https://nottingham-repository.worktribe.com/output/946652
Additional Information: Published in: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems, p. 1847-1849. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2018. ISBN 9781450356497.
Keywords: Model-checking; resources
Schools/Departments: University of Nottingham, UK > Faculty of Science > School of Computer Science
Related URLs:
URLURL Type
http://ifaamas.org/Proceedings/aamas2018/UNSPECIFIED
Depositing User: Eprints, Support
Date Deposited: 19 Jul 2018 09:58
Last Modified: 04 May 2020 19:46
URI: http://eprints.nottingham.ac.uk/id/eprint/53031

Actions (Archive Staff Only)

Edit View Edit View