Temporally Expressive Planning Based on Answer Set Programming with Constraints