Agostino Dovier, Andrea Formisano: Advances in Computational Logic (CILC23): Preface. J. Log. Comput. 34(8): 1397-1398 (2024)