Jérôme Lang, Bruno Zanuttini. Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence. In Burkhard C. Schipper, editor, Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013. 2013. [doi]
Abstract is missing.