A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata. - Jacques Duparc; Alessandro Facchini (ILC, 2007)

Describing the Wadge Hierarchy for the Alternation Free Fragment of µ-Calculus (I). - Jacques Duparc; Alessandro Facchini (CiE, 2008)

Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata. - Jacques Duparc; Alessandro Facchini; Filip Murlak (CSL, 2009)

The Wadge Hierarchy of Max-Regular Languages. - Jérémie Cabessa; Jacques Duparc; Alessandro Facchini; Filip Murlak (FSTTCS, 2009)

The modal µ-calculus hierarchy over restricted classes of transition systems. - Luca Alberucci; Alessandro Facchini (J. Symb. Log., 2009)

On Modal µ -Calculus and Gödel-Löb Logic. - Luca Alberucci; Alessandro Facchini (Stud Logica, 2009)

Definable Operations On Weakly Recognizable Sets of Trees. - Jacques Duparc; Alessandro Facchini; Filip Murlak (FSTTCS, 2011)

Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs. - Balder ten Cate; Alessandro Facchini (MFCS, 2011)

Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata. - Alessandro Facchini; Filip Murlak; Michal Skrzypczak (LICS, 2013)

A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus. - Alessandro Facchini; Yde Venema; Fabio Zanasi (LICS, 2013)

Deciding the Borel Complexity of Regular Tree Languages. - Alessandro Facchini; Henryk Michalewski (CiE, 2014)

Weak MSO: automata and expressiveness modulo bisimilarity. - Facundo Carreiro; Alessandro Facchini; Yde Venema; Fabio Zanasi (CSL-LICS, 2014)

On the Weak Index Problem for Game Automata. - Alessandro Facchini; Filip Murlak; Michal Skrzypczak (WoLLIC, 2015)

Containment for Conditional Tree Patterns. - Alessandro Facchini; Yoichi Hirai; Maarten Marx; Evgeny Sherkhonov (Log. Methods Comput. Sci., 2015)

Quantum Rational Preferences and Desirability. - Alessio Benavoli; Alessandro Facchini; Marco Zaffalon (IDM@NIPS, 2016)

Emergence of Shared Behaviour in Distributed Scheduling Systems for Domestic Appliances. - Alessandro Facchini; Cristina Rottondi; Giacomo Verticale (SIGMETRICS Perform. Evaluation Rev., 2016)

Index Problems for Game Automata. - Alessandro Facchini; Filip Murlak; Michal Skrzypczak (ACM Trans. Comput. Log., 2016)

SOS for Bounded Rationality. - Alessio Benavoli; Alessandro Facchini; Dario Piga; Marco Zaffalon (ISIPTA, 2017)

A Polarity Theory for Sets of Desirable Gambles. - Alessio Benavoli; Alessandro Facchini; Marco Zaffalon; José Vicente-Pérez (ISIPTA, 2017)

Set-Valued Probabilistic Sentential Decision Diagrams. - Alessandro Antonucci 001; Alessandro Facchini (PLP@ILP, 2018)

A Credal Extension of Independent Choice Logic. - Alessandro Antonucci 001; Alessandro Facchini (SUM, 2018)

Credal Sentential Decision Diagrams. - Alessandro Antonucci 001; Alessandro Facchini; Lilith Mattei (ISIPTA, 2019)

Bernstein's Socks, Polynomial-Time Provable Coherence and Entanglement. - Alessio Benavoli; Alessandro Facchini; Marco Zaffalon (ISIPTA, 2019)

Computational Complexity and the Nature of Quantum Mechanics (Extended version). - Alessio Benavoli; Alessandro Facchini; Marco Zaffalon (CoRR, 2019)

Computational Complexity and the Nature of Quantum Mechanics. - Alessio Benavoli; Alessandro Facchini; Marco Zaffalon (CoRR, 2019)

Sum-of-squares for bounded rationality. - Alessio Benavoli; Alessandro Facchini; Dario Piga; Marco Zaffalon (Int. J. Approx. Reason., 2019)

Building Causal Interaction Models by Recursive Unfolding. - Linda C. van der Gaag; Silja Renooij; Alessandro Facchini (PGM, 2020)

Tractable inference in credal sentential decision diagrams. - Lilith Mattei; Alessandro Antonucci 001; Denis Deratani Mauá; Alessandro Facchini; Julissa Villanueva Llerena (Int. J. Approx. Reason., 2020)

The Power of the Weak. - Facundo Carreiro; Alessandro Facchini; Yde Venema; Fabio Zanasi (ACM Trans. Comput. Log., 2020)

Logic and Model Checking by Imprecise Probabilistic Interpreted Systems. - Alberto Termine; Alessandro Antonucci 001; Giuseppe Primiero; Alessandro Facchini (EUMAS, 2021)

Quantum Indistinguishability through Exchangeable Desirable Gambles. - Alessio Benavoli; Alessandro Facchini; Marco Zaffalon (ISIPTA, 2021)

Robust Model Checking with Imprecise Markov Reward Models. - Alberto Termine; Alessandro Antonucci 001; Alessandro Facchini; Giuseppe Primiero (ISIPTA, 2021)

Structural Learning of Probabilistic Sentential Decision Diagrams under Partial Closed-World Assumption. - Alessandro Antonucci 001; Alessandro Facchini; Lilith Mattei (CoRR, 2021)

Dalal's Revision in Sentential Decision Diagrams. - Lilith Mattei; Alessandro Antonucci 001; Alessandro Facchini (ISAIM, 2022)

Model theory of monadic predicate logic with the infinity quantifier. - Facundo Carreiro; Alessandro Facchini; Yde Venema; Fabio Zanasi (Arch. Math. Log., 2022)

Belief Revision in Sentential Decision Diagrams. - Lilith Mattei; Alessandro Facchini; Alessandro Antonucci 001 (CoRR, 2022)

Quantum indistinguishability through exchangeability. - Alessio Benavoli; Alessandro Facchini; Marco Zaffalon (Int. J. Approx. Reason., 2022)

Closure operators, classifiers and desirability. - Alessio Benavoli; Alessandro Facchini; Marco Zaffalon (ISIPTA, 2023)

Machine Learning Explanations by Surrogate Causal Models (MaLESCaMo). - Alberto Termine; Alessandro Antonucci 001; Alessandro Facchini (xAI (Late-breaking Work, Demos, Doctoral Consortium), 2023)

Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems. - Alberto Termine; Alessandro Antonucci 001; Giuseppe Primiero; Alessandro Facchini (SN Comput. Sci., 2023)

Algorithmic Authority & AI Influence in Decision Settings: Theories and Implications for Design. - Alessandro Facchini; Caterina Fregosi; Chiara Natali; Alberto Termine; Ben Wilson (HAI, 2024)

Designing for Complementarity: A Conceptual Framework to Go Beyond the Current Paradigm of Using XAI in Healthcare. - Elisa Rubegni; Omran Ayoub; Stefania Maria Rita Rizzo; Marco Barbero; Guenda Bernegger; Francesca D. Faraci; Francesca Mangili; Emiliano Soldini; Pierpaolo Trimboli; Alessandro Facchini (HCI (51), 2024)

Addressing Social Misattributions of Large Language Models: An HCXAI-based Approach. - Andrea Ferrario; Alberto Termine; Alessandro Facchini (CoRR, 2024)

Machine Learning and Theory Ladenness - A Phenomenological Account. - Alberto Termine; Emanuele Ratti; Alessandro Facchini (CoRR, 2024)

Experts or Authorities? The Strange Case of the Presumed Epistemic Superiority of Artificial Intelligence Systems. - Andrea Ferrario; Alessandro Facchini; Alberto Termine (Minds Mach., 2024)

The AI off-switch problem as a signalling game: bounded rationality and incomparability. - Alessio Benavoli; Alessandro Facchini; Marco Zaffalon (ISIPTA, 2025)