The scientific legacy of Marco Cadoli in Artificial Intelligence