TIME-ICTL 2003 : 10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic : proceedings : 8-10 July, 2003, Cairns, Queensland, Australia / - Reynolds, Mark; Sattar, Abdul, (IEEE Computer Society Press,)