KEWI: A Knowledge Engineering Tool for Modelling AI Planning Tasks
mapgen : mixed - initiative planning and scheduling for the mars exploration rover mission .