After successful completion of the course, students are able to name and explain different tools, languages, and logicoriented methods for declarative problem solving, as well as to correctly argue theoretical relations. In particular, after successfully complete of the course, students are able to
This course provides applications and examples well-suited for logic-oriented programming languages. The course is divided into three parts. The first part will introduce you to SAT and QSAT, while the following two parts will deal with answer-set programming.
Registration as follows:
Attention:
Lecturers:
Frontal lecture.
ECTS breakdown: 3 ECTS = 75 hours
The course material is in English; introductory courses will be held in English on demand.
Oral exam.
Basic knowledge of Mathematical Logic (Unification, Horn-Clause Resolution).