Backwards State-space Reduction for Planning in Dynamic Knowledge Bases

Valerio Senni, Michele Stawowy

In this paper we address the problem of planning in rich domains, where knowledge representation is a key aspect for managing the complexity and size of the planning domain. We fol…