Knowledge Based Systems - 02 - Logics