 | Up a level |
Benavoli, Alessio and Facchini, Alessandro and Zaffalon, Marco (2023) Closure operators, classifiers and desirability. In: International Symposium on Imprecise Probability: Theories and Applications.
Termine, Alberto and Antonucci, Alessandro and Primiero, Giuseppe and Facchini, Alessandro (2023) Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems. SN Computer Science, 4 (5). p. 443.
Carreiro, Facundo and Facchini, Alessandro and Venema, Yde and Zanasi, Fabio (2022) Model theory of monadic predicate logic with the infinity quantifier. Archive for Mathematical Logic, 61 (3-4). pp. 465-502.
Benavoli, Alessio and Facchini, Alessandro and Zaffalon, Marco (2022) Quantum indistinguishability through exchangeability. International Journal of Approximate Reasoning, 151. pp. 389-412.
Facchini, Alessandro and Termine, Alberto (2022) Towards a Taxonomy for the Opacity of AI Systems. In: Studies in Applied Philosophy, Epistemology and Rational Ethics Philosophy and Theory of Artificial Intelligence 2021, 27-28th of September 2021, Gothenburg.
Facchini, Alessandro and Termine, Alberto (2021) Intelligenza artificiale e metodo scientifico: può l'IA sostituire l'intuizione umana nel processo di scoperta scientifica? Rivista teologica di Lugano, 26 (3). pp. 11-28.
Termine, Alberto and Antonucci, Alessandro and Primiero, Giuseppe and Facchini, Alessandro (2021) Logic and model checking by imprecise probabilistic interpreted systems. In: Multi-Agent Systems: 18th European Conference, EUMAS 2021, Virtual Event, June 28--29, 2021, Revised Selected Papers 18.
Benavoli, Alessio and Facchini, Alessandro and Zaffalon, Marco (2021) Quantum indistinguishability through exchangeable desirable gambles. In: International Symposium on Imprecise Probability: Theories and Applications.
Termine, Alberto and Antonucci, Alessandro and Facchini, Alessandro and Primiero, Giuseppe (2021) Robust model checking with imprecise Markov reward models. In: International Symposium on Imprecise Probability: Theories and Applications.
Benavoli, Alessio and Facchini, Alessandro and Zaffalon, Marco (2021) The weirdness theorem and the origin of quantum paradoxes. Foundations of Physics, 51. pp. 1-39.
van der Gaag, Linda C. and Renooij, Silja and Facchini, Alessandro (2020) Building Causal Interaction Models by Recursive Unfolding. In: Proceedings of the 10th International Conference on Probabilistic Graphical Models.
Mattei, Lilith and Antonucci, Alessandro and Mauá, Denis Deratani and Facchini, Alessandro and Llerena, Julissa Villanueva (2020) Tractable inference in credal sentential decision diagrams. International Journal of Approximate Reasoning, 125. pp. 26-48.
Carreiro, Facundo and Facchini, Alessandro and Venema, Yde and Zanasi, Fabio (2020) The power of the weak. ACM Transactions on Computational Logic (TOCL), 21 (2). pp. 1-47.
Benavoli, Alessio and Facchini, Alessandro and Zaffalon, Marco (2019) Bernstein’s socks, polynomial-time provable coherence and entanglement. In: International Symposium on Imprecise Probabilities: Theories and Applications.
Antonucci, Alessandro and Facchini, Alessandro and Mattei, Lilith (2019) Credal sentential decision diagrams. In: International Symposium on Imprecise Probabilities: Theories and Applications.
Benavoli, Alessio and Facchini, Alessandro and Piga, Dario and Zaffalon, Marco (2019) Sum-of-squares for bounded rationality. International Journal of Approximate Reasoning, 105. pp. 130-152.
Antonucci, Alessandro and Facchini, Alessandro (2018) A credal extension of independent choice logic. In: Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings 12.
Facchini, Alessandro and Rottondi, Cristina and Verticale, Giacomo (2017) Evaluating the effects of social interactions on a distributed demand side management system for domestic appliances. Energy Efficiency, 10. pp. 1175-1188.
Benavoli, Alessio and Facchini, Alessandro and Zaffalon, Marco (2017) A Gleason-type theorem for any dimension based on a gambling formulation of Quantum Mechanics. Foundations of Physics, 47. pp. 991-1002.
Benavoli, Alessio and Facchini, Alessandro and Piga, Dario and Zaffalon, Marco (2017) SOS for bounded rationality. In: Proceedings of the Tenth International Symposium on Imprecise Probability: Theories and Applications.
Benavoli, Alessio and Facchini, Alessandro and Zaffalon, Marco and Vicente-Pérez, José (2017) A polarity theory for sets of desirable gambles. In: Proceedings of the Tenth International Symposium on Imprecise Probability: Theories and Applications.
Facchini, Alessandro and Murlak, Filip and Skrzypczak, Michal (2016) Index Problems for Game Automata. ACM Transactions on Computational Logic, 17 (4).
Benavoli, Alessio and Facchini, Alessandro and Zaffalon, Marco (2016) Quantum mechanics: The Bayesian theory generalized to the space of Hermitian matrices. Physical Review A, 95 (042106).
Facchini, Alessandro and Rottondi, Cristina and Verticale, Giacomo (2016) Emergence of Shared Behaviour in Distributed Scheduling Systems for Domestic Appliances. ACM SIGMETRICS Performance Evaluation Review, 44 (2). pp. 70-75.
Benavoli, Alessio and Facchini, Alessandro and Zaffalon, Marco (2016) Quantum rational preferences and desirability. In: JMLR Workshop and Conference Proceedings 58 NIPS 2016 Workshop on Imperfect Decision Makers, 09.12.2016, Barcelona, Spain. (In Press)
Facchini, Alessandro and Hirai, Yoichi and Marx, Maarten and Sherkhonov, Evgeny (2015) Containment for Conditional Tree Patterns. Logical Methods in Computer Science, 11 (2).
Facchini, Alessandro and Murlak, Filip and Skrzypczak, Michal (2015) On the Weak Index Problem for Game Automata. In: Logic, Language, Information, and Computation WOLLIC 2015, Bloomington, Indiana.
Facchini, Alessandro and Michalewski, Henryk (2014) Deciding the Borel Complexity of Regular Tree Languages. In: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings.
Facchini, Alessandro and Wendling, Béatrice Godart (2014) Stop thinking that I am only speaking about the world, go further: infer ! A short history of formal semantics of the twentieth century. Beiträge zur Geschichte der Sprachwissenschaft, 24 (2). pp. 267-282. ISSN 0939-2815
Carreiro, Facundo and Facchini, Alessandro and Venema, Yde and Zanasi, Fabio (2014) Weak MSO: automata and expressiveness modulo bisimilarity. In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014.
Facchini, Alessandro and Venema, Yde and Zanasi, Fabio (2013) A Characterization Theorem for the Alternation-Free Fragment of the Modal μ-Calculus. In: 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013.
Facchini, Alessandro and Murlak, Filip and Skrzypczak, Michal (2013) Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata. In: 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013.
Ten Cate, Balder and Facchini, Alessandro (2011) Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs. In: Mathematical Foundations of Computer Science 2011 - 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings.
Duparc, Jacques and Facchini, Alessandro and Murlak, Filip (2011) Definable Operations On Weakly Recognizable Sets of Trees. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, December 12-14, 2011, Mumbai, India.
Alberucci, Luca and Facchini, Alessandro (2009) On Modal μ-Calculus and Gödel-Löb Logic. Studia Logica, 91 (2). pp. 145-169. ISSN 0039-3215
Duparc, Jacques and Facchini, Alessandro and Murlak, Filip (2009) Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata. In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings.
Duparc, Jacques and Facchini, Alessandro (2009) A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata. In: ILC 2007. Revised Selected Papers Infinity in Logic and Computation, International Conference, ILC 2007, November 3-5, 2007, Cape Town, South Africa.
Cabessa, Jérémie and Duparc, Jacques and Facchini, Alessandro and Murlak, Filip (2009) The Wadge Hierarchy of Max-Regular Languages. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India.
Alberucci, Luca and Facchini, Alessandro (2009) The modal μ-calculus hierarchy over restricted classes of transition systems. Journal of Symbolic Logic, 74 (4). pp. 1367-1400. ISSN 0022-4812
Duparc, Jacques and Facchini, Alessandro (2008) Describing the Wadge Hierarchy for the Alternation Free Fragment of μ-Calculus (I). In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings.
Facchini, Alessandro (2003) "Maison Hilbert": un très joli édifice sans toit ni sol. Analyse model-théorétique d'un échec. Travaux de logique, 15 . Centre de Recherches Sémiologiques, Université de Neuchâtel, Neuchâtel.
Castelletti, Andrea and Cominola, Andrea and Facchini, Alessandro and Giuliani, Matteo and Fraternali, Pietro and Herrera Gonzales, Sergio Luis and Melenhorst, Mark and Micheel, Isabel and Novak, Jasminko and Pasini, Chiara and Rizzoli, Andrea Emilio and Rottondi, Cristina (2018) Gamified approaches for Water Management Systems: An Overview. In: Smart Water Grids: A Cyber-Physical Systems Approach. Taylor Francis CRC Press, pp. 169-201.