ProbLog: A probabilistic prolog and its application in link discovery

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 2468-2473

  De Raedt, Luc ^a,b   Kimmig, Angelika ^a   Toivonen, Hannu ^a,c  

^a UNIVERSITY OF FREIBURG   (Germany)

^b UNIVERSITY OF LEUVEN   (Belgium)

^c UNIVERSITY OF HELSINKI   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGICAL NETWORKS; BOOLEAN FORMULAE; ITERATIVE DEEPENING; ITS APPLICATIONS; LOGIC PROGRAMS; MUTUALLY INDEPENDENTS; PROBABILISTIC EXTENSION; SLD-RESOLUTION;

APPROXIMATION ALGORITHMS; ARTIFICIAL INTELLIGENCE; BINARY DECISION DIAGRAMS; BOOLEAN ALGEBRA; ITERATIVE METHODS; LOGIC PROGRAMMING; PROBABILITY DISTRIBUTIONS; SEMANTICS;

PROLOG (PROGRAMMING LANGUAGE);

EID: 84880905111     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. R.E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Trans. Computers, 35(8):677-691, 1986.
2. E. Dantsin. Probabilistic logic programs and their semantics. In Andrei Voronkov, editor, Proc. 1st Russian Conf. on Logic Programming, volume 592 of LNCS, pages 152-164. Springer, 1991.
3. P.A. Flach. Simply Logical: Intelligent Reasoning by Example. John Wiley, 1994.
4. N. Fuhr. Probabilistic datalog: Implementing logical information retrieval for advanced applications. Journal of the American Society for Information Science, 51:95-110, 2000. (Pubitemid 30527156)
5. T. Luo and K.S. Trivedi. An improved algorithm for coherent-system reliability. IEEE Transactions on Reliability, 47(1):73-78, 1998. (Pubitemid 128739370)
6. S. H Muggleton. Stochastic logic programs. In L. De Raedt, editor, Advances in Inductive Logic Programming. IOS Press, 1996.
7. C. Perez-Iratxeta, P. Bork, and M.A Andrade. Association of genes to genetically inherited diseases using data mining. Nature Genetics, 31:316-319, 2002.
8. D. Poole. Logic programming, abduction and probability. In Fifth Generation Computing Systems, pages 530-538, 1992.
9. D. Poole. Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence, 64:81-129, 1993.
10. M. Richardson and P. Domingos. Markov logic networks. Machine Learning, 62:107-136, 2006. (Pubitemid 43202307)
11. T. Sato and Y. Kameya. Parameter learning of logic programs for symbolic-statistical modeling. Journal of AI Research, 15:391-454, 2001.
12. P. Sevon, L. Eronen, P. Hintsanen, K. Kulovesi, and H. Toivonen. Link discovery in graphs derived from biological databases. In Data Integration in the Life Sciences 2006, volume 4075 of LNBI, pages 35-49, 2006. Springer.
13. L.G. Valiant. The complexity of enumeration and reliability problems. SIAM Journal of Computing, 8:410-411, 1979.