Pubblicazioni di De Giacomo Giuseppe
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 Giuseppe, Favorito Marco, Leotta Francesco, Mecella Massimo, Silo Luciana
Digital twins composition in smart manufacturing via Markov decision processes. COMPUTERS IN INDUSTRY 2023: -
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
Brafman R. I., De Giacomo G.
Regular decision processes: A model for non-markovian domains. IJCAI 2019: 5516-5522
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
2018
Banihashemi Bita, DE GIACOMO Giuseppe, Lesperance Yves
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18) 2018: 1699-1706
DE GIACOMO Giuseppe, Rubin Sasha
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018 2018: 4729-4735
Banihashemi Bita, De Giacomo Giuseppe, Lesperance Yves
Hierarchical agent supervision. Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS' 18) 2018: 1432-1440
Cecconi Alessio, Di Ciccio Claudio, De Giacomo Giuseppe, Mendling Jan
Interestingness of traces in declarative process mining: The janus LTLPf Approach. Business Process Management 2018: 121-138
DE GIACOMO Giuseppe, Vardi Moshe Y., Felli Paolo, Alechina Natasha, Logan Brian
Synthesis of Orchestrations of Transducers for Manufacturing. Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) 2018: 6161-6168
2017
Banihashemi Bita, De Giacomo Giuseppe, Lespérance Yves
Abstraction in situation calculus action theories. AAAI'17 Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence 2017: 1048-1055
Bonet Blai, De Giacomo Giuseppe, Geffner HECTOR ALBERTO, Rubin Sasha
Generalized planning: Non-deterministic abstractions and trajectory constraints. IJCAI'17 Proceedings of the 26th International Joint Conference on Artificial Intelligence 2017: 873-879
De Giacomo Giuseppe, Oriol Xavier, Estañol Montserrat, Teniente Ernest
Linking data and BPMN processes to achieve executable models. Advanced Information Systems Engineering 2017: 612-628
DE GIACOMO Giuseppe, Lembo Domenico, Lenzerini Maurizio, Poggi Antonella, Rosati Riccardo, Ruzzi Marco, Savo Domenico Fabio, Santarelli Valerio
OBDA Systems. 2017: -