Radu Mardare
- Foundations of Probabilistic Programming
2020/11/18 by Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen +45 · 1 voice · 7 citations
Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
- On the Axiomatizability of Quantitative Algebras
2018/04/05 by Radu Mardare, Prakash Panangaden, Mardare, Radu +3 · 4 citations
Computer Science · #03B70 #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Rough Sets and Fuzzy Logic