Logic for the New AI Spring, 12-16 September. tr 2024, 16 (8).