Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox

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]

Authors

Alessandro Aldini

This author has not been identified. Look up 'Alessandro Aldini' in Google

Samuel Allen Alexander

This author has not been identified. Look up 'Samuel Allen Alexander' in Google

Pierluigi Graziani

This author has not been identified. Look up 'Pierluigi Graziani' in Google