Alessandro Facchini
Alessandro Facchini
IDSIA - Dalle Molle Institute For Artificial Intelligence
Dirección de correo verificada de idsia.ch - Página principal
Título
Citado por
Citado por
Año
The modal μ-calculus hierarchy over restricted classes of transition systems
L Alberucci, A Facchini
Journal of Symbolic Logic 74 (4), 1367-1400, 2009
372009
On modal μ-calculus and Gödel-Löb logic
L Alberucci, A Facchini
Studia Logica 91 (2), 145-169, 2009
282009
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
222013
Quantum mechanics: The Bayesian theory generalised to the space of Hermitian matrices
A Benavoli, A Facchini, M Zaffalon
Physical Review A 94 (4), 2016
162016
The wadge hierarchy of max-regular languages
J Cabessa, J Duparc, A Facchini, F Murlak
FSTTCS, 121-132, 2009
142009
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
122014
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
122013
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
112017
Definable Operations On Weakly Recognizable Sets of Trees.
J Duparc, A Facchini, F Murlak
FSTTCS, 363-374, 2011
112011
Index Problems for Game Automata
A Facchini, F Murlak, M Skrzypczak
ACM Transactions on Computational Logic 17 (4), 1-38, 2016
102016
Deciding the Borel complexity of regular tree languages
A Facchini, H Michalewski
Conference on Computability in Europe, 163-172, 2014
82014
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
82011
Linear game automata: decidable hierarchy problems for stripped-down alternating tree automata
J Duparc, A Facchini, F Murlak
Proceedings of the 23rd CSL international conference and 18th EACSL Annual …, 2009
72009
SOS for bounded rationality
A Benavoli, A Facchini, D Piga, M Zaffalon
arXiv preprint arXiv:1705.02663, 2017
62017
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
52017
Exploring the space of probabilistic sentential decision diagrams
L Mattei, D Soares, A Antonucci, D Mauà, A Facchini
3rd Workshop of Tractable Probabilistic Modeling, 2019
42019
Credal Sentential Decision Diagrams
A Antonucci, A Facchini, L Mattei
International Symposium on Imprecise Probabilities: Theories and …, 2019
32019
On the Weak Index Problem for Game Automata
A Facchini, F Murlak, M Skrzypczak
22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23 …, 2015
32015
Computational Complexity and the Nature of Quantum Mechanics
A Benavoli, A Facchini, M Zaffalon
arXiv preprint arXiv:1902.04569, 2019
22019
Sum-of-squares for bounded rationality
A Benavoli, A Facchini, D Piga, M Zaffalon
International Journal of Approximate Reasoning 105, 130-152, 2019
22019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20