Chapter 1 SEMANTICS FOR TEMPORAL ANNOTATED CONSTRAINT LOGIC PROGRAMMING