Pablo F. Castro, Pedro R. D'Argenio, Raul Fervari: How Lucky Are You to Know Your Way? A Probabilistic Approach to Knowing How Logics. KR 2025