Annotated Temporal Logics Delta*tau

Jair Minoro Abe, Seiki Akama. Annotated Temporal Logics Delta*tau. In Maria Carolina Monard, Jaime Simão Sichman, editors, Advances in Artificial Intelligence, International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000, Proceedings. Volume 1952 of Lecture Notes in Computer Science, pages 217-226, Springer, 2000. [doi]

Abstract

Abstract is missing.