Progic 2015 and Spring School on Inductive Logic, 20–24 April. The Reasoner, v. 9, n. 7, 30 Jul.2024.