Davide Sold
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAT | SAT Modulo Well-Founded Semantics. | Thomas Eiter, Tobias Nieen, Davide Sold |
| 2025 | IJCAI | On Temporal ASP with Eager Unfoldable Operators. | Thomas Eiter, Davide Sold |
| 2025 | JELIA | deon- | Davide Sold, Thomas Eiter |
| 2024 | IJCAI | Computational Aspects of Progression for Temporal Equilibrium Logic. | Thomas Eiter, Davide Sold |
| 2024 | KR | Contracted Temporal Equilibrium Logic. | Pedro Cabalar, Thomas Eiter, Davide Sold |
| 2023 | ECAI | Progression for Monitoring in Temporal ASP. | Davide Sold, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter |