[COURSE] Course on “Answer Set Programming”
On Friday, March 14, Prof. Stefania Costantini will deliver a course as part of the National PhD program on Artificial Intelligence. The abstract of the course is given below. If you are interested, please feel free to contact Prof. Costantini, who will be happy to provide details on how to attend and participate in the course.
Abstract: Answer Set Programming (ASP) is a declarative programming paradigm primarily used in artificial intelligence (AI), knowledge representation, and combinatorial problem-solving. It is based on logic programming and nonmonotonic reasoning, allowing reasoning with incomplete or changing information. It is a rapidly evolving field with ongoing research in AI, databases, and automated reasoning. ASP is particularly effective for problems that require searching for optimal solutions or multiple valid solutions, such as:
- Planning and scheduling;
- Configuration problems;
- Bioinformatics;
- Game theory and decision making.
This 12-hour PhD course on ASP offers both theoretical foundations and hands-on experience, making it a valuable skill for AI researchers, logicians, and problem-solving enthusiasts. Whether a student wants to apply ASP in AI research, optimization, or real-world applications, this course can provide a strong basis for advanced studies and innovations, in addition to providing foundational knowledge in Nonmonotonic Reasoning.