Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
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
Communications of the ACM
Term Indexing
Probabilistic Logic Programs and their Semantics
Proceedings of the First Russian Conference on Logic Programming
Associative-Commutative Discrimination Nets
TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Stochastic Logic Programs: Sampling, Inference and Applications
UAI '00 Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence
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
On the Efficient Execution of ProbLog Programs
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
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
Local query mining in a probabilistic prolog
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Demand-driven indexing of prolog clauses
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Probabilistic inductive logic programming: theory and applications
Probabilistic inductive logic programming: theory and applications
Basic principles of learning Bayesian logic programs
Probabilistic inductive logic programming
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
Prolog performance on larger datasets
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
PRONTO: support for real-time decision making
Proceedings of the 5th ACM international conference on Distributed event-based system
Generalising the interaction rules in probabilistic logic
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Event processing under uncertainty
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
Run-time composite event recognition
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
Patterns and logic for reasoning with networks
Bisociative Knowledge Discovery
Link and node prediction in metabolic networks with probabilistic logic
Bisociative Knowledge Discovery
The principles and practice of probabilistic programming
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Event recognition for assisted independent living
Proceedings of the 6th International Conference on PErvasive Technologies Related to Assistive Environments
MCMC estimation of conditional probabilities in probabilistic programming languages
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
BUNDLE: a reasoner for probabilistic ontologies
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Complex event processing over distributed probabilistic event streams
Computers & Mathematics with Applications
MCINTYRE: A Monte Carlo System for Probabilistic Logic Programming
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
| Hi-index | 0.00 |
The past few years have seen a surge of interest in the field of probabilistic logic learning and 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 probabilities. These facts are treated as mutually independent random variables that indicate whether these facts 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.