"Approximate reasoning about temporal constraints in real time planning and search | lit.salon