@inproceedings{d4b8e4864a754a57ab522bb59b6a4961,
title = "Resource logics with a diminishing resource",
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.",
keywords = "Model-checking, Resources",
author = "Natasha Alechina and Brian Logan",
note = "Publisher Copyright: {\textcopyright} 2018 International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved.; 17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018, AAMAS 2018 ; Conference date: 10-07-2018 Through 15-07-2018",
year = "2018",
language = "English",
isbn = "9781510868083",
series = "Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS",
publisher = "International Foundation for Autonomous Agents and Multiagent Systems ",
pages = "1847--1849",
booktitle = "17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018",
address = "United Kingdom",
}