TY - RPRT TI - Computational methods for Dynamic Answer Set Programming AU - Susana Hahn PY - 2025 DO - 10.4204/eptcs.416.32 UR - https://arxiv.org/abs/2502.09228 ID - 2502.09228 ER -