Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(5)
Approximate Algorithm
Binary Decision Diagram
Biological Network
Logic Programs
Link Discovery
Related Publications
(13)
Probabilistic datalog: Implementing logical information retrieval for advanced applications
GraphBased Algorithms for Boolean Function Manipulation
Link Discovery in Graphs Derived from Biological Databases
Abducing through negation as failure: stable models within the independent choice logic
Logic Programming, Abduction and Probability
Subscribe
Academic
Publications
ProbLog: A Probabilistic Prolog and Its Application in Link Discovery
ProbLog: A Probabilistic Prolog and Its Application in Link Discovery,Luc De Raedt,Angelika Kimmig,Hannu Toivonen
Edit
ProbLog: A Probabilistic Prolog and Its Application in Link Discovery
(
Citations: 65
)
BibTex

RIS

RefWorks
Download
Luc De Raedt
,
Angelika Kimmig
,
Hannu Toivonen
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 sam pled program, and these probabilities are mutually independent. The semantics of ProbLog is then de fined by the success probability of a query, which corresponds to the probability that the query suc ceeds in a randomly sampled program. The key contribution of this paper is the introduction of an effective solver for computing success probabili ties. It essentially combines SLDresolution 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 re port on experiments in the context of discovering links in real biological networks, a demonstration of the practical usefulness of the approach.
Conference:
International Joint Conference on Artificial Intelligence  IJCAI
, pp. 24622467, 2007
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
ijcai.org
)
(
lirias.kuleuven.be
)
(
www.cs.kuleuven.be
)
(
www.informatik.unitrier.de
)
(
dli.iiit.ac.in
)
(
wise.vub.ac.be
)
(
www.cs.helsinki.fi
)
(
www.cs.kuleuven.be
)
(
www.aaai.org
)
(
www.ijcai.org
)
(
www.cs.helsinki.fi
)
(
www.ijcai.org
)
(
reference.kfupm.edu.sa
)
More »
Citation Context
(45)
...is closely related to other probabilistic logic programming systems, such as PRISM (Sato and Kameya 1997), ICL (Poole 1997), and ProbLog (
De Raedt et al. 2007
), that are based on Sato’s distribution semantics (Sato 1995)...
...Instead, we present an efficient approach for computing P( It+1  I[0,t]) without explicitly enumerating all selections yielding It+1, which is strongly related to the inference technique discussed in
De Raedt et al. (2007)
...
...The resulting algorithm is strongly related to the algorithm for inference in ProbLog theories (
De Raedt et al. 2007
), and will now be described in detail...
Ingo Thon
,
et al.
Stochastic relational processes: Efficient inference and applications
...ICL (Poole 1997), PRISM (Sato and Kameya 2001, 2008) and more recently ProbLog (
De Raedt et al. 2007
), employ logical rules, i.e...
...the set of Herbrand interpretations (Sato and Kameya 2001;
De Raedt et al.2007
)...
Taisuke Sato
,
et al.
Constraintbased probabilistic modeling for statistical abduction
...ProbLog typically computes the probability of the existence of a path between two nodes [
4
]...
Theofrastos Mantadelis
,
et al.
Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with P...
...There are also other Prolog implementations available where the probability processing extensions can be consulted as libraries without changing the engine itself [
21
]...
Kemal Kaplan
,
et al.
Expert system design for an Autonomous Driver Evaluation System
...This idea also forms the foundation for Prism [29,30], which has concentrated on learning, and for Problog [
4
], a project to build an efficient and flexible language...
David Poole
.
Logic, Probability and Computation: Foundations and Issues of Statisti...
References
(13)
Markov logic networks
(
Citations: 438
)
Matthew Richardson
,
Pedro Domingos
Journal:
Machine Learning  ML
, vol. 62, no. 12, pp. 107136, 2006
Probabilistic Logic Programs and their Semantics
(
Citations: 7
)
Evgeny Dantsin
Conference:
Logic Programming and Automated Reasoning/Russian Conference on Logic Programming  LPAR(RCLP)
, pp. 152164, 1991
Association of genes to genetically inherited diseases using data mining
(
Citations: 160
)
C. Pereziratxeta
,
P. Bork
,
M. A. Andrade
Published in 2002.
Probabilistic datalog: Implementing logical information retrieval for advanced applications
(
Citations: 64
)
Norbert Fuhr
Journal:
Journal of The American Society for Information Science and Technology  JASIS
, vol. 51, no. 2, pp. 95110, 2000
Probabilistic Horn Abduction and Bayesian Networks
(
Citations: 346
)
David Poole
Journal:
Artificial Intelligence  AI
, vol. 64, no. 1, pp. 81129, 1993
Sort by:
Citations
(65)
Stochastic relational processes: Efficient inference and applications
Ingo Thon
,
Niels Landwehr
,
Luc De Raedt
Journal:
Machine Learning  ML
, vol. 82, no. 2, pp. 239272, 2011
Constraintbased probabilistic modeling for statistical abduction
Taisuke Sato
,
Masakazu Ishihata
,
Katsumi Inoue
Journal:
Machine Learning  ML
, vol. 83, no. 2, pp. 241264, 2011
Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog
Theofrastos Mantadelis
,
Koosha Paridel
,
Gerda Janssens
,
Yves Vanrompay
,
Yolande Berbers
Conference:
Practical Aspects of Declarative Languages  PADL
, pp. 3437, 2011
Expert system design for an Autonomous Driver Evaluation System
Kemal Kaplan
,
H. Levent Akin
Conference:
Intelligent Vehicle, IEEE Symposium  IV
, pp. 314319, 2011
Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI
David Poole
Conference:
Logic Programming and Nonmonotonic Reasoning  LPNMR
, pp. 19, 2011