-
1
-
-
0003451565
-
-
Macmillan, London available on project Gutemberg at
-
Boole, G.: An Investigation on the Laws of Thought. Macmillan, London (1854), available on project Gutemberg at http://www.gutenberg.org/etext/15114
-
(1854)
An Investigation on the Laws of Thought
-
-
Boole, G.1
-
2
-
-
45749085681
-
Z3: An efficient SMT solver
-
Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. Springer, Heidelberg
-
de Moura, L., Bjørner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337-340. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4963
, pp. 337-340
-
-
De Moura, L.1
Bjørner, N.2
-
3
-
-
84864264966
-
SMT-aided combinatorial materials discovery
-
Cimatti, A., Sebastiani, R. (eds.) SAT 2012. Springer, Heidelberg
-
Ermon, S., Le Bras, R., Gomes, C.P., Selman, B., van Dover, R.B.: SMT-aided combinatorial materials discovery. In: Cimatti, A., Sebastiani, R. (eds.) SAT 2012. LNCS, vol. 7317, pp. 172-185. Springer, Heidelberg (2012)
-
(2012)
LNCS
, vol.7317
, pp. 172-185
-
-
Ermon, S.1
Le Bras, R.2
Gomes, C.P.3
Selman, B.4
Van Dover, R.B.5
-
4
-
-
84874907814
-
Probabilistic satisfiability: Logic-based algorithms and phase transition
-
Walsh, T. (ed.) IJCAI/AAAI
-
Finger, M., Bona, G.D.: Probabilistic satisfiability: Logic-based algorithms and phase transition. In: Walsh, T. (ed.) IJCAI, pp. 528-533. IJCAI/AAAI (2011)
-
(2011)
IJCAI
, pp. 528-533
-
-
Finger, M.1
Bona, G.D.2
-
5
-
-
84880688943
-
Learning probabilistic relational models
-
Springer
-
Friedman, N., Getoor, L., Koller, D., Pfeffer, A.: Learning probabilistic relational models. In: IJCAI, pp. 1300-1309. Springer (1999)
-
(1999)
IJCAI
, pp. 1300-1309
-
-
Friedman, N.1
Getoor, L.2
Koller, D.3
Pfeffer, A.4
-
7
-
-
38249032896
-
Probabilistic satisfiability
-
Georgakopoulos, G., Kavvadias, D., Papadimitriou, C.H.: Probabilistic satisfiability. Journal of Complexity 4(1), 1-11 (1988)
-
(1988)
Journal of Complexity
, vol.4
, Issue.1
, pp. 1-11
-
-
Georgakopoulos, G.1
Kavvadias, D.2
Papadimitriou, C.H.3
-
8
-
-
84886064026
-
Solving optimization problems with dll
-
Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) IOS Press
-
Giunchiglia, E., Maratea, M.: Solving optimization problems with dll. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI 2006, pp. 377-381. IOS Press (2006)
-
(2006)
ECAI 2006
, pp. 377-381
-
-
Giunchiglia, E.1
Maratea, M.2
-
9
-
-
76249126889
-
Improved fuel cell oxidation catalysis in pt1-xtax
-
Gregoire, J.M., Tague, M.E., Cahen, S., Khan, S., Abruna, H.D., DiSalvo, F.J., van Dover, R.B.: Improved fuel cell oxidation catalysis in pt1-xtax. Chem. Mater. 22(3), 1080 (2010)
-
(2010)
Chem. Mater.
, vol.22
, Issue.3
, pp. 1080
-
-
Gregoire, J.M.1
Tague, M.E.2
Cahen, S.3
Khan, S.4
Abruna, H.D.5
DiSalvo, F.J.6
Van Dover, R.B.7
-
10
-
-
79551656359
-
A wavelet transform algorithm for peak detection and application to powder x-ray diffraction data
-
Gregoire, J.M., Dale, D., van Dover, R.B.: A wavelet transform algorithm for peak detection and application to powder x-ray diffraction data. Review of Scientific Instruments 82(1), 015105-015105 (2011)
-
(2011)
Review of Scientific Instruments
, vol.82
, Issue.1
, pp. 015105-015105
-
-
Gregoire, J.M.1
Dale, D.2
Van Dover, R.B.3
-
11
-
-
36348946760
-
Probabilistic satisfiability
-
Springer, Netherlands
-
Hansen, P., Jaumard, B.: Probabilistic satisfiability. In: Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 5, p. 321. Springer, Netherlands (2000)
-
(2000)
Handbook of Defeasible Reasoning and Uncertainty Management Systems
, vol.5
, pp. 321
-
-
Hansen, P.1
Jaumard, B.2
-
12
-
-
85168154465
-
Models and algorithms for probabilistic and bayesian logic
-
Hansen, P., Jaumard, B., Nguetsé, G.B.D., de Aragão, M.P.: Models and algorithms for probabilistic and bayesian logic. In: IJCAI, pp. 1862-1868 (1995)
-
(1995)
IJCAI
, pp. 1862-1868
-
-
Hansen, P.1
Jaumard, B.2
Nguetsé, G.B.D.3
De Aragão, M.P.4
-
13
-
-
36348945343
-
Merging the local and global approaches to probabilistic satisfiability
-
Hansen, P., Perron, S.: Merging the local and global approaches to probabilistic satisfiability. Int. J. Approx. Reasoning 47(2), 125-140 (2008)
-
(2008)
Int. J. Approx. Reasoning
, vol.47
, Issue.2
, pp. 125-140
-
-
Hansen, P.1
Perron, S.2
-
15
-
-
84896061157
-
Crowdsourcing backdoor identification for combinatorial optimization
-
Le Bras, R., Bernstein, R., Gomes, C.P., Selman, B.: Crowdsourcing backdoor identification for combinatorial optimization. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (2013)
-
(2013)
Proceedings of the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013
-
-
Le Bras, R.1
Bernstein, R.2
Gomes, C.P.3
Selman, B.4
-
16
-
-
80052985532
-
Constraint reasoning and kernel clustering for pattern decomposition with scaling
-
Lee, J. (ed.) CP 2011. Springer, Heidelberg
-
LeBras, R., Damoulas, T., Gregoire, J.M., Sabharwal, A., Gomes, C.P., van Dover, R.B.: Constraint reasoning and kernel clustering for pattern decomposition with scaling. In: Lee, J. (ed.) CP 2011. LNCS, vol. 6876, pp. 508-522. Springer, Heidelberg (2011), http://dl.acm.org/citation.cfm?id=2041160. 2041202
-
(2011)
LNCS
, vol.6876
, pp. 508-522
-
-
LeBras, R.1
Damoulas, T.2
Gregoire, J.M.3
Sabharwal, A.4
Gomes, C.P.5
Van Dover, R.B.6
-
17
-
-
0027002161
-
Hard and easy distributions of SAT problems
-
Mitchell, D., Selman, B., Levesque, H.: Hard and easy distributions of SAT problems. In: AAAI 1992 - Proceedings of the 10th National Conference on Artificial Intelligence, pp. 459-465 (1992)
-
(1992)
AAAI 1992 - Proceedings of the 10th National Conference on Artificial Intelligence
, pp. 459-465
-
-
Mitchell, D.1
Selman, B.2
Levesque, H.3
-
19
-
-
0022659563
-
Probabilistic logic
-
Nilsson, N.: Probabilistic logic. Artificial Intelligence 28(1), 71-87 (1986)
-
(1986)
Artificial Intelligence
, vol.28
, Issue.1
, pp. 71-87
-
-
Nilsson, N.1
-
20
-
-
38249004688
-
Probabilistic logic revisited
-
Nilsson, N.: Probabilistic logic revisited. Artificial Intelligence 59(1-2), 39-42 (1993)
-
(1993)
Artificial Intelligence
, vol.59
, Issue.1-2
, pp. 39-42
-
-
Nilsson, N.1
-
22
-
-
40349089023
-
Probabilistic Inductive Logic Programming
-
Springer, Heidelberg
-
De Raedt, L., Frasconi, P., Kersting, K., Muggleton, S. (eds.): Probabilistic Inductive Logic Programming. LNCS (LNAI), vol. 4911. Springer, Heidelberg (2008)
-
(2008)
LNCS (LNAI)
, vol.4911
-
-
De Raedt, L.1
Frasconi, P.2
Kersting, K.3
Muggleton, S.4
-
24
-
-
0032510515
-
Discovery of a useful thin-film dielectric using a composition-spread approach
-
Van Dover, R.B., Schneemeyer, L., Fleming, R.: Discovery of a useful thin-film dielectric using a composition-spread approach. Nature 392(6672), 162-164 (1998)
-
(1998)
Nature
, vol.392
, Issue.6672
, pp. 162-164
-
-
Van Dover, R.B.1
Schneemeyer, L.2
Fleming, R.3
-
25
-
-
0032179316
-
A linear-time transformation of linear inequalities into conjunctive normal form
-
Warners, J.P.: A linear-time transformation of linear inequalities into conjunctive normal form. Inf. Process. Lett. 68(2), 63-69 (1998)
-
(1998)
Inf. Process. Lett.
, vol.68
, Issue.2
, pp. 63-69
-
-
Warners, J.P.1
|