On the Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. Nitin Yadav, Giuseppe De Giacomo, Paolo Felli, Sebastian Sardiña. Proc. of 23th International Joint Conference on Artificial Intelligence (IJCAI 2013).
Goal-based Composition of Stateful Services for Smart Homes. Giuseppe De Giacomo, Claudio Di Ciccio, Paolo Felli, Yuxiao Hu, Massimo Mecella. Proc. of 20th International Conference on Cooperative Information Systems (CoopIS 2012).
Verification of Description Logic Knowledge and Action Bases. Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali. Proc. of 20th European Conference on Artificial Intelligence (ECAI 2012).
Synthesizing agent protocols from LTL specifications against multiple partially-observable environments. Giuseppe De Giacomo, Paolo Felli and Alessio Lomuscio. 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012).
Foundations of Relational Artifacts Verification. Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis and Paolo Felli. Proc. of 9th International Conference on Business Process Management (BPM 2011).
Two-Player Game Structures for Generalized Planning and Agent Composition. Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña. Proc. of 24th Conference on Artificial Intelligence (AAAI 2010).
Agent Composition Synthesis based on ATL. Giuseppe de Giacomo, Paolo Felli. Proc. of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010).
Description logic Knowledge and Action Bases. Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli. J. of Artificial Intelligence Research, 2013 - to appear.The papers posted here consist of preliminary versions of papers that are about to be published or have been published in journals or conference proceedings. For final versions, please see cited journals or proceedings.
italian, english (fluent), spanish (fluent), german (basic).