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

Jérôme Lang Bruno Zanuttini

Published in: TARK (2013)

Keyphrases

plan execution
plan generation
plan existence
plan recognition
causal graph
modal logic
orders of magnitude
htn planning