Validating Plans in the Context of Processes and Exogenous Events

Book One

Volume

Proceedings of the AAAI Conference on Artificial Intelligence, 20

Planning and Scheduling

Complex planning domains push the boundaries of the expressive power of planning domain modelling languages. Recent extensions to the standard planning languages have included expressions for temporal, metric and resource structures. Other work has also considered how process models can be incorporated into domain models. In this paper we consider the problem of expressing and validating models containing