@inproceedings{45a41004365e4038926a370c29a7e713,
title = "On the boundary of (Un) decidability: Decidable model-checking for a fragment of resource agent logic",
abstract = "The model-checking problem for Resource Agent Logic is known to be undecidable. We review existing (un) decidability results and identify a significant fragment of the logic for which model checking is decidable. We discuss aspects which makes model checking decidable and prove undecidability of two open fragments over a class of models in which agents always have a choice of doing nothing.",
author = "Natasha Alechina and Nils Bulling and Brian Logan and Nguyen, \{Hoang Nga\}",
year = "2015",
language = "English",
series = "IJCAI International Joint Conference on Artificial Intelligence",
publisher = "International Joint Conferences on Artificial Intelligence",
pages = "1494--1501",
editor = "Michael Wooldridge and Qiang Yang",
booktitle = "IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence",
address = "United States",
note = "24th International Joint Conference on Artificial Intelligence, IJCAI 2015, IJCAI 2015 ; Conference date: 25-07-2015 Through 31-07-2015",
}