Thiébaux, Sylvie; Hoffmann, Jörg; Nebel, Bernhard In defense of PDDL axioms. (English) Zbl 1132.68714 Artif. Intell. 168, No. 1-2, 38-69 (2005). MSC: 68T20 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Nebel, Bernhard; Bäckström, Christer On the computational complexity of temporal projection, planning, and plan validation. (English) Zbl 0803.68122 Artif. Intell. 66, No. 1, 125-160 (1994). MSC: 68T20 68T15 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI