Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Probabilistic Horn abduction and Bayesian networks
Artificial Intelligence
Simply logical: intelligent reasoning by example
Simply logical: intelligent reasoning by example
Selected papers of international conference on Fifth generation computer systems 92
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
Machine Learning
Parameter learning of logic programs for symbolic-statistical modeling
Journal of Artificial Intelligence Research
Link discovery in graphs derived from biological databases
DILS'06 Proceedings of the Third international conference on Data Integration in the Life Sciences
Compressing probabilistic Prolog programs
Machine Learning
Revising Probabilistic Prolog Programs
Inductive Logic Programming
Probabilistic Explanation Based Learning
ECML '07 Proceedings of the 18th European conference on Machine Learning
Structure Learning of Probabilistic Relational Models from Incomplete Relational Data
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
A Simple Model for Sequences of Relational State Descriptions
ECML PKDD '08 Proceedings of the European conference on Machine Learning and Knowledge Discovery in Databases - Part II
Using OBDDs for Efficient Query Evaluation on Probabilistic Databases
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Learning Ground CP-Logic Theories by Leveraging Bayesian Network Learning Techniques
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
The Life of a Logic Programming System
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
On the Efficient Execution of ProbLog Programs
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Revising imprecise probabilistic beliefs in the framework of probabilistic logic programming
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Cp-logic: A language of causal probabilistic events and its relation to logic programming
Theory and Practice of Logic Programming
PrDB: managing and exploiting rich correlations in probabilistic databases
The VLDB Journal — The International Journal on Very Large Data Bases
Evaluating abductive hypotheses using an EM algorithm on BDDs
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Local query mining in a probabilistic prolog
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Query Evaluation on Probabilistic RDF Databases
WISE '09 Proceedings of the 10th International Conference on Web Information Systems Engineering
A ligand predication tool based on modeling and reasoning with imprecise probabilistic knowledge
Computer Methods and Programs in Biomedicine
New advances in logic-based probabilistic modeling by PRISM
Probabilistic inductive logic programming
CLP(BN): constraint logic programming for probabilistic knowledge
Probabilistic inductive logic programming
On probabilistic fixpoint and Markov chain query languages
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Analyzing graph databases by aggregate queries
Proceedings of the Eighth Workshop on Mining and Learning with Graphs
The Knowledge Engineering Review
Logic–based decision support for strategic environmental assessment
Theory and Practice of Logic Programming
SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
Don't fear optimality: sampling for probabilistic-logic sequence models
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
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
Model failure and context switching using logic-based stochastic
Journal of Computer Science and Technology
On the implementation of the probabilistic logic programming language problog
Theory and Practice of Logic Programming
Descriptive modelling of text classification and its integration with other IR tasks
Proceedings of the 34th international ACM SIGIR conference on Research and development in Information Retrieval
Logic, probability and computation: foundations and issues of statistical relational AI
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
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
Adaptive dialogue strategy selection through imprecise probabilistic query answering
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Learning the parameters of probabilistic logic programs from interpretations
ECML PKDD'11 Proceedings of the 2011 European conference on Machine learning and knowledge discovery in databases - Volume Part I
A descriptive approach to classification
ICTIR'11 Proceedings of the Third international conference on Advances in information retrieval theory
On the implementation of the CLP(BN) language
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Fast discovery of reliable k-terminal subgraphs
PAKDD'10 Proceedings of the 14th Pacific-Asia conference on Advances in Knowledge Discovery and Data Mining - Volume Part II
Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
Annals of Mathematics and Artificial Intelligence
k-Optimal: a novel approximate inference algorithm for ProbLog
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Learning the structure of probabilistic logic programs
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Variational bayes inference for logic-based probabilistic models on BDDs
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Machine learning a probabilistic network of ecological interactions
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Probabilistic termination of CHRiSM programs
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Patterns and logic for reasoning with networks
Bisociative Knowledge Discovery
BiQL: a query language for analyzing information networks
Bisociative Knowledge Discovery
Review of bisonet abstraction techniques
Bisociative Knowledge Discovery
Learning Ground CP-Logic Theories by Leveraging Bayesian Network Learning Techniques
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
Mining frequent subgraphs over uncertain graph databases under probabilistic semantics
The VLDB Journal — The International Journal on Very Large Data Bases
Ontology-based access to probabilistic data with OWL QL
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Inference in probabilistic logic programs with continuous random variables
Theory and Practice of Logic Programming
Model checking with probabilistic tabled logic programming
Theory and Practice of Logic Programming
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
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems
ACM Transactions on Computational Logic (TOCL)
Programming with personalized pagerank: a locally groundable first-order probabilistic logic
Proceedings of the 22nd ACM international conference on Conference on information & knowledge management
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
Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Inference for a new probabilistic constraint logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
MCINTYRE: A Monte Carlo System for Probabilistic Logic Programming
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Expectation maximization over binary decision diagrams for probabilistic logic programs
Intelligent Data Analysis
Hi-index | 0.00 |
We introduce ProbLog, a probabilistic extension of Prolog. A ProbLog program defines a distribution over logic programs by specifying for each clause the probability that it belongs to a randomly sampled program, and these probabilities are mutually independent. The semantics of ProbLog is then defined by the success probability of a query, which corresponds to the probability that the query succeeds in a randomly sampled program. The key contribution of this paper is the introduction of an effective solver for computing success probabilities. It essentially combines SLD-resolution with methods for computing the probability of Boolean formulae. Our implementation further employs an approximation algorithm that combines iterative deepening with binary decision diagrams. We report on experiments in the context of discovering links in real biological networks, a demonstration of the practical usefulness of the approach.