CS 515 - Automated Reasoning (4)

Logical foundations, logical representation of knowledge, unification, theorem proving, deductive databases, logic programming, program verification and synthesis, nonstandard logics, epistemic logic, temporal logic.

Prerequisite(s): CS 420 or consent of instructor.
Component(s): 4 lectures/problem-solving.