A Declarative Framework for Constrained Clique Detection in Heterogeneous Knowledge Graphs via ASP
This work presents a data-driven framework designed to bridge the gap between interactive exploration and formal logic reasoning, which allows researchers to interactively validate complex hypotheses and uncover latent clusters that would be difficult to identify through traditional imperative filtering.