Skip to main navigation Skip to search Skip to main content
No photo of John Lloyd

View Scopus Profile

Prof John Lloyd

Professor

20002013

Research activity per year

Personal profile

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
View full fingerprint

  • 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 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. 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)
View all 21 research outputs
View all 9 projects