| Planning Over Multi-Agent Epistemic States: A Classical Planning Approach CJ Muise, V Belle, P Felli, SA McIlraith, T Miller, AR Pearce, L Sonenberg AAAI, 3327-3334, 2015 | 95 | 2015 |
| Description logic knowledge and action bases BB Hariri, D Calvanese, M Montali, G De Giacomo, R De Masellis, P Felli Journal of Artificial Intelligence Research 46, 651-686, 2013 | 71 | 2013 |
| Foundations of relational artifacts verification BB Hariri, D Calvanese, G De Giacomo, R De Masellis, P Felli BPM, 379-395, 2011 | 64 | 2011 |
| Two-Player Game Structures for Generalized Planning and Agent Composition G De Giacomo, P Felli, F Patrizi, S Sardina AAAI, 297-302, 2010 | 29 | 2010 |
| A holistic approach for soundness verification of decision-aware process models M De Leoni, P Felli, M Montali International Conference on Conceptual Modeling, 219-235, 2018 | 21 | 2018 |
| Realisability of production recipes L de Silva, P Felli, JC Chaplin, B Logan, D Sanderson, S Ratchev ECAI, 1449-1457, 2016 | 20 | 2016 |
| Verification of Description Logic Knowledge and Action Bases BB Hariri, D Calvanese, G De Giacomo, R De Masellis, P Felli, M Montali ECAI 242, 103-108, 2012 | 19 | 2012 |
| Supremal Realizability of Behaviors with Uncontrollable Exogenous Events N Yadav, P Felli, G De Giacomo, S Sardina IJCAI, 1176-1182, 2013 | 18 | 2013 |
| Agent composition synthesis based on ATL G De Giacomo, P Felli AAMAS, 499-506, 2010 | 16 | 2010 |
| Synthesising industry-standard manufacturing process controllers L de Silva, P Felli, JC Chaplin, B Logan, D Sanderson, S Ratchev AAMAS, 1811-1813, 2017 | 13 | 2017 |
| Goal-based composition of stateful services for smart homes G De Giacomo, C Di Ciccio, P Felli, Y Hu, M Mecella OTM Confederated International Conferences" On the Move to Meaningful …, 2012 | 12 | 2012 |
| Synthesizing agent protocols from LTL specifications against multiple partially-observable environments G De Giacomo, P Felli, A Lomuscio In KR, 457-466, 2012 | 12* | 2012 |
| Artificial social reasoning: computational mechanisms for reasoning about others P Felli, T Miller, C Muise, AR Pearce, L Sonenberg International Conference on Social Robotics, 146-155, 2014 | 11 | 2014 |
| Soundness verification of decision-aware process models with variable-to-variable conditions P Felli, M de Leoni, M Montali 2019 19th International Conference on Application of Concurrency to System …, 2019 | 10 | 2019 |
| 'Knowing Whether' in Proper Epistemic Knowledge Bases T Miller, P Felli, CJ Muise, AR Pearce, L Sonenberg AAAI, 1044-1050, 2016 | 10 | 2016 |
| 'Knowing Whether' in Proper Epistemic Knowledge Bases T Miller, P Felli, CJ Muise, AR Pearce, L Sonenberg AAAI, 1044-1050, 2016 | 10 | 2016 |
| Synthesizing agent protocols from LTL specifications against multiple partially-observable environments P Felli, G De Giacomo, A Lomuscio KR, 457-466, 2012 | 10 | 2012 |
| Planning for a Single Agent in a Multi-Agent Environment Using FOND C Muise, P Felli, T Miller, AR Pearce, L Sonenberg IJCAI, 3206--3212, 2016 | 9 | 2016 |
| Efficient reasoning with consistent proper epistemic knowledge bases C Muise, T Miller, P Felli, AR Pearce, L Sonenberg AAMAS, 1461-1469, 2015 | 9 | 2015 |
| Towards team formation via automated planning C Muise, F Dignum, P Felli, T Miller, AR Pearce, L Sonenberg International Workshop on Coordination, Organizations, Institutions, and …, 2015 | 8 | 2015 |
Giuseppe De GiacomoSapienza Università di RomaVerified email at diag.uniroma1.it
