The following pages link to Church (Q20942):
Displaying 50 items.
- The scope and limits of simulation in automated reasoning (Q253998) (← links)
- Optimal speech motor control and token-to-token variability: a Bayesian modeling approach (Q310158) (← links)
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs (Q324656) (← links)
- Probabilistic abductive logic programming using Dirichlet priors (Q324690) (← links)
- Structured learning modulo theories (Q511777) (← links)
- Computable de Finetti measures (Q764273) (← links)
- Probabilistic modelling, inference and learning using logical theories (Q841641) (← links)
- Probabilistic (logic) programming concepts (Q894692) (← links)
- A new probabilistic constraint logic programming language based on a generalised distribution semantics (Q896427) (← links)
- Planning in hybrid relational MDPs (Q1699911) (← links)
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control (Q1726305) (← links)
- A new approach for conditioning process-based geologic models to well data (Q1789191) (← links)
- Moment-based analysis of Bayesian network properties (Q2072070) (← links)
- A generalization of hierarchical exchangeability on trees to directed acyclic graphs (Q2077158) (← links)
- A denotational semantics for low-level probabilistic programs with nondeterminism (Q2133180) (← links)
- Program logic for higher-order probabilistic programs in Isabelle/HOL (Q2163157) (← links)
- A functional account of probabilistic programming with possible worlds. Declarative pearl (Q2163171) (← links)
- Semiring programming: a semantic framework for generalized sum product problems (Q2206471) (← links)
- The finite model theory of Bayesian network specifications: descriptive complexity and zero/one laws (Q2283277) (← links)
- Distributional logic programming for Bayesian knowledge representation (Q2374510) (← links)
- RankPL: a qualitative probabilistic programming language (Q2401896) (← links)
- Probabilities on sentences in an expressive logic (Q2446673) (← links)
- Probabilistic logic programming for hybrid relational domains (Q2630824) (← links)
- Probabilistic Inference by Program Transformation in Hakaru (System Description) (Q2798260) (← links)
- Controlling procedural modeling programs with stochastically-ordered sequential Monte Carlo (Q2802339) (← links)
- An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages (Q2802487) (← links)
- (Q2810772) (← links)
- A model-learner pattern for bayesian reasoning (Q2931816) (← links)
- Purely functional lazy non-deterministic programming (Q2936798) (← links)
- On Higher-Order Probabilistic Subrecursion (Q2988381) (← links)
- Metric Reasoning About $$\lambda $$-Terms: The General Case (Q2988646) (← links)
- Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring (Q2988648) (← links)
- Probabilistic Termination by Monadic Affine Sized Typing (Q2988649) (← links)
- Commutative Semantics for Probabilistic Programming (Q2988671) (← links)
- (Q2996256) (← links)
- The magic of logical inference in probabilistic programming (Q3087451) (← links)
- Probabilistic Programming Language and its Incremental Evaluation (Q3179303) (← links)
- Computable Exchangeable Sequences Have Computable de Finetti Measures (Q3576054) (← links)
- The EfProb Library for Probabilistic Calculations (Q4580221) (← links)
- (Q4637032) (← links)
- (Q5019656) (← links)
- Learning Probabilistic Logic Programs over Continuous Data (Q5041772) (← links)
- The geometry of Bayesian programming (Q5076392) (← links)
- Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism (Q5108531) (← links)
- TensorLog: A Probabilistic Database Implemented Using Deep-Learning Infrastructure (Q5109895) (← links)
- (Q5111636) (← links)
- Lifted Bayesian Filtering in Multiset Rewriting Systems (Q5139603) (← links)
- A Convenient Category for Higher-Order Probability Theory (Q5144684) (← links)
- (Q5214205) (← links)
- (Q5361277) (← links)
