Constructing Conditional Plans by a Theorem-Prover

Jussi Rintanen. Constructing Conditional Plans by a Theorem-Prover. J. Artif. Intell. Res. (JAIR), 10:323-352, 1999. [doi]

Abstract

Abstract is missing.