What question did this study set out to answer?

The main goal is to determine the practical feasibility of applying contrastive explanations to answer-set programming.

January 18, 2026Open Access

Towards Implementing Contrastive Explanations for Answer-Set Programs

View Full Paper

Ask AI

Bookmark

Authors

This project evaluates practical applications of contrastive explanations in answer-set programming, suggesting improved debugging and usability.

The main goal is to determine the practical feasibility of applying contrastive explanations to answer-set programming.
Developed a new program including a naive grounder and a user-friendly interface.
Followed definitions provided by Eiter et al. for backend functionality.
Evaluated the program's performance through tests on known problems.
Assessed usability using case studies in two realistic scenarios.
Experiments show the approach works well for small to medium-sized problems.
Performance results demonstrate effective application of contrastive explanations.

Florian Mallinger (2025) studied this question.

View Full Paper

Ask AI

Bookmark

This project evaluates practical applications of contrastive explanations in answer-set programming, suggesting improved debugging and usability.