Epistemic Multiagent Reasoning with Collaborative Robots. - Davide Soldà; Francesco Fabiano; Agostino Dovier (CILC, 2022)

Progression for Monitoring in Temporal ASP. - Davide Soldà; Ignacio D. Lopez-Miguel; Ezio Bartocci; Thomas Eiter (ECAI, 2023)

ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems. - Davide Soldà; Francesco Fabiano; Agostino Dovier (J. Log. Comput., 2023)

Computational Aspects of Progression for Temporal Equilibrium Logic. - Thomas Eiter; Davide Soldà (IJCAI, 2024)

Contracted Temporal Equilibrium Logic. - Pedro Cabalar; Thomas Eiter; Davide Soldà (KR, 2024)

Tackling Temporal Deontic Challenges with Equilibrium Logic. - Davide Soldà; Pedro Cabalar; Agata Ciabattoni; Emery A. Neufeld (AAMAS, 2025)