Segui
Alessandro Facchini
Alessandro Facchini
SUPSI, IDSIA USI-SUPSI
Email verificata su supsi.ch - Home page
Titolo
Citata da
Citata da
Anno
The modal μ-calculus hierarchy over restricted classes of transition systems
L Alberucci, A Facchini
The Journal of Symbolic Logic 74 (4), 1367-1400, 2009
522009
Quantum mechanics: The Bayesian theory generalised to the space of Hermitian matrices
A Benavoli, A Facchini, M Zaffalon
Physical Review A 94 (4), 2016
392016
On Modal μ-Calculus and Gödel-Löb Logic
L Alberucci, A Facchini
Studia Logica 91, 145-169, 2009
312009
Towards a Taxonomy for the Opacity of AI Systems
A Facchini, A Termine
Conference on Philosophy and Theory of Artificial Intelligence, 73-89, 2022
262022
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
242013
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
182017
Experts or Authorities? The Strange Case of the Presumed Epistemic Superiority of Artificial Intelligence Systems
A Ferrario, A Facchini, A Termine
Minds and Machines 34, 30, 2024
172024
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
172013
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
142014
The wadge hierarchy of max-regular languages
J Cabessa, J Duparc, A Facchini, F Murlak
FSTTCS, 121-132, 2009
142009
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
132017
Definable Operations On Weakly Recognizable Sets of Trees.
J Duparc, A Facchini, F Murlak
FSTTCS, 363-374, 2011
132011
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
122020
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
122017
The power of the weak
F Carreiro, A Facchini, Y Venema, F Zanasi
ACM Transactions on Computational Logic (TOCL) 21 (2), 1-47, 2020
112020
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
112018
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
102021
Sum-of-squares for bounded rationality
A Benavoli, A Facchini, D Piga, M Zaffalon
International Journal of Approximate Reasoning 105, 130-152, 2019
102019
Index Problems for Game Automata
A Facchini, F Murlak, M Skrzypczak
ACM Transactions on Computational Logic 17 (4), 1-38, 2016
102016
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
92019
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–20