Krystian Jobczyk, Antoni Ligeza. Why Systems of Temporal Logic Are Sometimes (Un)useful?. In Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada, editors, Artificial Intelligence and Soft Computing - 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part II. Volume 9693 of Lecture Notes in Computer Science, pages 306-316, Springer, 2016. [doi]
Abstract is missing.