TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Davide Solda

Univ.Ass. Dott. mag.

Role

Contact

2025W

 

  • Tackling Temporal Deontic Challenges with Equilibrium Logic / Soldà, D., Cabalar, P., Ciabattoni, A., & Neufeld, E. (2025). Tackling Temporal Deontic Challenges with Equilibrium Logic. In International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) (Ed.), AAMAS ’25 : Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (pp. 1950–1958). International Foundation for Autonomous Agents and Multiagent Systems.
  • Contracted Temporal Equilibrium Logic / Cabalar, P., Eiter, T., & Soldà, D. (2024). Contracted Temporal Equilibrium Logic. In P. Marquis, M. M. Ortiz de la Fuente, & M. Pagnucco (Eds.), Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (pp. 221–231). IJCAI Organization. https://doi.org/10.24963/kr.2024/21
    Download: PDF (296 KB)
  • ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems / Soldà, D., Fabiano, F., & Dovier, A. (2023). ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems. Journal of Logic and Computation, 33(8), 1804–1831. https://doi.org/10.1093/logcom/exad036
    Download: PDF (2.44 MB)
  • Progression for Monitoring in Temporal ASP / Soldà, D., López Miguel, I. D., Bartocci, E., & Eiter, T. (2023). Progression for Monitoring in Temporal ASP. In K. Gal, A. Nowé, G. J. Nalepa, R. Fairstein, & R. Rădulescu (Eds.), ECAI 2023 : 26th European Conference on Artificial Intelligence. Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Proceedings (pp. 2170–2177). Frontiers. https://doi.org/10.3233/FAIA230513
    Download: PDF (343 KB)
    Project: TAIGER (2023–2027)