Yuan Yao, Lavindra de Silva, Brian Logan. Reasoning About the Executability of Goal-Plan Trees. In Matteo Baldoni, Jörg P. Müller, Ingrid Nunes, Rym Zalila-Wenkstern, editors, Engineering Multi-Agent Systems - 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers. Volume 10093 of Lecture Notes in Computer Science, pages 176-191, Springer, 2016. [doi]
Abstract is missing.