Structural Decompositions of Epistemic Logic Programs
2020·Arxiv