Automated reasoning and theorem proving, representations, propositional, predicate logic, semantics. Inference rules and resolution, unification, equational reasoning, combinatorial explosion, search algorithms, non-monotonic reasoning, satisfiability, applications of automated reasoning such as hardware verification, expert systems, deductive databases, legal reasoning.
