Pubblicazioni di De Giacomo Giuseppe

2023

De Giacomo G., Fuggitti F., Maggi F. M., Marrella A., Patrizi F.
Dumas Marlon, Fournier Fabiana, Limonad Lior, Marrella Andrea, Montali Marco, Rehse Jana-Rebecca, Accorsi Rafael, Calvanese Diego, De Giacomo Giuseppe, Fahland Dirk, Gal Avigdor, Rosa Marcello La, Völzer Hagen, Weber Ingo
AI-Augmented Business Process Management Systems: A Research Manifesto. ACM TRANSACTIONS ON MANAGEMENT INFORMATION SYSTEMS 2023: -

DE GIACOMO Giuseppe, Favorito Marco, Leotta Francesco, Mecella Massimo, Monti Flavia, Silo Luciana
AIDA: A Tool for Resiliency in Smart Manufacturing. Intelligent Information Systems CAiSE 2023 2023: 112-120

De Giacomo G., Perelli G.
Behavioral QLTL. EUMAS 2023 2023: 133-149

DE GIACOMO Giuseppe, Favorito Marco, Leotta Francesco, Mecella Massimo, Silo Luciana
Cipollone R., De Giacomo G., Favorito M., Iocchi L., Patrizi F.
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 2023: 7227-7234

Bonassi Luigi, De Giacomo Giuseppe, Favorito Marco, Fuggitti Francesco, Gerevini Alfonso Emilio, Scala Enrico
FOND Planning for Pure-Past Linear Temporal Logic Goals. 26th European Conference on Artificial Intelligence 2023: -

Umili Elena, Capobianco Roberto, DE GIACOMO Giuseppe
Grounding LTLf Specifications in Image Sequences. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning 2023: -

DE GIACOMO Giuseppe, Parretti Gianmarco, Zhu Shufang
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains. European Conference on Artificial Intelligence (ECAI) 2023: 533-540

De Giacomo G., Fried D., Patrizi F., Zhu S.
Mimicking Behaviors in Separated Domains. THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2023: 1087-1112

Bonassi Luigi, De Giacomo Giuseppe, Favorito Marco, Fuggitti Francesco, Gerevini Alfonso Emilio, Scala Enrico
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic. Vol. 33 No. 1: Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling 2023: 61-69

DE GIACOMO Giuseppe, Parretti Gianmarco, Zhu Shufang
Symbolic LTLf Best-Effort Synthesis. Symbolic LTLf Best-Effort Synthesis 2023: -

FRAGA PEREIRA Ramon, Fuggitti Francesco, Meneguzzi Felipe, DE GIACOMO Giuseppe

2022

Alechina Natasha, De Giacomo Giuseppe, Logan Brian, Perelli Giuseppe
Bansal Suguman, De Giacomo Giuseppe, Di Stasio Antonio, Li Yong, Vardi Moshe Y., Zhu Shufang
Compositional Safety LTL Synthesis. Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022 2022: 1-19

Lembo Domenico, Santarelli Valerio, Savo Domenico Fabio, DE GIACOMO Giuseppe
Umili Elena, Capobianco Roberto, DE GIACOMO Giuseppe
Grounding LTLf specifications in images. Proceedings of the 16th International Workshop on Neural-Symbolic Learning and Reasoning 2022: 45-63

Ronca A., Paludo Licks G., De Giacomo G.
Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022 2022: 3408-3415

Cecconi Alessio, De Giacomo Giuseppe, Di Ciccio Claudio, Maggi Fabrizio Maria, Mendling Jan
De Giacomo G., Felli P., Logan B., Patrizi F., Sardina S.
De Giacomo G., Felli P., Logan B., Patrizi F., Sardiña S.
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022 2022: 5722-5726

Calvanese D., De Giacomo G., Montali M., Patrizi F.
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. IJCAI International Joint Conference on Artificial Intelligence 2022: 2553-2560

2021

Aminof Benjamin, De Giacomo Giuseppe, Rubin Sasha
Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up. Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021 2021: -

De Giacomo G., Favorito M., Leotta F., Mecella M., Silo L.
Digital Twins Composition via Markov Decision Processes. CEUR Workshop Proceedings 2021: 44-49

Oriol X., De Giacomo G., Estanol M., Teniente E.
Embedding reactive behavior into artifact-centric business process models. FUTURE GENERATION COMPUTER SYSTEMS 2021: 97-110

De Giacomo G., Lenzerini M., Leotta F., Mecella M.
From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems. Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future 2021: 3-15

De Giacomo Giuseppe, Felli Paolo, Montali Marco, Perelli Giuseppe
Console Marco, De Giacomo Giuseppe, Lenzerini Maurizio, Namici Manuel
Umili Elena, Antonioni Emanuele, Riccio Francesco, Capobianco Roberto, Nardi Daniele, De Giacomo Giuseppe
Learning a Symbolic Planning Domain through the Interaction with Continuous Environments. Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), workshop at ICAPS 2021 2021: -

Aminof Benjamin, De Giacomo Giuseppe, Lomuscio Alessio, Murano Aniello, Rubin Sasha
Synthesizing Best-effort Strategies under Multiple Environment Specifications. Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, November 3-12, 2021 2021: -

De Giacomo Giuseppe, Lesperance Yves
The Nondeterministic Situation Calculus. Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, November 3-12, 2021 2021: -

2020

Cecconi Alessio, De Giacomo Giuseppe, Di Ciccio Claudio, Maggi Fabrizio Maria, Mendling Jan
A Temporal Logic-Based Measurement Framework for Process Mining. 2020 2nd International Conference on Process Mining (ICPM) 2020: 113-120

De Giacomo Giuseppe, Lespérance Yves, Ternovska Eugenia
ElGolog: A High-Level Programming Language with Memory of the Execution History. The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020) 2020: 2806-2813

De Giacomo Giuseppe, Lesperance Yves
Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science. Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) 2020: 294-302

Zhu Shufang, De Giacomo Giuseppe, Pu Geguang, Vardi Moshe Y.
LTLf Synthesis with Fairness and Stability Assumptions. The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020) 2020: 3088-3095

De Giacomo G., Ternovska E., Reiter R.
Non-terminating processes in the situation calculus. ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE 2020: 623-640

De Giacomo Giuseppe, Maubert Bastien, Murano Aniello
Nondeterministic Strategies and their Refinement in Strategy Logic. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020 2020: 294-303

Aminof Benjamin, De Giacomo Giuseppe, Rubin Sasha
Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains. Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (ICAPS 2020) 2020: 20-28

Aminof Benjamin, De Giacomo Giuseppe, Lomuscio Alessio, Murano Aniello, Rubin Sasha
Synthesizing strategies under expected and exceptional environment behaviors. Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI 2020) 2020: 1674-1680

2019

Oriol X., De Giacomo G., Estanol M., Teniente E.
Batusov V., De Giacomo G., Soutchanski M.
Hybrid Temporal Situation Calculus. Advances in Artificial Intelligence 2019: 173-185

Batusov V., De Giacomo G., Soutchanski M.
Hybrid temporal situation calculus. SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing 2019: 1162-1164

Aminof Benjamin, DE GIACOMO Giuseppe, Murano Aniello, Rubin Sasha
Planning under LTL Environment Specifications. Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019) 2019: 31-39

Brafman R. I., De Giacomo G.
Brafman R. I., De Giacomo G.
Regular decision processes: Modelling dynamic systems without using hidden variables. AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems 2019: 1844-1846

Alechina N, Brazdil T, De Giacomo G, Felli P, Logan B, Vardi MY
Unbounded Orchestrations of Transducers for Manufacturing. The Thirty-Third {AAAI} Conference on Artificial Intelligence (AAAI 2019) 2019: 2646-2653

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