ADVANCED TOPICS IN LOGIC PROGRAMMING

Catalog description

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.