메뉴 건너뛰기




Volumn 2, Issue , 2003, Pages 648-655

Stochastic Local Search in k-term DNF Learning

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BENCHMARKING; DATABASE SYSTEMS; ENCODING (SYMBOLS); LEARNING ALGORITHMS; OPTIMIZATION; STOCHASTIC CONTROL SYSTEMS;

EID: 1942516820     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (23)

References (19)
  • 1
    • 1942514337 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • Personal Communication, April 2002
    • Fürnkranz, J. (2002). Personal Communication, April 2002.
    • (2002)
    • Fürnkranz, J.1
  • 6
    • 0031630555 scopus 로고    scopus 로고
    • 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
  • 10
    • 0031380187 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 19
    • 0002928523 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.