Decidability and undecidability results for planning with numerical state variables (0)

by M Helmert
Venue:in: Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems (AIPS-02), 2002