Home page of John Lloyd

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Home page of John Lloyd

Contact details

John Lloyd
Computer Sciences Laboratory
College of Engineering and Computer Science
Australian National University
Canberra ACT 0200
Australia

+61 2 6125 8633 (Phone)
+61 2 6125 8651 (Fax)

Book

J.W. Lloyd, `Logic for Learning: Learning Comprehensible Theories from Structured Data', Springer, Cognitive Technologies Series, July 2003.

Some recent papers

K.S. Ng and J.W. Lloyd, "Probabilistic Reasoning in a Classical Logic", Journal of Applied Logic, 2008.
J.W. Lloyd, "Knowledge Representation and Reasoning in Modal Higher-order Logic", 2007.
J.W. Lloyd and K.S. Ng, "Probabilistic and Logical Beliefs", LADS 2007, LNAI 5118.
J.W. Lloyd and K.S. Ng, "Reflections on Agent Beliefs", DALT 2007, LNAI 4897.
J.W. Lloyd and K.S. Ng, "Learning Modal Theories", ILP 2006, LNAI 4455.
K.S. Ng and J.W. Lloyd, "Predicate Selection for Structural Decision Trees", ILP 2005, LNAI 3625.
J.W. Lloyd and T.D. Sears, "An Architecture for Rational Agents", DALT 2005, LNAI 3904.
J.J. Cole, M.J. Gray, J.W. Lloyd, and K.S. Ng, "Personalisation for User Agents", AAMAS 05.
J.W. Lloyd, "Modal Higher-order Logic for Agents", 2004.
T. Gärtner, J.W. Lloyd, and P.A. Flach, "Kernels and Distances for Structured Data", Machine Learning, 57(3): 205-232, 2004.
J. Cole, J.W. Lloyd, and K.S. Ng, "Symbolic Learning for Adaptive Agents", 2003.
T. Gärtner, J.W. Lloyd, and P.A. Flach, "Kernels for Structured Data", ILP 2002.
J.W. Lloyd, "Higher-order Computational Logic", in Computational Logic: From Logic Programming into the Future, A. Kakas and F. Sadri (editors), Springer-Verlag, 2002.
J.W. Lloyd, "Knowledge Representation, Computation, and Learning in Higher-order Logic".
J.W. Lloyd, "Predicate Construction in Higher-order Logic", Electronic Transactions on Artificial Intelligence, Vol. 4(2000), Section B, pp. 21-51.
A.F. Bowers, C. Giraud-Carrier and J.W. Lloyd, "A Knowledge Representation Framework for Inductive Learning".
A.F. Bowers, C. Giraud-Carrier and J.W. Lloyd, "Classification of Individuals with Complex Structure", ICML2000.
J.W. Lloyd, "Programming in an Integrated Functional and Logic Programming Language", Journal of Functional and Logic Programming, 1999(3), March 1999.