Classical Logic to Modern Solvers: The Evolution of PDDL

Keith Barnes
abstract

Foundations, Standardization, and Comparative Analysis of Planning Technologies