Knowledge Processing and Information Systems
Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming

@article{DBLP:journals/corr/abs-2603-14692,
  title = {Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming},
  author = {Cabalar, Pedro and Di{\'{e}}guez, Mart{\'{\i}}n and Fern{\'{a}}ndez{-}Duque, David and Laferri{\`{e}}re, Fran{\c{c}}ois and Schaub, Torsten and St{\'{e}}phan, Igor},
  journal = {CoRR},
  volume = {abs/2603.14692},
  year = {2026}
}