Logical methods in artificial intelligence applications | Publicación