Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: A Compilation Target for Probabilistic Programming Languages
IBAL: A Probabilistic Rational Programming Language
Accelerating search-based program synthesis using learned probabilistic models
Conditioning in first-order knowledge compilation and lifted probabilistic inference
Pyro: Deep Universal Probabilistic Programming
Venture: a higher-order probabilistic programming platform with programmable inference
BayesDB: A probabilistic programming system for querying the probable implications of data
Bayesian Optimization for Probabilistic Programs
Figaro : An Object-Oriented Probabilistic Programming Language
Pragmatic Language Interpretation as Probabilistic Inference
Bayesian Abductive Logic Programs: A Probabilistic Logic for Abductive Reasoning
Picture: A probabilistic programming language for scene perception
DeepProbLog: Neural Probabilistic Logic Programming
GNU Prolog: Beyond Compiling Prolog to C
Formal verification of higher-order probabilistic programs
Gen: a general-purpose probabilistic programming system with programmable inference
A tractable first-order probabilistic logic
Inference and learning in probabilistic logic programs using weighted Boolean formulas
RankPL: A Qualitative Probabilistic Programming Language
Slice Sampling for Probabilistic Programming
Planning by Probabilistic Inference
Bayesian Logic Programming: Theory and Tool
BIMQL - An open query language for building information models
Domain Adaptation for Named Entity Recognition Using CRFs
Mass casualty management after a suicidal terrorist attack on a religious procession in Quetta, Pakistan
Towards a Design Philosophy for Interoperable Blockchain Systems