John Lloyd

EmailJohn.Lloydanu.eduau

h-index

Research activity per year

Biography

Research interests:
Computational logic, agents, declarative programming languages, and machine learning.
Duties:
Program Convenor: Bachelor of Computer Science (Honours)

Qualifications

BSc(Hons) MSc *Newcastle*,PhD *ANU*, DipComp *Melbourne*

Fingerprint

Dive into the research topics where John Lloyd is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

1 Similar Profiles

8 Conference contribution
5 Article
2 Chapter
2 Conference article
More

Probabilities on sentences in an expressive logic
Hutter, M., Lloyd, J. W., Ng, K. S. & Uther, W. T. B., Dec 2013, In: Journal of Applied Logic. 11, 4, p. 386-420 35 p.
Research output: Contribution to journal › Article › peer-review

Open Access
7 Citations (Scopus)
Unifying Probability and Logic for Learning
Hutter, M., Lloyd, J., Ng, K. S. & Uther, W. T. B., 2013, IJCAI International Joint Conference on Artificial Intelligence. Peer Reviewed ed. USA: AAAI Press, p. 65-72
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Declarative programming for agent applications
Lloyd, J. W. & Ng, K. S., Sept 2011, In: Autonomous Agents and Multi-Agent Systems. 23, 2, p. 224-272 49 p.
Research output: Contribution to journal › Article › peer-review
4 Citations (Scopus)
Higher-order Logic
Lloyd, J., 2010, Encyclopedia of Machine Learning. C. S. . G. I. W. (ed.). New York: Springer, Vol. 6. p. 5pp
Research output: Chapter in Book/Report/Conference proceeding › Entry for encyclopedia/dictionary › peer-review
Probabilistic reasoning in a classical logic
Ng, K. S. & Lloyd, J. W., Jun 2009, In: Journal of Applied Logic. 7, 2, p. 218-238 21 p.
Research output: Contribution to journal › Article › peer-review

Open Access
9 Citations (Scopus)

8 Finished

Feature Reinforcement Learning
Hutter, M. & Lloyd, J.
1/07/12 → 30/06/17
Project: Research
Foundations and Architectures for Agent Systems
Lloyd, J.
1/05/08 → 31/12/11
Project: Research
SPA02E Machine Learning Extension Work Agents for Complex Uncertain Environments
Lloyd, J.
1/06/05 → 31/10/05
Project: Research
Knowledge Acquisition and Machine Learning Project - SPA2
Lloyd, J.
1/02/03 → 1/02/04
Project: Research
Student Agreement-Stipend Kee Siong Ng
Lloyd, J.
22/03/02 → 22/03/05
Project: Research

Prof John Lloyd

Personal profile

Biography

Qualifications

Fingerprint

Probabilities on sentences in an expressive logic

Unifying Probability and Logic for Learning

Declarative programming for agent applications

Higher-order Logic

Probabilistic reasoning in a classical logic

Feature Reinforcement Learning

Foundations and Architectures for Agent Systems

SPA02E Machine Learning Extension Work Agents for Complex Uncertain Environments

Knowledge Acquisition and Machine Learning Project - SPA2

Student Agreement-Stipend Kee Siong Ng

Prof John Lloyd

Personal profile

Biography

Qualifications

Fingerprint

Research output

Projects