Progic 2015 and Spring School on Inductive Logic, 20–24 April. tr 2024, 9 (7).