Non-monotonic Temporal Goals

Ricardo Gonçalves, Matthias Knorr, João Leite, Martin Slota. Non-monotonic Temporal Goals. In Pedro Cabalar, Tran Cao Son, editors, Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings. Volume 8148 of Lecture Notes in Computer Science, pages 374-386, Springer, 2013. [doi]

Abstract

Abstract is missing.