Reasoning Web. Declarative Artificial Intelligence : 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures - Console, Marco; Konev, Boris (Cham Springer, 2025)