Paolo Felli

Contact and personal infos: Current position:


Activities
Participation to PhD school
DescriptionExternal siteYear
23th European Summer School in Logic, Language and Information (ESSLLI). SLO.2011
22th European Summer School in Logic, Language and Information (ESSLLI). DK.2010
Participation to national and international research projects
DescriptionExternal siteYear
Artifact-Centric Service InteroperationLink2010, 2011
Participation to conferences/workshops
DescriptionExternal siteYear
Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR-10). CA2010
The 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-10). CA.2010
20th International Conference on Automated Planning and Scheduling (ICAPS-10). CA.2010
9th International Conference on Business Process Management (BPM-11). FR.2011
13th International Conference on the Principles of Knowledge Representation and Reasoning (KR-12). 2012
Long stay visiting research periods
DescriptionExternal siteYear
Imperial College London. Aug-Sep 2010.2010
School of Computer Science and Information Technology, RMIT University, Melbourne, Australia. Mar-Sept 2012Link

Publications
Title Autor(s) Published in Year
1On the Supremal Realizability of Behaviors with Uncontrollable Exogenous Events.Nitin Yadav, Giuseppe De Giacomo, Paolo Felli, Sebastian SardinaIJCAI-13: 23rd International Joint Conference on Artificial Intelligence2013
2Description logic Knowledge and Action BasesBabak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo FelliJAIR-13: Journal of Artificial Intelligence Research, 20132013
3Synthesizing agent protocols from LTL specifications against multiple partially-observable environments.Giuseppe De Giacomo, Paolo Felli, Alessio LomuscioKR-12: 13th International Conference on Principles of Knowledge Representation and Reasoning.2012
4Verification of Description Logic Knowledge and Action BasesBabak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco MontaliECAI-12 : Proc. of 20th European Conference on Artificial Intelligence2012
5Goal-based Composition of Stateful Services for Smart HomesGiuseppe De Giacomo, Claudio Di Ciccio, Paolo Felli, Yuxiao Hu, Massimo MecellaCoopIS-12: 20th International Conference on Cooperative Information Systems2012
6Foundation of Relational Database VerificationB. Bagheri Hariri, D. Calvanese, G. De Giacomo, R. De Masellis, P. FelliBPM-11: Proc. of 9th International Conf. on Business Process Management2011
7Agent composition synthesis based on ATLGiuseppe De Giacomo, Paolo FelliAAMAS-10: Proc. of the 9th International Conference on Autonomous Agents and Multiagent Systems2010
8Two-player game structures for generalized planning and agent composition.Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, and Sebastian SardinaAAAI-10: Proc. of the Twenty- Fourth AAAI Conference on Artificial Intelligence.2010