Artificial intelligence applications; knowledge representation and reasoning, propositional and predicate logic; heuristic search, uninformed search, adversarial search; knowledge based problem solving techniques; reasoning with uncertainty; machine learning; deep learning