ContentIntroduction to LogicRule-Based Systems and Representation in FOLResolution and Description LogicAdvanced Reasoning