Alessandro Aldini, Samuel Allen Alexander, Pierluigi Graziani. Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox. In Paolo Masci 0001, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri, editors, Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers. Volume 13765 of Lecture Notes in Computer Science, pages 383-399, Springer, 2022. [doi]
Abstract is missing.