Reasoning about Actions and Planning in LTL Action Theories.

Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi

Browse the full KR paper archive.