- Inference and learning in probabilistic logic programs using weighted Boolean formulas
2013/04/25 by Daan Fierens, DAAN FIERENS, Guy Van den Broeck +13 · 1 citation
Computer Science · #Approximate inference #Bayesian Modeling and Causal Inference #Constraint Satisfaction and Optimization #Graphical model #Inference #Logic, Reasoning, and Knowledge #Probabilistic CTL #Probabilistic argumentation #Probabilistic logic #Probabilistic logic network #Rule of inference #cs.AI #cs.LG #cs.LO
- A probabilistic PDL
1985/04/01 by Dexter Kozen · 13 citations
Computer Science · Mathematics · #Algorithm #Calculus (dental) #Computational complexity theory #Computer science #Discrete mathematics #Formal Methods in Verification #Intermediate logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #PSPACE #Probabilistic CTL #Probabilistic analysis of algorithms #Probabilistic logic #Property (philosophy) #Propositional calculus #Propositional variable #Simple (philosophy) #Space (punctuation) #Statistics #Theoretical computer science