Master's Thesis: A Declarative Semantics for a Subset of PDDL with Time and Concurrency [completed]

Submitted by Jens Claßen on 22. November 2006 - 19:00

The thesis presents an extension of the modal Situation Calculus variant ES by the features of numerics, time, concurrency, and coerciveness. Based on this, a semantic mapping between the temporal subset of the planning language PDDL and the newly extended ES is provided, serving as an alternative, declarative semantics for PDDL's meta-theoretic, state-transitional semantics as well as the basis of embedding temporal planners into Golog.