Add to ORKGAbstract. Inference in probabilistic logic languages such as ProbLog, an extension of Prolog with probabilistic facts, is often based on a reduc-tion to a propositional formula in DNF. Calculating the probability of such a formula involves the disjoint-sum-problem, which is computation-ally hard. In this work we introduce a new approximation method for ProbLog inference which exploits the DNF to focus sampling. While this DNF sampling technique has been applied to a variety of tasks before, to the best of our knowledge it has not been used for inference in probabilis-tic logic systems. The paper also presents an experimental comparison with another sampling based inference method previously introduced for ProbLog.
When doing inference in ProbLog, a probabilistic extension of Prolog, we extend SLD resolution with ...
We introduce ProbLog, a probabilistic extension of Prolog. A ProbLog program defines a distribution ...
The ProbLog (probabilistic prolog) language has been introduced in [1], where various algorithms hav...
Inference in probabilistic logic languages such as ProbLog, an extension of Prolog with probabilisti...
ProbLog is a probabilistic extension of Prolog. Given the complexity of exact inference under ProbLo...
ProbLog is a probabilistic extension of Prolog. Given the complexity of exact inference under ProbLo...
Logic is the fundament of many Artificial Intelligence (A.I.) systems as it provides an intuitive me...
Abstract. In a recently submitted paper [1], the ProbLog (probabilistic prolog) language has been in...
ProbLog is a recently introduced probabilistic extension of Prolog (De Raedt, et al. in Proceedings ...
In state-of-the-art probabilistic logic and learning frameworks, such as ProbLog, inference is reduc...
The past few years have seen a surge of interest in the field of probabilistic logic learning and ...
We introduce First Order ProbLog, an extension of first order logic with soft constraints where form...
The past few years have seen a surge of interest in the field of probabilistic logic learning and st...
We introduce ProbLog, a probabilistic extension of Prolog. A ProbLog program defines a distribution ...
In this paper we describe a novel declarative approach to data generation based on probabilistic log...
When doing inference in ProbLog, a probabilistic extension of Prolog, we extend SLD resolution with ...
We introduce ProbLog, a probabilistic extension of Prolog. A ProbLog program defines a distribution ...
The ProbLog (probabilistic prolog) language has been introduced in [1], where various algorithms hav...
Inference in probabilistic logic languages such as ProbLog, an extension of Prolog with probabilisti...
ProbLog is a probabilistic extension of Prolog. Given the complexity of exact inference under ProbLo...
ProbLog is a probabilistic extension of Prolog. Given the complexity of exact inference under ProbLo...
Logic is the fundament of many Artificial Intelligence (A.I.) systems as it provides an intuitive me...
Abstract. In a recently submitted paper [1], the ProbLog (probabilistic prolog) language has been in...
ProbLog is a recently introduced probabilistic extension of Prolog (De Raedt, et al. in Proceedings ...
In state-of-the-art probabilistic logic and learning frameworks, such as ProbLog, inference is reduc...
The past few years have seen a surge of interest in the field of probabilistic logic learning and ...
We introduce First Order ProbLog, an extension of first order logic with soft constraints where form...
The past few years have seen a surge of interest in the field of probabilistic logic learning and st...
We introduce ProbLog, a probabilistic extension of Prolog. A ProbLog program defines a distribution ...
In this paper we describe a novel declarative approach to data generation based on probabilistic log...
When doing inference in ProbLog, a probabilistic extension of Prolog, we extend SLD resolution with ...
We introduce ProbLog, a probabilistic extension of Prolog. A ProbLog program defines a distribution ...
The ProbLog (probabilistic prolog) language has been introduced in [1], where various algorithms hav...