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..