| An abstraction technique for the verification of artifact-centric systems F Belardinelli, A Lomuscio, F Patrizi Thirteenth international conference on the principles of knowledge …, 2012 | 77 | 2012 |
| Algebraic aspects of cut elimination F Belardinelli, P Jipsen, H Ono Studia Logica 77 (2), 209-240, 2004 | 76 | 2004 |
| Verification of agent-based artifact systems F Belardinelli, A Lomuscio, F Patrizi Journal of Artificial Intelligence Research 51, 333-376, 2014 | 61 | 2014 |
| Verification of Multi-agent Systems with Imperfect Information and Public Actions. F Belardinelli, A Lomuscio, A Murano, S Rubin AAMAS 17, 1268-1276, 2017 | 57 | 2017 |
| Verification of GSM-based artifact-centric systems through finite abstraction F Belardinelli, A Lomuscio, F Patrizi International Conference on Service-Oriented Computing, 17-31, 2012 | 56 | 2012 |
| Verification of deployed artifact systems via data abstraction F Belardinelli, A Lomuscio, F Patrizi International conference on service-oriented computing, 142-156, 2011 | 51 | 2011 |
| Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. F Belardinelli, A Lomuscio, A Murano, S Rubin IJCAI 17, 91-97, 2017 | 45 | 2017 |
| Reasoning about knowledge and strategies: Epistemic strategy logic F Belardinelli arXiv preprint arXiv:1404.0837, 2014 | 43 | 2014 |
| Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results F Belardinelli, A Lomuscio Journal of Artificial Intelligence Research 45, 1-45, 2012 | 35 | 2012 |
| Quantified epistemic logics for reasoning about knowledge in multi-agent systems F Belardinelli, A Lomuscio Artificial Intelligence 173 (9-10), 982-1013, 2009 | 33 | 2009 |
| Bisimulations for verifying strategic abilities with an application to threeballot F Belardinelli, R Condurache, C Dima, W Jamroga, AV Jones Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017 | 23 | 2017 |
| Quantified modal logic and the ontology of physical objects F Belardinelli Ph. D. thesis, Scuola Normale Superiore of Pisa, 2006 | 20 | 2006 |
| Systematic generalisation through task temporal logic and deep reinforcement learning BG León, M Shanahan, F Belardinelli arXiv preprint arXiv:2006.08767, 2020 | 16 | 2020 |
| A computationally-grounded semantics for artifact-centric systems and abstraction results F Belardinelli, A Lomuscio, F Patrizi Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 15 | 2011 |
| Strategy logic with simple goals: Tractable reasoning about strategies F Belardinelli, W Jamroga, V Malvone, A Murano 28th International Joint Conference on Artificial Intelligence (IJCAI 2019 …, 2019 | 13 | 2019 |
| An abstraction-based method for verifying strategic properties in multi-agent systems with imperfect information F Belardinelli, A Lomuscio, V Malvone Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 6030-6037, 2019 | 13 | 2019 |
| Approximating perfect recall when model checking strategic abilities F Belardinelli, A Lomuscio, V Malvone Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 13 | 2018 |
| Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems. F Belardinelli, A Lomuscio, J Michaliszyn ECAI, 286-294, 2016 | 13 | 2016 |
| A semantical analysis of second-order propositional modal logic F Belardinelli, W Van Der Hoek Thirtieth AAAI Conference on Artificial Intelligence, 2016 | 13 | 2016 |
| Epistemic quantified boolean logic: Expressiveness and completeness results F Belardinelli, W Van Der Hoek Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 13 | 2015 |
