Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming. - Victor Lagerkvist; Johanna Groven; Leif Eriksson (AAAI, 2026)

Structure-Aware Encodings of Argumentation Properties for Clique-width. - Yasir Mahmood 002; Markus Hecher; Johanna Groven; Johannes Klaus Fichte (AAAI, 2026)