Pubblicazioni di De Giacomo Giuseppe

2022

De Giacomo G., Felli P., Logan B., Patrizi F., Sardina S.

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 Giuseppe, Favorito Marco
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata. Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021 2021: 122-130

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

Ronca Alessandro, De Giacomo Giuseppe
Efficient PAC Reinforcement Learning in Regular Decision Processes. Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021 2021: -

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 Giuseppe, Di Stasio Antonio, Tabajara Lucas M., Vardi Moshe, Zhu Shufang
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
De Giacomo Giuseppe, Oriol Xavier, Rosati Riccardo, Savo Domenico Fabio
Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting. THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2021: 1335-1371

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: -

Cecconi Alessio, De Giacomo Giuseppe, Di Ciccio Claudio, Maggi Fabrizio Maria, Mendling Jan
De Giacomo Giuseppe, Di Stasio Antonio, Perelli Giuseppe, Zhu Shufang
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: -

De Giacomo Giuseppe, Murano Aniello, Patrizi Fabio, Perelli Giuseppe

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

Namici M., de Giacomo G., Lenzerini M.
Extending DL-LiteR TBoxes with view definitions. CEUR Workshop Proceedings 2020: -

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

Bonet Blai, De Giacomo Giuseppe, Geffner Hector, Patrizi Fabio, Rubin Sasha
High-level Programming via Generalized Planning and LTL Synthesis. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) 2020: 152-161

De Giacomo Giuseppe, Iocchi Luca, Favorito Marco, Patrizi Fabio
Imitation Learning over Heterogeneous Agents with Restraining Bolts. Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS) 2020: 517-521

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

De Giacomo Giuseppe, Di Stasio Antonio, Fuggitti Francesco, Rubin Sasha
Giacomo De, Favorito Marco, Iocchi Luca, Patrizi Fabio
Restraining Bolts for Reinforcement Learning Agents. AAAI 2020 - 34th AAAI Conference on Artificial Intelligence 2020: 13659-13662

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

De Giacomo Giuseppe, Favorito Marco, Iocchi Luca, Patrizi Fabio, Ronca Alessandro
Temporal Logic Monitoring Rewards via Transducers. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning 2020: 860-870

De Giacomo Giuseppe, Di Stasio Antonio, Vardi Moshe, Zhu Shufang
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning 2020: 304-314

2019

DI PINTO FLORIANA, DE GIACOMO Giuseppe, LEMBO Domenico, LENZERINI Maurizio, ROSATI Riccardo
Oriol X., De Giacomo G., Estanol M., Teniente E.
DE GIACOMO Giuseppe, IOCCHI Luca, FAVORITO MARCO, PATRIZI FABIO
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications. Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling 2019: 128-136

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

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

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

Calvanese D., De Giacomo G., Lembo D., Lenzerini M., Rosati R.
The What-To-Ask Problem for Ontology-Based Peers. Description Logic, Theory Combination, and All That 2019: 187-211

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

Namici M., De Giacomo G.
Calvanese Diego, DE GIACOMO Giuseppe, Montali Marco, Patrizi Fabio
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
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma