Answer Set Programming

Wednesday, July 3, 2019, 11:35am – 1:20pm
Presented by Torsten Schaub
Located in 137Π39

Answer Set Programming (ASP) has become an established paradigm for Knowledge Representation and Reasoning, in particular, when it comes to solving knowledge-intense combinatorial (optimization) problems. ASP’s unique pairing of a simple yet rich modeling language with highly performant solving technology has led to an increasing interest in ASP systems in academia as well as industry. What makes this ASP tutorial interesting is its focus on putting ASP at work. This comprises a good understanding of ASP solving technology and systems as well as basic skills in ASP’s modeling capacities.