Vladimir V. Rybakov. Interpretation of Chance Discovery in Temporal Logic, Admissible Inference Rules. In Rossitza Setchi, Ivan Jordanov, Robert J. Howlett, Lakhmi C. Jain, editors, Knowledge-Based and Intelligent Information and Engineering Systems - 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part III. Volume 6278 of Lecture Notes in Computer Science, pages 323-330, Springer, 2010. [doi]
Abstract is missing.