Home » Users » Giuseppe de Giacomo

Giuseppe De Giacomo

Membro di

Ultime pubblicazioni

Abstraction of Agents Executing Online and their Abilities in the Situation Calculus on Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18) 2018
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals on Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018 2018
First-order μ-calculus over generic transition systems and applications to the situation calculus on INFORMATION AND COMPUTATION 2018
Hierarchical agent supervision on Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS' 18) 2018
Interestingness of traces in declarative process mining: The janus LTLPf Approach on Business Process Management 2018
LTLf/LDLf Non-Markovian Rewards on Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) 2018
Synthesis of Orchestrations of Transducers for Manufacturing on Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) 2018

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma