| 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 | 80 | 2012 |
| Algebraic aspects of cut elimination F Belardinelli, P Jipsen, H Ono Studia Logica 77, 209-240, 2004 | 74 | 2004 |
| Verification of Multi-agent Systems with Imperfect Information and Public Actions. F Belardinelli, A Lomuscio, A Murano, S Rubin AAMAS 17, 1268-1276, 2017 | 69 | 2017 |
| Verification of agent-based artifact systems F Belardinelli, A Lomuscio, F Patrizi Journal of Artificial Intelligence Research 51, 333-376, 2014 | 64 | 2014 |
| Verification of GSM-based artifact-centric systems through finite abstraction F Belardinelli, A Lomuscio, F Patrizi Service-Oriented Computing: 10th International Conference, ICSOC 2012 …, 2012 | 62 | 2012 |
| Verification of broadcasting multi-agent systems against an epistemic strategy logic. F Belardinelli, A Lomuscio, A Murano, S Rubin IJCAI 17, 91-97, 2017 | 55 | 2017 |
| Verification of deployed artifact systems via data abstraction F Belardinelli, A Lomuscio, F Patrizi Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos …, 2011 | 54 | 2011 |
| Reasoning about knowledge and strategies: Epistemic strategy logic F Belardinelli arXiv preprint arXiv:1404.0837, 2014 | 45 | 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 | 42 | 2012 |
| Quantified epistemic logics for reasoning about knowledge in multi-agent systems F Belardinelli, A Lomuscio Artificial Intelligence 173 (9-10), 982-1013, 2009 | 34 | 2009 |
| 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 | 33 | 2019 |
| Systematic generalisation through task temporal logic and deep reinforcement learning BG León, M Shanahan, F Belardinelli arXiv preprint arXiv:2006.08767, 2020 | 31 | 2020 |
| 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 | 29 | 2019 |
| 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 | 28 | 2017 |
| Verification of multi-agent systems with public actions against strategy logic F Belardinelli, A Lomuscio, A Murano, S Rubin Artificial Intelligence 285, 103302, 2020 | 26 | 2020 |
| Quantified modal logic and the ontology of physical objects F Belardinelli Ph. D. thesis, Scuola Normale Superiore of Pisa, 2006 | 25 | 2006 |
| Approximating perfect recall when model checking strategic abilities: Theory and applications F Belardinelli, A Lomuscio, V Malvone, E Yu Journal of Artificial Intelligence Research 73, 897-932, 2022 | 23 | 2022 |
| An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information F Belardinelli, A Ferrando, V Malvone Artificial Intelligence 316, 103847, 2023 | 22 | 2023 |
| Approximating perfect recall when model checking strategic abilities F Belardinelli, A Lomuscio, V Malvone Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 22 | 2018 |
| A three-valued approach to strategic abilities under imperfect information F Belardinelli, V Malvone 17th International Conference on Principles of Knowledge Representation and …, 2020 | 17 | 2020 |
Alessio R LomuscioImperial College London在 imperial.ac.uk 的电子邮件经过验证
