Elena Di Lavore

1. Evidential Decision Theory via Partial Markov Categories
   2023/01/30 by Elena Di Lavore, Mario Román, Di Lavore, Elena +1 · 5 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Bayesian Modeling and Causal Inference #Semantic Web and Ontologies
2. Monoidal Streams for Dataflow Programming
   2022/02/04 by Elena Di Lavore, Giovanni de Felice, Di Lavore, Elena +3 · 1 citation
   Computer Science · #18M05 #Category Theory (math.CT) #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL)
3. Categorical Foundations of Explainable AI: A Unifying Theory
   2023/04/27 by Pietro Barbiero, Barbiero, Pietro, Stefano Fioravanti +9 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Statistical and Computational Modeling
4. Partial Markov Categories
   2025/01/24 by Elena Di Lavore, Mario Román, Di Lavore, Elena +3 · 2 citations
   Computer Science · Mathematics · #Bayesian Modeling and Causal Inference #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge