Alessandro Facchini

Cited by

	All	Since 2019
Citations	433	269
h-index	12	9
i10-index	16	9

200820092010201120122013201420152016201720182019202020212022202320243 8 10 4 13 8 25 23 16 28 20 41 26 45 39 53 61

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Alessio BenavoliAssociate Professor in Statistics, SCSS, Trinity College DublinVerified email at tcd.ie
Marco ZaffalonIDSIA and Artificialy.comVerified email at idsia.ch
Alberto TermineResearch Fellow, Dalle Molle Institute for Artificial Intelligence (IDSIA USI-SUPSI), Lugano, CHVerified email at idsia.ch
Alessandro AntonucciSenior Lecturer-Researcher at IDSIAVerified email at idsia.ch
Filip MurlakAssociate Professor, University of WarsawVerified email at mimuw.edu.pl
Fabio ZanasiProfessor of Computer Science, University College LondonVerified email at ucl.ac.uk
Cristina RottondiDepartment of Electronics and Telecommunications, Politecnico di TorinoVerified email at polito.it
Lilith MatteiPhD candidate at IDSIAVerified email at idsia.ch
Michał SkrzypczakUniwersytet WarszawskiVerified email at mimuw.edu.pl
Facundo CarreiroGoogleVerified email at google.com
Giuseppe PrimieroDepartment of Philosophy, University of MilanVerified email at unimi.it
Denis Deratani MauáProfessor, Dept. of Computer Science, Institute of Mathematics and Statistics, Universidade de SãoVerified email at usp.br
Dario PigaSenior Researcher at IDSIA - Dalle Molle Institute for ArtificiaI Intelligence, SUPSI-USI, LuganoVerified email at supsi.ch
Balder ten CateAssociate ProfessorVerified email at uva.nl
José Vicente-PérezUniversidad de AlicanteVerified email at ua.es
Julissa Giuliana Villanueva LlerenaPhD in Computer Science, Institute of Mathematics and Statistics, University of São PauloVerified email at ime.usp.br
Décio Lauro SoaresUniversity of São PauloVerified email at ime.usp.br
Henryk MichalewskiGoogleVerified email at google.com
Evgeny SherkhonovResearcher, University of OxfordVerified email at cs.ox.ac.uk
maarten marxAssistant Professor of Computer Science, University of AmsterdamVerified email at uva.nl

Alessandro Facchini

SUPSI, IDSIA USI-SUPSI

Verified email at supsi.ch - Homepage

Logic Artificial intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The modal μ-calculus hierarchy over restricted classes of transition systems L Alberucci, A Facchini The Journal of Symbolic Logic 74 (4), 1367-1400, 2009	50	2009
Quantum mechanics: The Bayesian theory generalised to the space of Hermitian matrices A Benavoli, A Facchini, M Zaffalon Physical Review A 94 (4), 2016	36	2016
On Modal μ-Calculus and Gödel-Löb Logic L Alberucci, A Facchini Studia Logica 91, 145-169, 2009	29	2009
Rabin-Mostowski index problem: A step beyond deterministic automata A Facchini, F Murlak, M Skrzypczak 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 499-508, 2013	22	2013
Towards a Taxonomy for the Opacity of AI Systems A Facchini, A Termine Conference on Philosophy and Theory of Artificial Intelligence, 73-89, 2022	19	2022
A polarity theory for sets of desirable gambles A Benavoli, A Facchini, M Zaffalon, J Vicente-Pérez Proceedings of the Tenth International Symposium on Imprecise Probability …, 2017	17	2017
A characterization theorem for the alternation-free fragment of the modal µ-calculus A Facchini, Y Venema, F Zanasi 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 478-487, 2013	17	2013
Weak MSO: Automata and Expressiveness Modulo Bisimilarity F Carreiro, A Facchini, Y Venema, F Zanasi Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014	14	2014
A Gleason-type theorem for any dimension based on a gambling formulation of Quantum Mechanics A Benavoli, A Facchini, M Zaffalon Foundations of Physics 47 (7), 991–1002, 2017	13	2017
Definable Operations On Weakly Recognizable Sets of Trees. J Duparc, A Facchini, F Murlak FSTTCS, 363-374, 2011	13	2011
The wadge hierarchy of max-regular languages J Cabessa, J Duparc, A Facchini, F Murlak FSTTCS, 121-132, 2009	13	2009
Tractable inference in credal sentential decision diagrams L Mattei, A Antonucci, DD Mauá, A Facchini, JV Llerena International Journal of Approximate Reasoning 125, 26-48, 2020	12	2020
Evaluating the effects of social interactions on a distributed demand side management system for domestic appliances A Facchini, C Rottondi, G Verticale Energy Efficiency 10, 1175-1188, 2017	12	2017
Logic and model checking by imprecise probabilistic interpreted systems A Termine, A Antonucci, G Primiero, A Facchini Multi-Agent Systems: 18th European Conference, EUMAS 2021, Virtual Event …, 2021	10	2021
The power of the weak F Carreiro, A Facchini, Y Venema, F Zanasi ACM Transactions on Computational Logic (TOCL) 21 (2), 1-47, 2020	10	2020
Index Problems for Game Automata A Facchini, F Murlak, M Skrzypczak ACM Transactions on Computational Logic 17 (4), 1-38, 2016	10	2016
Sum-of-squares for bounded rationality A Benavoli, A Facchini, D Piga, M Zaffalon International Journal of Approximate Reasoning 105, 130-152, 2019	9	2019
Exploring the space of probabilistic sentential decision diagrams L Mattei, DL Soares, A Antonucci, DD Mauá, A Facchini Proceedings of Machine Learning Research-PMLR, 2019	9	2019
Gamified approaches for Water Management Systems: An Overview A Castelletti, A Cominola, A Facchini, M Giuliani, P Fraternali, S Herrera, ... Smart Water Grids: A Cyber-Physical Systems Approach, 169-201, 2018	9	2018
Characterizing EF over infinite trees and modal logic on transitive graphs B ten Cate, A Facchini Proceedings of the 36th international conference on Mathematical foundations …, 2011	9	2011

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