Effective planning with expressive languages 

Francès, Guillem (Date of defense: 2017-10-26)

Classical planning is concerned with finding sequences of actions that achieve a certain goal from an initial state of the world, assuming that actions are deterministic, states are fully known, and both are described ...