Answer Set Programming (ASP) is an approach developed within the field of artificial intelligence (AI) for solving difficult search problems. ASP was initially developed for modeling problems in the branch of AI that is commonly referred to as Knowledge Representation and Reasoning (KRR), and has been identified as a significant contribution in the research field of AI. More recently, ASP has become highly attractive for the representation of and solving search problems both for academia and industry. ASP been successfully applied for solving problems in domains such as bioinformatics, scheduling, timetabling, dynamic reconfiguration, and software engineering.
This course introduces the Answer Set Programming paradigm and shows its potential to deal with industrial problems. The course is for professionals in industry and public organisations who have knowledge in engineering and system development, who want to gain deepened knowledge in AI.