Logics for the new AI spring | Publicación