Research output per year
Research output per year
Personal profile
Biography
Research interests:
Computational logic, agents, declarative programming languages, and machine learning.
Duties:
Program Convenor: Bachelor of Computer Science (Honours)
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
-
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 Access7 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-72Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › 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. 5ppResearch 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 Access9 Citations (Scopus)
Projects
- 9 Finished
-
-
-
SPA02E Machine Learning Extension Work Agents for Complex Uncertain Environments
Lloyd, J. (PI)
1/06/05 → 31/10/05
Project: Research
-
Knowledge Acquisition and Machine Learning Project - SPA2
Lloyd, J. (PI)
1/02/03 → 1/02/04
Project: Research
-