Towards Generating Explanations for ASP-Based LinkAnalysis using Declarative Program Transformations

Martin Atzmueller, Çiçek Güven, Dietmar Seipel

Research output: Contribution to conferencePaperOther research output


The explication and the generation ofexplanationsare prominent top-ics in artificial intelligence and data science, in order to make methods and sys-tems more transparent and understandable for humans.This paper investigates the problem oflink analysis, specifically link predictionand anomalous link discovery insocial networksusing the declarative methodof Answer set programming (ASP). Applying ASP for link prediction providesa powerful declarative approach, e. g., for incorporating domain knowledge forexplicative prediction. In this context, we propose a novel method for generatingexplanations – as offline justifications – using declarative program transforma-tions. The method itself is purely based on syntactic transformations of declara-tive programs, e. g., in an ASP formalism, using rule instrumentation.We demonstrate the efficacy of the proposed approach, exemplifying it in an ap-plication on link analysis in social networks, also including domain knowledge
Original languageEnglish
Publication statusPublished - Sept 2019
EventInternational Conference on Declarative Programming - Brandenburg University of Technology Cottbus – Senftenberg (BTU), Cottbus, Germany
Duration: 9 Sept 201913 Sept 2019


ConferenceInternational Conference on Declarative Programming
Abbreviated titleDeclare
Internet address


Dive into the research topics of 'Towards Generating Explanations for ASP-Based LinkAnalysis using Declarative Program Transformations'. Together they form a unique fingerprint.

Cite this