Logics in Artificial Intelligence