Francesco Belardinelli

Cited by

	All	Since 2019
Citations	1369	810
h-index	19	16
i10-index	44	31

200

100

150

200520062007200820092010201120122013201420152016201720182019202020212022202320245 12 10 13 8 14 23 36 36 63 67 80 74 106 115 72 120 145 200 157

Public access

View all

36 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
Vadim MalvoneTélécom ParisVerified email at telecom-paris.fr
Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIVerified email at unina.it
Borja G. LeonPrincipal Scientist, Iconic AIVerified email at iconicgames.ai
Sasha RubinUniversity of SydneyVerified email at sydney.edu.au
Fabio PatriziAssociate Professor, DIAG - Sapienza University of RomeVerified email at dis.uniroma1.it
Francesca ToniImperial College LondonVerified email at imperial.ac.uk
Catalin DimaProfessor of Computer Science, Université Paris-Est Créteil, FranceVerified email at u-pec.fr
Wojciech JamrogaPolish Academy of SciencesVerified email at ipipan.waw.pl
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupVerified email at liverpool.ac.uk
Murray ShanahanImperial College London / DeepMindVerified email at imperial.ac.uk
Francis Rhys WardImperial College LondonVerified email at ic.ac.uk
Aamal HussainPhysicsX LondonVerified email at physicsx.ai
Tom EverittStaff Research Scientist at Google DeepMindVerified email at google.com
Andrew V. JonesVector Software, Inc.Verified email at vectorcast.com
Angelo FerrandoAssistant Professor at the University of Modena and Reggio EmiliaVerified email at unimore.it
Rodica (Bozianu) Condurache"A.I.Cuza" University of IasiVerified email at info.uaic.ro
Davide GrossiUniversity of Groningen (Bernoulli Institute, CogniGron) & University of Amsterdam (ILLC, ACLE)Verified email at rug.nl
Ioana BoureanuProfessor, University of SurreyVerified email at surrey.ac.uk
Georgios PiliourasGoogle DeepMind, Singapore University of Technology and DesignVerified email at google.com

Francesco Belardinelli

Imperial College London

Verified email at imperial.ac.uk - Homepage

Artificial Intelligence Logic Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	82	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	65	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	55	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	45	2012
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	35	2019
Quantified epistemic logics for reasoning about knowledge in multi-agent systems F Belardinelli, A Lomuscio Artificial Intelligence 173 (9-10), 982-1013, 2009	35	2009
Systematic generalisation through task temporal logic and deep reinforcement learning BG León, M Shanahan, F Belardinelli arXiv preprint arXiv:2006.08767, 2020	33	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	27	2020
Quantified modal logic and the ontology of physical objects F Belardinelli Ph. D. thesis, Scuola Normale Superiore of Pisa, 2006	26	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	25	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	24	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
Extended markov games to learn multiple tasks in multi-agent reinforcement learning BG León, F Belardinelli ECAI 2020, 139-146, 2020	18	2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors