Pubblicazioni di De Giacomo Giuseppe
2022
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: 103598-
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
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. IJCAI 2021 2021: 1859-1865
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
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: -
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 2021: 101920-
De Giacomo Giuseppe, Di Stasio Antonio, Perelli Giuseppe, Zhu Shufang
Synthesis with Mandatory Stop Actions. KR 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: -
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, 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
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
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. IJCAI 2020: 4959-4965
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
Acquiring Ontology Axioms through Mappings to Data Sources. FUTURE INTERNET 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
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
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
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.
Comparing query answering in OBDA tools over W3C-compliant specifications. DL 2018 Description Logics 2018: -
Calvanese Diego, DE GIACOMO Giuseppe, Montali Marco, Patrizi Fabio
First-order μ-calculus over generic transition systems and applications to the situation calculus. INFORMATION AND COMPUTATION 2018: 328-347
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