Logics in Artificial Intelligence | Publicación