Predicate Construction in Higher-order Logic
暂无分享,去创建一个
[1] John W. Lloyd,et al. Programming in an Integrated Functional and Logic Language , 1999, J. Funct. Log. Program..
[2] Thomas G. Dietterich,et al. Solving the Multiple Instance Problem with Axis-Parallel Rectangles , 1997, Artif. Intell..
[3] J. Lloyd,et al. A Unifying View of Knowledge Representation for Inductive Learning , 2000 .
[4] John W. Lloyd,et al. Knowledge Representation, Computation, and Learning in Higher-order Logic , 2002 .
[5] Luc De Raedt,et al. Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..
[6] Shan-Hwei Nienhuys-Cheng,et al. Foundations of Inductive Logic Programming , 1997, Lecture Notes in Computer Science.
[7] Alonzo Church,et al. A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.
[8] John W. Lloyd,et al. Classification of Individuals with Complex Structure , 2000, ICML.