TY - RPRT TI - Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence AU - Jerome Lang AU - Bruno Zanuttini PY - 2013 UR - https://arxiv.org/abs/1310.6429 ID - 1310.6429 ER -