Thursday, Oct. 14, 1:30pm, ASB 9705
(With coffee and cookies)

Speaker: Nikolay Pelov

Title: An Answer Set Programming Tutorial

Answer Set Programming is an approach to solving NP-complete combinatorial problems, based on the syntax and stable semantics of logic programs. It offers an alternative methodology to reduction-to-SAT with the benefit of a built-in method to express induction. This talk will be a practical introduction to the area covering the semantics, basic knowledge representation methodology and some more recent extensions of the language with choice rules and cardinality constraints.