Davide Soldà
University Assistant, MSc Institute of Logic and Computation Knowledge-Based Systems Group TU Wien Room: HA0307 |
Research Interests
Stream Reasoning, Answer Set Programming, Automated Planning
Current Position
I am a PhD student in the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND, within the Knowledge-based Systems group under the supervision of Prof. Thomas Eiter.
Education
MSc in Computer Science at the School for Advanced Studies of the University of Udine, 2022
MSc in Computer Science at the University of Udine, 2022
BSc in Computer Science at the University of Udine, 2019
Publications
For an up-to-date list of publications, please visit TU Wien Informatics | Davide Soldà.
Davide Soldà, Francesco Fabiano, Agostino Dovier: ECHO: a Hierarchical Combination of Classical and Multi-Agent Epistemic Planning Problems. Journal of Logic and Computation JLC, 2023
Davide Soldà, Francesco Fabiano, Agostino Dovier: Epistemic Multiagent Reasoning with Collaborative Robots. Italian Conference on Computational Logic CILC, 2022: 32-46
Marco Bozzano, Riccardo Bussola, Marco Cristoforetti, Srajan Goyal, Martin Jonáš, Konstantinos Kapellos, Andrea Micheli, Davide Soldà, Stefano Tonetta, Christos Tranoris, and Alessandro Valentini: Robdt: Ai-enhanced digital twins for space exploration robotic assets, in International Conference on Applied Intelligence and Informatics AII2022, 2022.