Logics in Artificial Intelligencede Eduardo Fermé, Joao LeiteMateriasArtificial intelligenceLogic, symbolic and mathematicalDatabase managementInformation retrievalInformation organizationArtificial Intelligence (incl. Robotics)Computer scienceLogic designInformation storage and retrieval systems