Logics for Artificial Intelligence