Knowledge and intelligence, predicate logic and automated reasoning, heuristic search, knowledge representation, automated planning, introduction to machine learning, knowledge-based systems and philosophy of AI.
Knowledge and intelligence, predicate logic and automated reasoning, heuristic search, knowledge representation, automated planning, introduction to machine learning, knowledge-based systems and philosophy of AI.
