Pubblicazioni di De Giacomo Giuseppe
2019
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
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
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
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.
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, 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