"Logic takes care of itself; all we have to do is to look and see how it does it." (Ludwig Wittgenstein)

Paolo Felli

info
Ph.D. Student in Computer
Science and Engineering -
Dept. of Computer, Control
and Management Engineering
Sapienza Università di Roma.
address
Via Ariosto 25, room B213
00185 Roma, Italy
+39 06 77274 012
{lastname}@dis.uniroma1.it
DIS
Advisor: Prof. Giuseppe De Giacomo.
A A

Publications [ show selected papers only: OFF | show abstracts: OFF ]

Conferences

[9]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).

[7]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).

[6]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).

[5]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).

[4]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).

[2]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).

[1]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).

Journals

[8]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.

Research groups

- Artificial Intelligence and Knowledge Representation
- Data Management and Service-Oriented Computing

Teaching

TA of Progettazione del Software - A.Y. 2010/2011 - Polo di Rieti

Timeline

  • 2013 
  • 2012  2012
  • 2011  2011
  • 2010  2010
  • 2009  2009
  • 2008 
  • 2007  2007
  • 2006  2006
  • 2005 
  • 2004 
  • 2003 
  • 2002  2002
  •  2001-
  @RMIT, Melbourne, AU
@Imperial College London, UK
Erasmus @Universidad Autónoma, Madrid, ES
  Ph.D. student in Computer Science and Engineering at Dept. of Computer, Control and Management Engineering - Sapienza University, Rome, IT.
Master Degree in Computer Engineering (Software Engineering) - Sapienza University, Rome, IT.
Bachelor Degree in Computer Engineering - Sapienza University.
Classic and Modern Literature High School. Liceo Classico "Giulio Cesare", Rome, IT.

Languages

italian, english (fluent), spanish (fluent), german (basic).