Computational Aspects of Progression for Temporal Equilibrium Logic

Eiter and Soldà. "Computational Aspects of Progression for Temporal Equilibrium Logic." International Joint Conference on Artificial Intelligence, 2024.

[Eiter and Soldà. "Computational Aspects of Progression for Temporal Equilibrium Logic." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/eiter2024ijcai-computational/)

@inproceedings{eiter2024ijcai-computational,
  title     = {{Computational Aspects of Progression for Temporal Equilibrium Logic}},
  author    = {Eiter, Thomas and Soldà, Davide},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {3342-3350},
  url       = {https://mlanthology.org/ijcai/2024/eiter2024ijcai-computational/}
}