TY  - RPRT
TI  - Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
AU  - Pedro Cabalar
AU  - Martín Diéguez
AU  - David Fernández-Duque
AU  - François Laferrière
AU  - Torsten Schaub
AU  - Igor Stéphan
PY  - 2026
DO  - 10.1017/s147106842610043x
UR  - https://arxiv.org/abs/2603.14692
ID  - 2603.14692
ER  -