Peep Küngas. Analysing AI Planning Problems in Linear Logic - A Partial Deduction Approach. In Ana L. C. Bazzan, Sofiane Labidi, editors, Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29 - October 1, 2004, Proceedings. Volume 3171 of Lecture Notes in Computer Science, pages 52-61, Springer, 2004. [doi]
Abstract is missing.