Knowledge Representation in Planning: A PDDL to OCL h Translation (2000)

by R M Simpson, T L McCluskey, D Liu, D E Kitchin
Venue:In Proceedings of the 12th International Symposium on Methodologies for Intelligent Systems