Page Not Found
Page not found. Your pixels are in another canvas.
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Page not found. Your pixels are in another canvas.
About me
This is a page not in th emain menu
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml
and set future: false
.
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Short description of portfolio item number 1
Short description of portfolio item number 2
Published in 37th Italian Conference on Computational Logic (CILC 2022), 2022
Application of Epistemic Plannning to Robotics
Download here
Published in 2nd International Conference on Applied Intelligence and Informatics (AII2022), 2022
The ROBDT project aims at developing a Robotic Digital Twin framework that combines data-driven models, physics-based and symbolic models and uses online data and data analytics to adapt models at runtime. The digital twin will support the robotic asset operations by providing timing and reliable prediction and by supporting what-if analysis to assess multiple scenarios. More information here
Published in Journal of Logic and Computation (JLC), 2023
ECHO: a Hierarchical Combination of Classical and Multi-Agent Epistemic Planning Problems
Download here
Published in 26th European Conference on Artificial Intelligence (ECAI 2023), 2023
Progression for Monitoring and skeptical reasoning over time under stable semantics
Download here
Published in 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), 2024
Computational Aspects of Progression for Temporal Equilibrium Logic
Download here
Published in 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 2024
Contracted Temporal Equilibrium Logic
Download here
Published:
Forecasting thunderstorm is challenging, in particular in a complex area, like NE Italy, where complex orography (Alps chain), plain, lagoon and sea deeply interact with each other. In this work a completely new approach is proposed, based on machine learning and in particular using Convolutional Neural Network, for forecasting cloud-to-ground lightning occurrence and number, every 6 hours. Many fields forecasted by the ECMWF IFS model, or computed from them (as for example the equivalent potential temperatures), are used as candidate predictors. The first results seem encouraging and will be compared with those obtained using a more “classical” approach, that is, implementing an analogue method with the AtmoSwing software. More information here
Published:
Davide Soldà, neo laureato magistrale in Informatica, illustra brevemente la sua tesi di laurea nella quale ha realizzato una architettura software chiamata EPICO che permette di modellare ad alto livello problemi di planning epistemico, di trovare le soluzioni (i piani) attraverso la combinazione di due solver e di eseguire questi piani con i Panda Robot. More information here
Published:
The ROBDT project aims at developing a Robotic Digital Twin framework that combines data-driven models, physics-based and symbolic models and uses online data and data analytics to adapt models at runtime. The digital twin will support the robotic asset operations by providing timing and reliable prediction and by supporting what-if analysis to assess multiple scenarios. More information here
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Talks, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.