Marta Cialdea Mayer, Carla Limongelli. Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge. In Uwe Egly, Christian G. Fermüller, editors, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings. Volume 2381 of Lecture Notes in Computer Science, pages 70-84, Springer, 2002. [doi]
Abstract is missing.