Proceedings 10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic. TIME-ICTL 2003 | IEEE Conference Publication | IEEE Xplore