A probabilistic powerdomain of evaluations
Proceedings of the Fourth Annual Symposium on Logic in computer science
Machine Learning
Embedded Probabilistic Programming
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
PRISM: a language for symbolic-statistical modeling
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
IBAL: a probabilistic rational programming language
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
BLOG: probabilistic models with unknown objects
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
The independent choice logic and beyond
Probabilistic inductive logic programming
Probabilistic Graphical Models: Principles and Techniques - Adaptive Computation and Machine Learning
On the implementation of the probabilistic logic programming language problog
Theory and Practice of Logic Programming
Noncomputable Conditional Distributions
LICS '11 Proceedings of the 2011 IEEE 26th Annual Symposium on Logic in Computer Science
Synthesizing open worlds with constraints using locally annealed reversible jump MCMC
ACM Transactions on Graphics (TOG) - SIGGRAPH 2012 Conference Proceedings
On coinductive equivalences for higher-order probabilistic functional programs
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
| Hi-index | 0.00 |