Arjen Hommersom, Peter J. F. Lucas. Actions with Failures in Interval Temporal Logic. In Fariba Sadri, Ken Satoh, editors, Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers. Volume 5056 of Lecture Notes in Computer Science, pages 22-41, Springer, 2007. [doi]
Abstract is missing.