Contracted Temporal Equilibrium Logic
Published in 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 2024
Contracted Temporal Equilibrium Logic
Download here
Publications
Computational Aspects of Progression for Temporal Equilibrium Logic
Published in 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), 2024
Computational Aspects of Progression for Temporal Equilibrium Logic
Download here
Progression for Monitoring in Temporal ASP
Published in 26th European Conference on Artificial Intelligence (ECAI 2023), 2023
Progression for Monitoring and skeptical reasoning over time under stable semantics
Download here
ECHO: a Hierarchical Combination of Classical and Multi-Agent Epistemic Planning Problems
Published in Journal of Logic and Computation (JLC), 2023
ECHO: a Hierarchical Combination of Classical and Multi-Agent Epistemic Planning Problems
Download here
RobDT: AI-enhanced Digital Twins for Space Exploartion Robotic Assets
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
Epistemic Multiagent Reasoning with Collaborative Robots
Published in 37th Italian Conference on Computational Logic (CILC 2022), 2022
Application of Epistemic Plannning to Robotics
Download here