Seminar Logic-Based Knowledge Representation
Seminar Logic-Based Knowledge Representation
Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) im SS 2026
Dozent
Umfang (SWS)
- 0/2/0
Module
Leistungskontrolle
- Hausarbeit
- Referat
- nach Modulbeschreibung
Course Description
This seminar intends to introduce to selected topics of an active research area in the field of knowledge representation by analyzing introductory literature as well as research papers. In particular, we will focus on the topic Explanations for logic programs.
Prerequisites
Students are expected to be familiar with logic and in particular with logic programming.
Seminar Plan
The seminar will take place on Mondays 16:40 – 18:10 in room APB E005, on the dates indicated in the schedule. The topics will be selected in the first session on April 13th 2026.
- Contrastive Explanations for Answer-Set Programs https://link.springer.com/chapter/10.1007/978-3-031-43619-2_6
- Explaining Answer-Set Programs with Abstract Constraint Atoms https://www.ijcai.org/proceedings/2023/356
- Why This and Not That? A Logic-Based Framework for Contrastive Explanations https://link.springer.com/chapter/10.1007/978-3-032-04587-4_4
- Strong Inconsistency in Nonmonotonic Reasoning https://www.ijcai.org/proceedings/2017/125
- Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets https://link.springer.com/chapter/10.1007/978-3-031-74209-5_15
- Advancements in xASP, an XAI System for Answer Set Programming https://ceur-ws.org/Vol-3428/paper2.pdf
- Model Reconciliation in Logic Programs https://link.springer.com/chapter/10.1007/978-3-030-75775-5_26
- Witnesses for Answer Sets of Basic Logic Programs https://www.ijcai.org/proceedings/2025/523
Examination
Students are expected to (1) give a talk on one of the topics listed above and (2) to write a term paper and (3) participate in the peer-reviewing process of the term papers from this seminar. The exact requirements for the talks and term papers will be discussed in the seminar.
Organisation
The course material is available in Opal: (follows soon)Veranstaltungskalender abonnieren (icalendar)
| Seminar | Introduction - Topic selection | DS6, 13. April 2026 in APB E005 |
Kalender
