TY - RPRT TI - Towards Constraint Temporal Answer Set Programming AU - Pedro Cabalar AU - Martín Diéguez AU - François Olivier AU - Torsten Schaub AU - Igor Stéphan PY - 2025 DO - 10.1017/s1471068425100203 UR - https://arxiv.org/abs/2507.13958 ID - 2507.13958 ER -