The virtues of idleness: A decidable fragment of resource agent logic

Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen. The virtues of idleness: A decidable fragment of resource agent logic. Artificial Intelligence, 245:56-85, 2017. [doi]

Abstract

Abstract is missing.