Davide Soldà

According to our database, Davide Soldà authored at least 5 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Contracted Temporal Equilibrium Logic.

Pedro Cabalar, Thomas Eiter, Davide Soldà

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Computational Aspects of Progression for Temporal Equilibrium Logic.

Thomas Eiter, Davide Soldà

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems.

Davide Soldà, Francesco Fabiano, Agostino Dovier

J. Log. Comput., December, 2023

Progression for Monitoring in Temporal ASP.

Davide Soldà, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Epistemic Multiagent Reasoning with Collaborative Robots.

Davide Soldà, Francesco Fabiano, Agostino Dovier

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022