-
1
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
8
-
Bryant, R. E. (1986). Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, 35(8), 677-691.
-
(1986)
IEEE Transactions on Computers
, vol.35
, pp. 677-691
-
-
Bryant, R.E.1
-
4
-
-
84880905111
-
ProbLog: A probabilistic Prolog and its application in link discovery
-
AAAI Press Menlo Park
-
De Raedt, L., Kimmig, A., & Toivonen, H. (2007). ProbLog: a probabilistic Prolog and its application in link discovery. In M. Veloso (Ed.), Proceedings of the 20th international joint conference on artificial intelligence (pp. 2468-2473). Menlo Park: AAAI Press.
-
(2007)
Proceedings of the 20th International Joint Conference on Artificial Intelligence
, pp. 2468-2473
-
-
De Raedt, L.1
Kimmig, A.2
Toivonen, H.3
Veloso, M.4
-
6
-
-
0033878293
-
Probabilistic datalog: Implementing logical information retrieval for advanced applications
-
Fuhr, N. (2000). Probabilistic datalog: implementing logical information retrieval for advanced applications. Journal of the American Society for Information Science, 51, 95-110.
-
(2000)
Journal of the American Society for Information Science
, vol.51
, pp. 95-110
-
-
Fuhr, N.1
-
8
-
-
0027652460
-
Bias-driven revision of logical domain theories
-
Koppel, M., Feldman, R., & Segre, A. M. (1994). Bias-driven revision of logical domain theories. Journal of Artificial Intelligence Research, 1, 159-208.
-
(1994)
Journal of Artificial Intelligence Research
, vol.1
, pp. 159-208
-
-
Koppel, M.1
Feldman, R.2
Segre, A.M.3
-
9
-
-
84880877501
-
Compiling Bayesian networks by symbolic probability calculation based on zero-suppressed BDDs
-
AAAI Press Menlo Park
-
Minato, S., Satoh, K., & Sato, T. (2007). Compiling Bayesian networks by symbolic probability calculation based on zero-suppressed BDDs. In M. Veloso (Ed.), Proceedings of the 20th international joint conference on artificial intelligence (pp. 2550-2555). Menlo Park: AAAI Press.
-
(2007)
Proceedings of the 20th International Joint Conference on Artificial Intelligence
, pp. 2550-2555
-
-
Minato, S.1
Satoh, K.2
Sato, T.3
Veloso, M.4
-
11
-
-
0036649742
-
Association of genes to genetically inherited diseases using data mining
-
Perez-Iratxeta, C., Bork, P., & Andrade, M. A. (2002). Association of genes to genetically inherited diseases using data mining. Nature Genetics, 31, 316-319.
-
(2002)
Nature Genetics
, vol.31
, pp. 316-319
-
-
Perez-Iratxeta, C.1
Bork, P.2
Andrade, M.A.3
-
12
-
-
18544362365
-
Logic programming, abduction and probability
-
Poole, D. (1992). Logic programming, abduction and probability. In Fifth generation computing systems (pp. 530-538).
-
(1992)
Fifth Generation Computing Systems
, pp. 530-538
-
-
Poole, D.1
-
13
-
-
0027702434
-
Probabilistic Horn abduction and Bayesian networks
-
Poole, D. (1993). Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence, 64, 81-129.
-
(1993)
Artificial Intelligence
, vol.64
, pp. 81-129
-
-
Poole, D.1
-
14
-
-
4444281941
-
Parameter learning of logic programs for symbolic-statistical modeling
-
Sato, T., & Kameya, Y. (2001). Parameter learning of logic programs for symbolic-statistical modeling. Journal of AI Research, 15, 391-454.
-
(2001)
Journal of AI Research
, vol.15
, pp. 391-454
-
-
Sato, T.1
Kameya, Y.2
-
15
-
-
33746760086
-
Link discovery in graphs derived from biological databases
-
Springer Berlin
-
Sevon, P., Eronen, L., Hintsanen, P., Kulovesi, K., & Toivonen, H. (2006). Link discovery in graphs derived from biological databases. In U. Leser, F. Naumann, & B. Eckman (Eds.), Lecture notes in bioinformatics : Vol. 4075. Data integration in the life sciences 2006. Berlin: Springer.
-
(2006)
Data Integration in the Life Sciences 2006 Lecture Notes in Bioinformatics
, vol.4075
-
-
Sevon, P.1
Eronen, L.2
Hintsanen, P.3
Kulovesi, K.4
Toivonen, H.5
Leser, U.6
Naumann, F.7
Eckman, B.8
-
16
-
-
0000142982
-
The complexity of enumeration and reliability problems
-
Valiant, L. G. (1979). The complexity of enumeration and reliability problems. SIAM Journal of Computing, 8, 410-411.
-
(1979)
SIAM Journal of Computing
, vol.8
, pp. 410-411
-
-
Valiant, L.G.1
|