Declarative Debugging for Datalog with Aggregation
Aus International Center for Computational Logic
Declarative Debugging for Datalog with Aggregation
Vortrag von Philipp Hanisch
- Veranstaltungsort: APB-2026
- Beginn: 19. März 2026 um 11:00
- Ende: 19. März 2026 um 12:00
- Forschungsgruppe: Wissensbasierte Systeme
- Event series: Research Seminar Logic and AI
- iCal
This talk will propose summary proof trees as a way for explaining derivations in Datalog programs with aggregation. These combine structurally similar parts of proof trees into a single, easier to understand structure. It will show how to query for such summaries, discuss the implementation in the rule engine Nemo, and empirically establish the feasibility of the method. It will also briefly introduce a graphical interface for editing these proof queries and visualising the results.
