메뉴 건너뛰기




Volumn 1792, Issue , 2000, Pages 178-189

Relational learning: Hard problems and phase transitions

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; LEARNING SYSTEMS;

EID: 77952005203     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper
Times cited : (9)

References (19)
  • 4
    • 0030108241 scopus 로고    scopus 로고
    • Experimental Results on the Crossover Point in Random 3-SAT
    • Crawford J.M., and Auton L.D. (1996). “Experimental Results on the Crossover Point in Random 3-SAT”. Artificial Intelligence, 81, 31-58.
    • (1996) Artificial Intelligence , vol.81 , pp. 31-58
    • Crawford, J.M.1    Auton, L.D.2
  • 5
    • 0030107173 scopus 로고    scopus 로고
    • Hard Random 3-SAT Problems and the Davis-Putnam Procedure
    • Freeman J.W. (1996). “Hard Random 3-SAT Problems and the Davis-Putnam Procedure”. Artificial Intelligence, 81, 183-198.
    • (1996) Artificial Intelligence , vol.81 , pp. 183-198
    • Freeman, J.W.1
  • 7
    • 0031164490 scopus 로고    scopus 로고
    • Integrating Multiple Learning Strategies in First Order Logics
    • Giordana A., Neri F., Saitta L., and Botta M. (1998). “Integrating Multiple Learning Strategies in First Order Logics”. Machine Learning, 27, 209-240.
    • (1998) Machine Learning , vol.27 , pp. 209-240
    • Giordana, A.1    Neri, F.2    Saitta, L.3    Botta, M.4
  • 11
    • 0030105045 scopus 로고    scopus 로고
    • Refining the Phase Transition in Combinatorial Search
    • Hogg T. (1996). “Refining the Phase Transition in Combinatorial Search”. Artificial Intelligence, 81, 127-154.
    • (1996) Artificial Intelligence , vol.81 , pp. 127-154
    • Hogg, T.1
  • 13
    • 0030110022 scopus 로고    scopus 로고
    • An Empirical Study of Phase Transitions in Binary Constraint Satisfaction Problems
    • Prosser P. (1996). “An Empirical Study of Phase Transitions in Binary Constraint Satisfaction Problems”. Artificial Intelligence, 81, 81-110.
    • (1996) Artificial Intelligence , vol.81 , pp. 81-110
    • Prosser, P.1
  • 14
    • 0001172265 scopus 로고
    • Learning Logical Definitions from Relations
    • Quinlan R.J. (1990). "Learning Logical Definitions from Relations", Machine Learning, 5, 239-266.
    • (1990) Machine Learning , vol.5 , pp. 239-266
    • Quinlan, R.J.1
  • 16
    • 0030107174 scopus 로고    scopus 로고
    • Critical Behavior in the Computational Cost of Satisfiability Testing
    • Selman B., and Kirkpatrick S. (1996). “Critical Behavior in the Computational Cost of Satisfiability Testing”. Artificial Intelligence, 81, 273-296.
    • (1996) Artificial Intelligence , vol.81 , pp. 273-296
    • Selman, B.1    Kirkpatrick, S.2
  • 17
    • 0030105626 scopus 로고    scopus 로고
    • Locating the Phase Transition in Binary Constraint Satisfaction Problems
    • Smith B.M., and Dyer M.E. (1996). “Locating the Phase Transition in Binary Constraint Satisfaction Problems”. Artificial Intelligence, 81, 155-181.
    • (1996) Artificial Intelligence , vol.81 , pp. 155-181
    • Smith, B.M.1    Dyer, M.E.2
  • 18
    • 0028529156 scopus 로고
    • Exploiting the Deep Structure of Constraint Problems
    • Williams C.P., Hogg T. (1994). “Exploiting the Deep Structure of Constraint Problems”. Artificial Intelligence, 70, 73-117.
    • (1994) Artificial Intelligence , vol.70 , pp. 73-117
    • Williams, C.P.1    Hogg, T.2
  • 19
    • 0030108948 scopus 로고    scopus 로고
    • A Study of Complexity Transition on the Asymmetric Travelling Salesman Problem
    • Zhang W., and Korf R.E. (1996). “A Study of Complexity Transition on the Asymmetric Travelling Salesman Problem”. Artificial Intelligence, 81, 223-239.
    • (1996) Artificial Intelligence , vol.81 , pp. 223-239
    • Zhang, W.1    Korf, R.E.2


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