Pubblicazioni di De Giacomo Giuseppe

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

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

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

Calvanese Diego, DE GIACOMO Giuseppe, Montali Marco, Patrizi Fabio
On First-Order μ-Calculus over Situation Calculus Action Theories. Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016 2016: 411-420

Banihashemi Bita, DE GIACOMO Giuseppe, Lespérance Yves
Online agent supervision in the situation calculus. Proceedings of the twenty-fifth international joint conference on artificial intelligence 2016: 922-928

Banihashemi Bita, DE GIACOMO Giuseppe, Lespérance Yves
Online situation-determined agents and their supervision. Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016 2016: 517-520

Calvanese Diego, DE GIACOMO Giuseppe, Lenzerini Maurizio, Vardi Moshe Y.
Regular open APIs. Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016 2016: 329-338

De Giacomo G., Lesperance Y., Pearce A. R.
DE GIACOMO Giuseppe, Oriol Xavier, Rosati Riccardo, Savo Domenico Fabio
Updating DL-Lite ontologies through first-order queries. The Semantic Web – ISWC 2016 2016: 167-183

DE GIACOMO Giuseppe
Verification of data-aware processes. Web Services, Formal Methods, and Behavioral Types 2016: XI-

DE GIACOMO Giuseppe, Lesṕerance Yves, Patrizi Fabio, Sardina Sebastian
Verifying congolog programs on bounded situation calculus theories. AAAI'16 Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence 2016: 950-956

2015

DE GIACOMO Giuseppe, Levesque Hector J.
Adding DL-Lite TBoxes to Proper Knowledge Bases. The Semantic Web - ISWC 2015 2015: 305-321

Calvanese Diego, DE GIACOMO Giuseppe, Lembo Domenico, Lenzerini Maurizio, Rosati Riccardo
Data Complexity of Query Answering in Description Logics. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015. 2015: 4163-4167

DE GIACOMO Giuseppe, Dumas M., Maggi F. M., Montali M.
Declarative process modeling in BPMN. Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings 2015: 84-100

Calvanese Diego, Montali Marco, Patrizi Fabio, DE GIACOMO Giuseppe
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 2015: 4247-4253

Chitta Baral, DE GIACOMO Giuseppe
Knowledge Representation and Reasoning: What's Hot. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA 2015: 4316-4317

Calvanese Diego, DE GIACOMO Giuseppe, Soutchanski Mikhail
On the undecidability of the situation calculus extended with description logic ontologies. Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015 2015: 2840-2846

DE GIACOMO Giuseppe, Lespérance Y., Pearce A. R.
Synchronous games in the situation calculus. Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015 2015: 1675-1676

DE GIACOMO Giuseppe, Vardi Moshe Y.
Synthesis for LTL and LDL on Finite Traces. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015 2015: 1558-1564

DE GIACOMO Giuseppe
Temporal reasoning in bounded situation calculus. 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) 2015: 2-2

2014

DE GIACOMO Giuseppe, Ntouskos Valsamis, Patrizi Fabio, Vassos Stavros, Aversa Davide
Agent Behavior Composition in Virtual Environments Realized Using Game Engines. Proceedings of the 2014 Workshop on AI Problems and Approaches for Intelligent Environments 2014: -

DE GIACOMO Giuseppe
Artificial Intelligence (2014-2016). ARTIFICIAL INTELLIGENCE 2014: -

DE GIACOMO Giuseppe, Mecella Massimo, Patrizi Fabio
DE GIACOMO Giuseppe, Patrizi Fabio, Sebastian Sardiña
Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments. Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014 2014: -

DE GIACOMO Giuseppe, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali
Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces. Business Process Management - 12th International Conference, BPM 2014 2014: 1-17

DE GIACOMO Giuseppe, Y. Lespérance, Patrizi Fabio, Vassos Stavros
Progression and Verification of Situation Calculus Agents with Bounded Beliefs. International conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2014 2014: 141-148

DE GIACOMO Giuseppe, Riccardo De Masellis, Marco Montali
Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence 2014: 1027-1033

DE GIACOMO Giuseppe
Review Editor di Artificial Intelligence, Elsevier. ARTIFICIAL INTELLIGENCE 2014: -

Marco Montali, Diego Calvanese, DE GIACOMO Giuseppe
Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems. Proceedings of the 29th Italian Conference on Computational Logic 2014: 84-98

Bagheri Hariri Babak, Calvanese Diego, Montali Marco, DE GIACOMO Giuseppe, Deutsch Alin
Verification of human driven data-centric dynamic systems. AAAI Spring Symposium - Technical Report 2014: 80-85

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