A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design. - Forrest Sheng Bao; Sandeep Chintabathina; A. Ricardo Morales; Nelson Rushton; Richard Watson 003; Yuanlin Zhang 002 (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)