Pubblicazioni di De Giacomo Giuseppe
2024
DE GIACOMO Giuseppe, Favorito Marco, Silo Luciana
Composition of Stochastic Services for LTLf Goal Specifications. Foundations of Information and Knowledge Systems 2024: 298-316
Varricchione Giovanni, Alechina Natasha, Dastani Mehdi, De Giacomo Giuseppe, Logan Brian, Perelli Giuseppe
Pure-Past Action Masking. National Conference of the American Association for Artificial Intelligence 2024: 21646-21655
Pereira Ramon Fraga, Fuggitti Francesco, Meneguzzi Felipe, De Giacomo Giuseppe
Temporally extended goal recognition in fully observable non-deterministic domain models. APPLIED INTELLIGENCE 2024: 470-489
2023
De Giacomo G., Fuggitti F., Maggi F. M., Marrella A., Patrizi F.
A tool for declarative Trace Alignment via automated planning. SOFTWARE IMPACTS 2023: 100505-
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
Digital twins composition in smart manufacturing via Markov decision processes. COMPUTERS IN INDUSTRY 2023: -
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
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. KR 2022 2022: 12-21
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
Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2.. FUTURE INTERNET 2022: -
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
Measuring the interestingness of temporal logic behavioral specifications in process mining. INFORMATION SYSTEMS 2022: -
DE GIACOMO Giuseppe, Favorito Marco, Fuggitti Francesco
De Giacomo G., Felli P., Logan B., Patrizi F., Sardina S.
Situation calculus for controller synthesis in manufacturing systems with first-order state representation. ARTIFICIAL INTELLIGENCE 2022: -
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
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. IJCAI 2021 2021: 1859-1865
Console Marco, De Giacomo Giuseppe, Lenzerini Maurizio, Namici Manuel
Intensional and Extensional Views in DL-Lite Ontologies. IJCAI 2021: 1822-1828
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, Catalá Alejandro, Dilkina Bistra, Milano Michela, Barro Senén, Bugarín Alberto, Lang Jérôme
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.
Automatic Business Process Model Extension to Repair Constraint Violations. Service-Oriented Computing 2019: 102-118
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
Brafman R. I., De Giacomo G.
Planning for LTLF/LDLF goals in non-Markovian fully observable nondeterministic domains. IJCAI 2019: 1602-1608
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