Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Probabilistic Horn abduction and Bayesian networks
Artificial Intelligence
Selected papers of international conference on Fifth generation computer systems 92
ProbView: a flexible probabilistic database system
ACM Transactions on Database Systems (TODS)
Probabilistic Datalog: implementing logical information retrieval for advanced applications
Journal of the American Society for Information Science
Probabilistic Logic Programs and their Semantics
Proceedings of the First Russian Conference on Logic Programming
Efficient query evaluation on probabilistic databases
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Compressing probabilistic Prolog programs
Machine Learning
Probabilistic Explanation Based Learning
ECML '07 Proceedings of the 18th European conference on Machine Learning
A Top Down Interpreter for LPAD and CP-Logic
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Parameter Learning in Probabilistic Databases: A Least Squares Approach
ECML PKDD '08 Proceedings of the 2008 European Conference on Machine Learning and Knowledge Discovery in Databases - Part I
Parameter learning of logic programs for symbolic-statistical modeling
Journal of Artificial Intelligence Research
ProbLog: a probabilistic prolog and its application in link discovery
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
CLP(BN): constraint logic programming for probabilistic knowledge
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Link discovery in graphs derived from biological databases
DILS'06 Proceedings of the Third international conference on Data Integration in the Life Sciences
Variable compression in ProbLog
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Analysing a publish/subscribe system for mobile ad hoc networks with ProbLog
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
On the implementation of the probabilistic logic programming language problog
Theory and Practice of Logic Programming
Approximate inference for logic programs with annotated disjunctions
ILP'10 Proceedings of the 20th international conference on Inductive logic programming
ILP'10 Proceedings of the 20th international conference on Inductive logic programming
Extending probLog with continuous distributions
ILP'10 Proceedings of the 20th international conference on Inductive logic programming
Probabilistic rule learning in nonmonotonic domains
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Compact lists for tabled evaluation
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Theory and Practice of Logic Programming - Prolog Systems
Improving robustness and flexibility of concept taxonomy learning from text
NFMCP'12 Proceedings of the First international conference on New Frontiers in Mining Complex Patterns
Expectation maximization over binary decision diagrams for probabilistic logic programs
Intelligent Data Analysis
| Hi-index | 0.00 |
The past few years have seen a surge of interest in the field of probabilistic logic learning or statistical relational learning. In this endeavor, many probabilistic logics have been developed. ProbLog is a recent probabilistic extension of Prolog motivated by the mining of large biological networks. In ProbLog, facts can be labeled with mutually independent probabilities that they belong to a randomly sampled program. Different kinds of queries can be posed to ProbLog programs. We introduce algorithms that allow the efficient execution of these queries, discuss their implementation on top of the YAP-Prolog system, and evaluate their performance in the context of large networks of biological entities.