Pubblicazioni di De Giacomo 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

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. Proceedings of the Thirty-Fourth 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. 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

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
Brafman Ronen Israel, De Giacomo Giuseppe, Patrizi Fabio
LTLf/LDLf Non-Markovian Rewards. Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18) 2018: 1771-1778

CALVANESE Diego, DE GIACOMO Giuseppe, LEMBO Domenico, LENZERINI Maurizio, ROSATI Riccardo
Ontology-Based Data Access and Integration. Encyclopedia of Database Systems 2018: 2590-2596

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

DE GIACOMO Giuseppe, Lembo Domenico, Lenzerini Maurizio, Poggi Antonella, Rosati Riccardo
Using Ontologies for Semantic Data Integration. A Comprehensive GuideThrough the Italian DatabaseResearch Over the Last25 Years 2018: 187-202

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

De Giacomo Giuseppe, Maggi Fabrizio Maria, Marrella Andrea, Patrizi Fabio
On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment. Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, Twenty-Ninth Innovative Applications of Artificial Intelligence Conference, Seventh Symposium on Educational Advances in Artificial Intelligence : 4-9 February 2017, San Franci... 2017: 3555-3561

Cima Gianluca, DE GIACOMO Giuseppe, Lenzerini Maurizio, Poggi Antonella
On the SPARQL Metamodeling Semantics Entailment Regime for OWL 2 QL ontologies. WIMS '17 Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics 2017: -

De Giacomo Giuseppe, Lembo Domenico, Oriol Xavier, Savo Domenico Fabio, Teniente Ernest
Practical update management in ontology-based data access. The Semantic Web – ISWC 2017 2017: 225-242

Cima Gianluca, DE GIACOMO Giuseppe, Lenzerini Maurizio, Poggi Antonella
Querying OWL 2 QL ontologies under the SPARQL Metamodeling Semantics Entailment Regime. Proceedings of the 25th Italian Symposium on Advanced Database Systems 2017: 172-179

Brafman Ronen I., De Giacomo Giuseppe, Mecella Massimo, Sardina Sebastian
Service composition in stochastic settings. AI*IA 2017 Advances in Artificial Intelligence 2017: 159-171

2016

De Giacomo Giuseppe, Gerevini Alfonso, Patrizi Fabio, Saetti Alessandro, Sardina Sebastian
Agent planning programs. ARTIFICIAL INTELLIGENCE 2016: 64-106

DE GIACOMO Giuseppe, Lespérance Yves, Patrizi Fabio
Bounded situation calculus action theories. ARTIFICIAL INTELLIGENCE 2016: 172-203

De Giacomo Giuseppe, Marrella Andrea, Maggi Fabrizio Maria, Sardina Sebastian
Computing Trace Alignment against Declarative Process Models through Planning. ICAPS'16 Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling 2016: 367-375

DE GIACOMO Giuseppe, Murano Aniello, Rubin Sasha, Di Stasio Antonio
Imperfect-information games and generalized planning. Proceedings of the twenty-fifth international joint conference on artificial intelligence 2016: 1037-1043

DE GIACOMO Giuseppe, Moshe Vardi
LTLf and LDLf Synthesis under Partial Observability. Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016 2016: 1044-1050

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