-
1
-
-
0031122218
-
Algebraic Decision Diagrams and Their Applications
-
Bahar, R.; Frohm, E.; Gaona, C.; Hachtel, G.; Macii, E.; Pardo, A.; and Somenzi, F. 1997. Algebraic Decision Diagrams and Their Applications. Formal Methods in System Design 10:171-206.
-
(1997)
Formal Methods in System Design
, vol.10
, pp. 171-206
-
-
Bahar, R.1
Frohm, E.2
Gaona, C.3
Hachtel, G.4
Macii, E.5
Pardo, A.6
Somenzi, F.7
-
3
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
Bryant, R. 1986. Graph-based algorithms for boolean function manipulation. IEEE Transactions on computers 35(8):677-691.
-
(1986)
IEEE Transactions on computers
, vol.35
, Issue.8
, pp. 677-691
-
-
Bryant, R.1
-
5
-
-
52449101351
-
-
eds. Springer
-
De Raedt, L.; Frasconi, P.; Kersting, K.; and Muggleton, S., eds. 2008. Probabilistic Inductive Logic Programming - Theory and Applications, volume 4911 of Lecture Notes in Computer Science. Springer.
-
(2008)
Probabilistic Inductive Logic Programming - Theory and Applications, volume 4911 of Lecture Notes in Computer Science
-
-
De Raedt, L.1
Frasconi, P.2
Kersting, K.3
Muggleton, S.4
-
6
-
-
84880905111
-
ProbLog: A probabilistic Prolog and its application in link discovery
-
De Raedt, L.; Kimmig, A.; and Toivonen, H. 2007. ProbLog: A probabilistic Prolog and its application in link discovery. In Proceedings of IJCAI, 2462-2467.
-
(2007)
Proceedings of IJCAI
, pp. 2462-2467
-
-
De Raedt, L.1
Kimmig, A.2
Toivonen, H.3
-
12
-
-
77958561600
-
On the efficient execution of ProbLog programs
-
Kimmig, A.; Santos Costa, V.; Rocha, R.; Demoen, B.; and De Raedt, L. 2008. On the efficient execution of ProbLog programs. In Proceedings of ICLP.
-
(2008)
Proceedings of ICLP
-
-
Kimmig, A.1
Santos Costa, V.2
Rocha, R.3
Demoen, B.4
De Raedt, L.5
-
13
-
-
68049145833
-
A Language for Relational Decision Theory
-
Nath, A., and Domingos, P. 2009. A Language for Relational Decision Theory. In Proceedings of SRL.
-
(2009)
Proceedings of SRL
-
-
Nath, A.1
Domingos, P.2
-
14
-
-
84880881676
-
IBAL: A probabilistic rational programming language
-
Pfeffer, A. 2001. IBAL: A probabilistic rational programming language. In Proceedings of IJCAI, volume 17, 733-740.
-
(2001)
Proceedings of IJCAI
, vol.17
, pp. 733-740
-
-
Pfeffer, A.1
-
15
-
-
0031187203
-
The independent choice logic for modelling multiple agents under uncertainty
-
Poole, D. 1997. The independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence 94(1-2):7-56.
-
(1997)
Artificial Intelligence
, vol.94
, Issue.1-2
, pp. 7-56
-
-
Poole, D.1
-
16
-
-
0242456823
-
Mining knowledge-sharing sites for viral marketing
-
Richardson, M., and Domingos, P. 2002. Mining knowledge-sharing sites for viral marketing. In Proceedings of KDD, 61.
-
(2002)
Proceedings of KDD
, vol.61
-
-
Richardson, M.1
Domingos, P.2
-
18
-
-
60549103706
-
Practical solution techniques for first-order MDPs
-
Sanner, S., and Boutilier, C. 2009. Practical solution techniques for first-order MDPs. Artificial Intelligence 173(5-6):748-788.
-
(2009)
Artificial Intelligence
, vol.173
, Issue.5-6
, pp. 748-788
-
-
Sanner, S.1
Boutilier, C.2
-
19
-
-
22944492294
-
A statistical learning method for logic programs with distribution semantics
-
Sato, T. 1995. A statistical learning method for logic programs with distribution semantics. In Proceedings of ICLP, 715-729.
-
(1995)
Proceedings of ICLP
, pp. 715-729
-
-
Sato, T.1
|