| An overview of verification and validation challenges for inspection robots M Fisher, RC Cardoso, EC Collins, C Dadswell, LA Dennis, C Dixon, ... Robotics 10 (2), 67, 2021 | 75 | 2021 |
| Dichotomies in ontology-mediated querying with the guarded fragment A Hernich, C Lutz, F Papacchini, F Wolter ACM Transactions on Computational Logic (TOCL) 21 (3), 1-47, 2020 | 28 | 2020 |
| Towards integrating formal verification of autonomous robots with battery prognostics and health management X Zhao, M Osborne, J Lantair, V Robu, D Flynn, X Huang, M Fisher, ... International Conference on Software Engineering and Formal Methods, 105-124, 2019 | 22 | 2019 |
| Model comparison games for horn description logics JC Jung, F Papacchini, F Wolter, M Zakharyaschev 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2019 | 15 | 2019 |
| Bridging the gap between single-and multi-model predictive runtime verification A Ferrando, RC Cardoso, M Farrell, M Luckcuck, F Papacchini, M Fisher, ... Formal Methods in System Design 59 (1), 44-76, 2021 | 14 | 2021 |
| Analysing spatial properties on neighbourhood spaces S Linker, F Papacchini, M Sevegnani arXiv preprint arXiv:2007.01266, 2020 | 14 | 2020 |
| LFC: combining autonomous agents and automated planning in the multi-agent programming contest RC Cardoso, A Ferrando, F Papacchini Multi-Agent Progamming Contest, 31-58, 2019 | 14 | 2019 |
| Efficient Local Reductions to Basic Modal Logic. F Papacchini, C Nalon, U Hustadt, C Dixon CADE, 76-92, 2021 | 13 | 2021 |
| A tableau calculus for minimal modal model generation F Papacchini, RA Schmidt Electronic Notes in Theoretical Computer Science 278, 159-172, 2011 | 12 | 2011 |
| Automated planning and BDI agents: A case study RC Cardoso, A Ferrando, F Papacchini International Conference on Practical Applications of Agents and Multi-Agent …, 2021 | 8 | 2021 |
| Finite models for a spatial logic with discrete and topological path operators S Linker, F Papacchini, M Sevegnani Leibniz International Proceedings in Informatics, LIPIcs 202, 72, 2021 | 8 | 2021 |
| Terminating minimal model generation procedures for propositional modal logics F Papacchini, RA Schmidt International Joint Conference on Automated Reasoning, 381-395, 2014 | 8 | 2014 |
| Local reductions for the modal cube C Nalon, U Hustadt, F Papacchini, C Dixon International Joint Conference on Automated Reasoning, 486-505, 2022 | 7 | 2022 |
| Horn-rewritability vs PTime query evaluation in ontology-mediated querying A Hernich, C Lutz, F Papacchini, F Wolter PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON …, 2018 | 7 | 2018 |
| Buy one get 14 free: evaluating local reductions for modal logic C Nalon, U Hustadt, F Papacchini, C Dixon International Conference on Automated Deduction, 382-400, 2023 | 4 | 2023 |
| Local is best: efficient reductions to modal logic K F Papacchini, C Nalon, U Hustadt, C Dixon Journal of Automated Reasoning 66 (4), 639-666, 2022 | 4 | 2022 |
| Computing minimal models modulo subset-simulation for modal logics F Papacchini, RA Schmidt International Symposium on Frontiers of Combining Systems, 279-294, 2013 | 4 | 2013 |
| MLFC: From 10 to 50 planners in the multi-agent programming contest RC Cardoso, A Ferrando, F Papacchini, M Luckcuck, S Linker, TR Payne Multi-Agent Progamming Contest, 82-107, 2021 | 3 | 2021 |
| Model Construction for Modal Clauses U Hustadt, F Papacchini, C Nalon, C Dixon International Joint Conference on Automated Reasoning, 3-23, 2024 | 2 | 2024 |
| StreamB: a declarative language for automatically processing data streams in abstract environments for agent platforms A Ferrando, F Papacchini International Workshop on Engineering Multi-Agent Systems, 114-136, 2021 | 2 | 2021 |
Angelo FerrandoAssistant Professor at the University of Modena and Reggio EmiliaVerified email at unimore.it
