Stefano Fioravanti |https://pc.inf.usi.ch/people/stefano-fioravanti/Stefano FioravantiHugoBlox Kit (https://hugoblox.com)en-usWed, 01 Jan 2025 00:00:00 +0000Categorical Explaining Functors: Ensuring Coherence in Logical Explanationshttps://pc.inf.usi.ch/publications/dblp-confkr-fioravanti-gbf-0-z-25/Wed, 01 Jan 2025 00:00:00 +0000https://pc.inf.usi.ch/publications/dblp-confkr-fioravanti-gbf-0-z-25/Logic Explanation of AI Classifiers by Categorical Explaining Functorshttps://pc.inf.usi.ch/publications/dblp-journalscorrabs-2503-16203/Wed, 01 Jan 2025 00:00:00 +0000https://pc.inf.usi.ch/publications/dblp-journalscorrabs-2503-16203/Categorical Foundation of Explainable AI: A Unifying Theoryhttps://pc.inf.usi.ch/publications/dblp-confxai-giannini-fbtll-24/Mon, 01 Jan 2024 00:00:00 +0000https://pc.inf.usi.ch/publications/dblp-confxai-giannini-fbtll-24/Bridging Equational Properties and Patterns on Graphs: an AI-Based Approachhttps://pc.inf.usi.ch/publications/dblp-conftagml-keskin-lfmblg-23/Sun, 01 Jan 2023 00:00:00 +0000https://pc.inf.usi.ch/publications/dblp-conftagml-keskin-lfmblg-23/Categorical Foundations of Explainable AI: A Unifying Formalism of Structures and Semanticshttps://pc.inf.usi.ch/publications/dblp-journalscorrabs-2304-14094/Sun, 01 Jan 2023 00:00:00 +0000https://pc.inf.usi.ch/publications/dblp-journalscorrabs-2304-14094/Interpretable Graph Networks Formulate Universal Algebra Conjectureshttps://pc.inf.usi.ch/publications/dblp-confnips-giannini-fklmlb-23/Sun, 01 Jan 2023 00:00:00 +0000https://pc.inf.usi.ch/publications/dblp-confnips-giannini-fklmlb-23/Interpretable Graph Networks Formulate Universal Algebra Conjectureshttps://pc.inf.usi.ch/publications/dblp-journalscorrabs-2307-11688/Sun, 01 Jan 2023 00:00:00 +0000https://pc.inf.usi.ch/publications/dblp-journalscorrabs-2307-11688/