Jacobs, Bart
- Causal Inference by String Diagram Surgery
2018/11/20 by Jacobs, Bart, Kissinger, Aleks, Zanasi, Fabio · 11 citations
#Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
- Modular Formal Verification of Rust Programs with Unsafe Blocks
2022/12/26 by Nima Rahimi Foroushaani, Bart Jacobs, Foroushaani, Nima Rahimi +1 · 1 voice · 1 citation
Computer Science · #Software Testing and Debugging Techniques #Parallel Computing and Optimization Techniques #Formal Methods in Verification
- An Introduction to Effectus Theory
2015/12/17 by Cho, Kenta, Jacobs, Bart, Westerbaan, Bas +1 · 3 citations
#FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Quantum Physics (quant-ph)
- The Logical Essentials of Bayesian Reasoning
2018/04/03 by Bart Jacobs, Fabio Zanasi, Jacobs, Bart +1 · 4 citations
Computer Science · #Bayesian Modeling and Causal Inference #Advanced Database Systems and Queries #Semantic Web and Ontologies
- Healthiness from Duality
2016/05/02 by Wataru Hino, Hino, Wataru, Hiroki Kobayashi +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Category Theory in Coq 8.5
2015/05/24 by Timany, Amin, Jacobs, Bart · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- A Channel-Based Perspective on Conjugate Priors
2017/07/02 by Jacobs, Bart · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- A Channel-based Exact Inference Algorithm for Bayesian Networks
2018/04/21 by Jacobs, Bart · 1 citation
#18C50 #62F15 #Artificial Intelligence (cs.AI) #F.3.2 #FOS: Computer and information sciences #I.2.3
- From Multisets over Distributions to Distributions over Multisets
2021/05/14 by Jacobs, Bart · 2 citations
#03B70 #18C50 #68Q87 #F.3.2 #FOS: Computer and information sciences #G.3 #Logic in Computer Science (cs.LO)
- A Simple Formal Language for Probabilistic Decision Problems
2024/10/14 by Di Lavore, Elena, Jacobs, Bart, Román, Mario · 1 citation
#18M35 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)