-
1
-
-
1942514337
-
-
Doctoral dissertation, Department of Statistics and Modelling Science, University of Strathclyde, Scotland
-
Bain, M. (1994). Learning logical exceptions in chess. Doctoral dissertation, Department of Statistics and Modelling Science, University of Strathclyde, Scotland.
-
(1994)
Learning Logical Exceptions in Chess
-
-
Bain, M.1
-
3
-
-
1942514338
-
Learning decision rules by randomized iterative local search
-
Morgan Kaufmann
-
Chisholm, M., & Tadepalli, P. (2002). Learning decision rules by randomized iterative local search. Proceedings ICML-02 (pp. 75-82). Morgan Kaufmann.
-
(2002)
Proceedings ICML-02
, pp. 75-82
-
-
Chisholm, M.1
Tadepalli, P.2
-
5
-
-
23544440158
-
-
Personal Communication, April 2002
-
Fürnkranz, J. (2002). Personal Communication, April 2002.
-
(2002)
-
-
Fürnkranz, J.1
-
6
-
-
0031630555
-
Boosting combinatorial search through randomization
-
Menlo Park: AAAI Press
-
Gomes, C. P., Selman, B., & Kautz, H. (1998). Boosting combinatorial search through randomization. Proceedings AAAI-98 (pp. 431-437). Menlo Park: AAAI Press.
-
(1998)
Proceedings AAAI-98
, pp. 431-437
-
-
Gomes, C.P.1
Selman, B.2
Kautz, H.3
-
8
-
-
0027109704
-
A continuous approach to inductive inference
-
Kamath, A. P., Karmarkar, N. K., Ramakrishnan, K. G., & Resende, M. G. C. (1992). A continuous approach to inductive inference. Mathematical Programming, 57, 215-238.
-
(1992)
Mathematical Programming
, vol.57
, pp. 215-238
-
-
Kamath, A.P.1
Karmarkar, N.K.2
Ramakrishnan, K.G.3
Resende, M.G.C.4
-
10
-
-
0031380187
-
Evidence for invariants in local search
-
Providence, Rhode Island
-
McAllester, D., Selman, B., & Kautz, H. (1997). Evidence for invariants in local search. Proceedings AAAI-97 (pp. 321-326). Providence, Rhode Island.
-
(1997)
Proceedings AAAI-97
, pp. 321-326
-
-
McAllester, D.1
Selman, B.2
Kautz, H.3
-
11
-
-
0011020176
-
Encouraging experimental results on learning CNF
-
Mooney, R. J. (1995). Encouraging experimental results on learning CNF. Machine Learning, 19,79-92.
-
(1995)
Machine Learning
, vol.19
, pp. 79-92
-
-
Mooney, R.J.1
-
12
-
-
0007894935
-
Space efficient indexing of chess endgame tables
-
Nalimov, E. V., Haworth, G. M., & Heinz, E. A. (2000). Space efficient indexing of chess endgame tables. ICGA Journal, 23, 148-162.
-
(2000)
ICGA Journal
, vol.23
, pp. 148-162
-
-
Nalimov, E.V.1
Haworth, G.M.2
Heinz, E.A.3
-
13
-
-
0000431236
-
Induction of logic programs: FOIL and related systems
-
Quinlan, J. R., & Cameron-Jones, R. M. (1995). Induction of logic programs: FOIL and related systems. New Generation Computing, 13,287-312.
-
(1995)
New Generation Computing
, vol.13
, pp. 287-312
-
-
Quinlan, J.R.1
Cameron-Jones, R.M.2
-
14
-
-
23544446963
-
-
Master's thesis, Albert-Ludwigs-Universität Freiburg
-
Rückert, U. (2002). Machine learning in the phase transition framework. Master's thesis, Albert-Ludwigs-Universität Freiburg, http : //home. Informatik. tu-muenchen. de/rueckert/da.pdf.
-
(2002)
Machine Learning in the Phase Transition Framework
-
-
Rückert, U.1
-
16
-
-
84923529666
-
Phase transitions and stochastic local search in k-term dnf learning
-
Springer
-
Rückert, U., Kramer, S., & De Raedt, L. (2002). Phase transitions and stochastic local search in k-term dnf learning. Machine Learning: ECML 2002 (pp. 405-417). Springer.
-
(2002)
Machine Learning: ECML 2002
, pp. 405-417
-
-
Rückert, U.1
Kramer, S.2
De Raedt, L.3
-
17
-
-
0003103215
-
Domain-independant extensions to GSAT : Solving large structured variables
-
Selman, B., & Kautz, H. A. (1993). Domain-independant extensions to GSAT : Solving large structured variables. Proceedings IJCAI-93 (pp. 290-295).
-
(1993)
Proceedings IJCAI-93
, pp. 290-295
-
-
Selman, B.1
Kautz, H.A.2
-
18
-
-
0001445381
-
Local search strategies for satisfiability testing
-
AMS Series in Discrete mathematics and Theortical Computer Science 26
-
Selman, B., Kautz, H. A., & Cohen, B. (1996). Local search strategies for satisfiability testing. In Cliques, coloring, satisfiability: the second dimacs implementation challenge, 521-532. AMS Series in Discrete mathematics and Theortical Computer Science 26.
-
(1996)
Cliques, Coloring, Satisfiability: The Second Dimacs Implementation Challenge
, pp. 521-532
-
-
Selman, B.1
Kautz, H.A.2
Cohen, B.3
-
19
-
-
0002928523
-
A new method for solving hard satisfiability problems
-
Selman, B., Levesque, H., & Mitchell, D. (1992). A new method for solving hard satisfiability problems. Proceedings AAAI-92 (pp. 459-465).
-
(1992)
Proceedings AAAI-92
, pp. 459-465
-
-
Selman, B.1
Levesque, H.2
Mitchell, D.3
|