Knowledge Representation, Computation, and Learning in Higher-order Logic (2001)

by J.W. Lloyd
Venue:In preparation
Citations:10 - 7 self

Documents Related by Co-Citation

854 A formulation of the simple theory of types – Alonzo Church - 1940
65 Programming in an Integrated Functional and Logic Language – J. W. Lloyd, Y. Guo, M. Hagiya - 1999
24 Classification of Individuals with Complex Structure – A.F. Bowers, C. Giraud-Carrier, J.W. Lloyd - 2000
179 Solving the multiple instance problem with axis-parallel rectangles – T G Dietterich, R H Lathrop, T Lozano-Perez - 1998
4 A Unifying View of Knowledge Representation for Inductive Learning – A.F. Bowers, C. Giraud-Carrier, J.W. Lloyd - 2000
460 Inductive Logic Programming: Theory and Methods – Stephen Muggleton, Luc De Raedt - 1994
102 Relational Reinforcement Learning – Saso Dzeroski, Luc De Raedt, Kurt Driessens - 2001
180 Completeness in the theory of types – L Henkin - 1950
311 An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (2nd Ed – Peter B Andrews - 2002
33 Logic for Learning: Learning Comprehensible Theories from Structured Data – J W Lloyd - 2003
12 Learning Comprehensible Theories from Structured Data – K S Ng - 2005
8 A knowledge representation framework for inductive learning. Available at http://discus.anu.edu.au/~jwl/ kr.ps.gz – A F Bowers, C Giraud-Carrier - 2001
55 Pharmacophore Discovery using the Inductive Logic Programming System Progol – Paul Finn, David Page, Ronny Kohavi, Foster Provost - 1998
9 An Evolutionary Approach to Concept Learning with Structured Data – Claire Kennedy, Christophe Giraud-carrier, Bristol Bs Ub - 1999
3874 Classification and Regression Trees – L Breiman, J H Friedman, R A Olshen, C J Stone - 1984
631 Inverse entailment and Progol – Stephen Muggleton - 1995
2 Kee Siong Ng. Personalisation for user agents – Joshua J Cole, Matthew Gray, John W Lloyd - 2005
2 and Kee Siong Ng. Learning modal theories – John W Lloyd - 2007
3 Lakshmanan and Fereidoon Sadri, "Modeling Uncertainty in Deductive Databases – V S Laks - 1994