Search Results

This course will examine some advanced topics in logic programming, in particular logic programming under stable model (or answer set) semantics. Answer set programming is a common name of the field. Formal syntax, semantics, and proofs of correctness for logic programs will be considered. Elements of inductive and Prolog programming will also be introduced. Each advanced topic will be followed by how it has been applied in practice. Advanced applications of logic programming will be covered in detail.

Prerequisite(s): CSCI 8000 and doctoral student standing in Information Technology or the permission of the instructor.