Henry A. Kautz

• A first-order dynamic logic for planning