Pubblicazioni di De Giacomo Giuseppe
2018
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
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
DE GIACOMO Giuseppe, Lesperance Y., Patrizi Fabio, Vassos Stavros
Progression and Verification of Situation Calculus Agents with Bounded Beliefs. STUDIA LOGICA 2016: 705-739
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.
Situation calculus game structures and GDL. ECAI 2016 2016: 408-416
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, Ntouskos Valsamis, Patrizi Fabio, Vassos Stavros, Aversa Davide
Service Composition with PDDL Representations and Visualization over Videogame Engines. 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA) 2015: 101-107
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
Automated Service Composition Based on Behaviors: The Roman Model. Web Services Foundations 2014: 189-214
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
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
Guidi A
Les conclusions ‘galliardes’ du Secrétaire florentin : esprit de finesse, initiative et efficacité politique dans l'activité pratique de Machiavel. Être homme de 'lettres': secrétaires et politique culturelle au Cinquecento : -
Giresini L, Andreini M, De Falco A, Puppio Ml, Sassu M
Structural protection after landslide phenomena: a case study in Northern Italy. Proceeding of the 4th CEUP2015 (Int. Conf. on Civil Engineering and Urban Planning) : -