Resource logics with a diminishing resource: extended 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.
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
2018
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/53031/ |
| _version_ | 1848798863217917952 |
|---|---|
| author | Alechina, Natasha Logan, Brian |
| author_facet | Alechina, Natasha Logan, Brian |
| author_sort | Alechina, Natasha |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-14T20:26:31Z |
| format | Conference or Workshop Item |
| id | nottingham-53031 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T20:26:31Z |
| publishDate | 2018 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-530312020-05-04T19:46:19Z https://eprints.nottingham.ac.uk/53031/ Resource logics with a diminishing resource: extended abstract Alechina, Natasha Logan, Brian 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. 2018-07-15 Conference or Workshop Item PeerReviewed 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. Model-checking; resources http://ifaamas.org/Proceedings/aamas2018/forms/authors1.htm |
| spellingShingle | Model-checking; resources Alechina, Natasha Logan, Brian Resource logics with a diminishing resource: extended abstract |
| title | Resource logics with a diminishing resource: extended abstract |
| title_full | Resource logics with a diminishing resource: extended abstract |
| title_fullStr | Resource logics with a diminishing resource: extended abstract |
| title_full_unstemmed | Resource logics with a diminishing resource: extended abstract |
| title_short | Resource logics with a diminishing resource: extended abstract |
| title_sort | resource logics with a diminishing resource: extended abstract |
| topic | Model-checking; resources |
| url | https://eprints.nottingham.ac.uk/53031/ https://eprints.nottingham.ac.uk/53031/ |