Davide Soldà

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

Collaborative distances:

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

2026

Visual Perceptual to Conceptual First-Order Rule Learning Networks.

Kun Gao, Davide Soldà, Thomas Eiter, Katsumi Inoue

CoRR, April, 2026

2025

deon-<i>B</i>: A Language for Well-Founded Deontic Planning.

Davide Soldà, Thomas Eiter

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

On Temporal ASP with Eager Unfoldable Operators.

Thomas Eiter, Davide Soldà

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

Tackling Temporal Deontic Challenges with Equilibrium Logic.

Davide Soldà, Pedro Cabalar, Agata Ciabattoni, Emery A. Neufeld

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

Integrating Action Choices and Well-Founded Semantics for Deontic Planning.

Davide Soldà

Proceedings of the Deontic Logic and Normative Systems - 17th International Conference, 2025

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