Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence.

Jrme Lang, Bruno Zanuttini

Browse the full TARK paper archive.