Resource logics with a diminishing resource: extended abstract

Alechina, Natasha; Logan, Brian

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.

Citation

Alechina, N., & Logan, B. (2018, July). Resource logics with a diminishing resource: extended abstract. Presented at 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), Stockholm, Sweden

• Presentation Conference Type: Edited Proceedings
• Conference Name: 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)
• Start Date: Jul 10, 2018
• End Date: Jul 15, 2018
• Acceptance Date: Jan 24, 2018
• Publication Date: Jul 15, 2018
• Deposit Date: Jul 19, 2018
• Publicly Available Date: Jul 19, 2018
• Peer Reviewed: Peer Reviewed
• Series ISSN: 2523-5699
• Book Title: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)
• Keywords: Model-checking; resources
• Public URL: https://nottingham-repository.worktribe.com/output/946652
• Publisher URL: http://ifaamas.org/Proceedings/aamas2018/forms/authors1.htm
• Related Public URLs: http://ifaamas.org/Proceedings/aamas2018/
• 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.
• Contract Date: Jul 19, 2018