Davide Soldà

Institute of Logic and Computation Vienna University of Technology (TU Wien) , Vienna , Austria

2 papers in the IJCAI proceedings

IJCAI 2025

On Temporal ASP with Eager Unfoldable Operators

with Thomas Eiter

doi:10.24963/ijcai.2025/498

Details PDF

IJCAI 2024

Computational Aspects of Progression for Temporal Equilibrium Logic

with Thomas Eiter

doi:10.24963/ijcai.2024/370

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings