TEMPORAL REPRESENTATION AND REASONING

[1]  Pierre-Yves Schobbens,et al.  Towards symbolic strategy synthesis for <>-LTL , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..

[2]  Frank Wolter,et al.  On the computational complexity of decidable fragments of first-order linear temporal logics , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..

[3]  Clare Dixon,et al.  Towards the implementation of first-order temporal resolution: the expanding domain case , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..