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 | 136 | 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 | 93 | 2013 |
Foundations of relational artifacts verification BB Hariri, D Calvanese, G De Giacomo, R De Masellis, P Felli International Conference on Business Process Management, 379-395, 2011 | 73* | 2011 |
A holistic approach for soundness verification of decision-aware process models M De Leoni, P Felli, M Montali Conceptual Modeling: 37th International Conference, ER 2018, Xi'an, China …, 2018 | 53 | 2018 |
CoCoMoT: conformance checking of multi-perspective processes via SMT P Felli, A Gianola, M Montali, A Rivkin, S Winkler Business Process Management: 19th International Conference, BPM 2021, Rome …, 2021 | 37 | 2021 |
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 | 34 | 2019 |
Two-Player Game Structures for Generalized Planning and Agent Composition G De Giacomo, P Felli, F Patrizi, S Sardina AAAI, 297-302, 2010 | 31 | 2010 |
Realisability of production recipes L de Silva, P Felli, JC Chaplin, B Logan, D Sanderson, S Ratchev ECAI, 1449-1457, 2016 | 29 | 2016 |
Linear-time verification of data-aware dynamic systems with arithmetic P Felli, M Montali, S Winkler Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5642-5650, 2022 | 25 | 2022 |
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 | 24 | 2012 |
Efficient multi-agent epistemic planning: Teaching planners about nested belief C Muise, V Belle, P Felli, S McIlraith, T Miller, AR Pearce, L Sonenberg Artificial Intelligence 302, 103605, 2022 | 22 | 2022 |
'Knowing Whether' in Proper Epistemic Knowledge Bases T Miller, P Felli, CJ Muise, AR Pearce, L Sonenberg AAAI, 1044-1050, 2016 | 21 | 2016 |
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events N Yadav, P Felli, G De Giacomo, S Sardina IJCAI, 1176-1182, 2013 | 20 | 2013 |
Synthesising industry-standard manufacturing process controllers L de Silva, P Felli, JC Chaplin, B Logan, D Sanderson, S Ratchev AAMAS, 1811-1813, 2017 | 17 | 2017 |
Integrating BPMN and DMN: modeling and analysis M De Leoni, P Felli, M Montali Journal on Data Semantics 10 (1), 165-188, 2021 | 16 | 2021 |
Agent composition synthesis based on ATL G De Giacomo, P Felli AAMAS, 499-506, 2010 | 16 | 2010 |
Strategy synthesis for data-aware dynamic systems with multiple actors M de Leoni, P Felli, M Montali Proceedings of the International Conference on Principles of Knowledge …, 2020 | 15 | 2020 |
Efficient reasoning with consistent proper epistemic knowledge bases C Muise, T Miller, P Felli, AR Pearce, L Sonenberg AAMAS, 1461-1469, 2015 | 14 | 2015 |
Synthesizing agent protocols from LTL specifications against multiple partially-observable environments G De Giacomo, P Felli, A Lomuscio In KR, 457-466, 2012 | 14* | 2012 |
Situation calculus for controller synthesis in manufacturing systems with first-order state representation G De Giacomo, P Felli, B Logan, F Patrizi, S Sardina Artificial Intelligence 302, 103598, 2022 | 13 | 2022 |