TY - RPRT TI - Meta-Programming for Linear-time Temporal Answer Set Programming AU - Susana Hahn AU - Amadé Nemes AU - Javier Romero AU - Torsten Schaub PY - 2026 UR - https://arxiv.org/abs/2605.29965 ID - 2605.29965 ER -