Soldà, Davide

2 publications

IJCAI 2025 On Temporal ASP with Eager Unfoldable Operators Thomas Eiter, Davide Soldà

IJCAI 2024 Computational Aspects of Progression for Temporal Equilibrium Logic Thomas Eiter, Davide Soldà