On the efficient execution of problog programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5366 LNCS, Issue , 2008, Pages 175-189

  Kimmig, Angelika ^a   Santos Costa, Vítor ^b   Rocha, Ricardo ^b   Demoen, Bart ^a   De Raedt, Luc ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; LOGIC PROGRAMMING; PROBABILISTIC LOGICS; PROGRAMMING THEORY; BIOINFORMATICS;

BIOLOGICAL ENTITIES; BIOLOGICAL NETWORKS; LARGE NETWORKS;

PROLOG (PROGRAMMING LANGUAGE);

BIOLOGICAL ENTITIES; BIOLOGICAL NETWORKS; LARGE NETWORKS; MUTUALLY INDEPENDENTS; PROBABILISTIC EXTENSION; PROLOG SYSTEMS; STATISTICAL RELATIONAL LEARNING;

EID: 58549084036     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89982-2_22     Document Type: Conference Paper

References (22)

1. Poole, D.: Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence 64, 81-129 (1993)
2. Sato, T., Kameya, Y.: Parameter learning of logic programs for symbolic-statistical modeling. J. Artif. Intell. Res. (JAIR) 15, 391-454 (2001)
3. Muggleton, S.: Stochastic logic programs. In: De Raedt, L. (ed.) ILP (1995)
4. Lakshmanan, L.V.S., Leone, N., Ross, R.B., Subrahmanian, V.S.: Prob View: A flexible probabilistic database system. ACM Trans. Database Syst. 22(3), 419-469 (1997)
5. Santos Costa, V., Page, D., Qazi, M., Cussens, J.: CLP(BN): constraint logic programming for probabilistic knowledge. In: Meek, C., Kjærulff, U. (eds.) UAI, pp. 517-524. Morgan Kaufmann, San Francisco (2003)
6. Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 431-445. Springer, Heidelberg (2004)
7. Widom, J.: Trio: A system for integrated management of data, accuracy, and lineage. In: CIDR, pp. 262-276 (2005)
8. Fuhr, N.: Probabilistic Datalog: Implementing logical information retrieval for advanced applications. JASIS 51(2), 95-110 (2000)
9. Dalvi, N.N., Suciu, D.: Efficient query evaluation on probabilistic databases. In: Nascimento, M.A., Özsu, M.T., Kossmann, D., Miller, R.J., Blakeley, J.A., Schiefer, K.B. (eds.) VLDB, pp. 864-875. Morgan Kaufmann, San Francisco (2004)
10. De Raedt, L., Kimmig, A., Toivonen, H.: Prob Log: A probabilistic Prolog and its application in link discovery. In: Veloso, M.M. (ed.) IJCAI, pp. 2462-2467 (2007)
11. Sevon, P., Eronen, L., Hintsanen, P., Kulovesi, K., Toivonen, H.: Link discovery in graphs derived from biological databases. In: Leser, U., Naumann, F., Eckman, B.A. (eds.) DILS 2006. LNCS (LNBI), vol. 4075, pp. 35-49. Springer, Heidelberg (2006)
12. Sato, T.: A statistical learning method for logic programs with distribution semantics. In: Sterling, L. (ed.) ICLP, pp. 715-729. MIT Press, Cambridge (1995)
13. Dantsin, E.: Probabilistic logic programs and their semantics. In: Voronkov, A. (ed.) RCLP 1990 and RCLP 1991. LNCS, vol. 592, pp. 152-164. Springer, Heidelberg (1992)
14. Poole, D.: Abducing through negation as failure: stable models within the independent choice logic. J. Log. Program. 44(1-3), 5-35 (2000)
15. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Computers 35(8), 677-691 (1986)
16. Poole, D.: Logic programming, abduction and probability. New Generation Computing 11, 377-400 (1993)
17. Kimmig, A., De Raedt, L., Toivonen, H.: Probabilistic explanation based learning. In: Kok, J.N., Koronacki, J., de Mántaras, R.L., Matwin, S., Mladenic, D., Skowron, A. (eds.) ECML 2007. LNCS, vol. 4701, pp. 176-187. Springer, Heidelberg (2007)
18. Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Berlin (1989)
19. Gutmann, B., Kimmig, A., Kersting, K., De Raedt, L.: Parameter learning in probabilistic databases: A least squares approach. In: Daelemans, W., Goethals, B., Morik, K. (eds.) ECML PKDD 2008, Part I. LNCS, vol. 5211, pp. 473-488. Springer, Heidelberg (2008)
20. De Raedt, L., Kersting, K., Kimmig, A., Revoredo, K., Toivonen, H.: Compressing probabilistic Prolog programs. Machine Learning 70(2-3), 151-168 (2008)
21. Kimmig, A., De Raedt, L.: Probabilistic local pattern mining. In: ILP (2008)
22. *IA 2007. LNCS, vol. 4733, pp. 109-120. Springer, Heidelberg (2007)