Optimal Partial-Match Retrieval. - John W. Lloyd (BIT, 1980)

Partial Match Retrieval for Dynamic Files. - John W. Lloyd; Kotagiri Ramamohanarao (BIT, 1982)

Dynamic Hashing Schemes. - Kotagiri Ramamohanarao; John W. Lloyd (Comput. J., 1982)

Completeness of the Negation as Failure Rule. - Joxan Jaffar; Jean-Louis Lassez; John W. Lloyd (IJCAI, 1983)

An Introduction to Deductive Database Systems. - John W. Lloyd (Aust. Comput. J., 1983)

Partial-Match Retrieval Using Hashing and Descriptors. - Kotagiri Ramamohanarao; John W. Lloyd (ACM Trans. Database Syst., 1983)

Foundations of Logic Programming, 1st Edition - John W. Lloyd (Springer, 1984)

A Logical Reconstruction of Prolog II. - Maarten H. van Emden; John W. Lloyd (J. Log. Program., 1984)

Making Prolog more Expressive. - John W. Lloyd; Rodney W. Topor (J. Log. Program., 1984)

A Basis for Deductive Database Systems. - John W. Lloyd; Rodney W. Topor (J. Log. Program., 1985)

A Basis for Deductive Database Systems II. - John W. Lloyd; Rodney W. Topor (J. Log. Program., 1986)

Foundations of Logic Programming, 2nd Edition - John W. Lloyd (Springer, 1987)

Integrity Constraint Checking in Stratified Databases. - John W. Lloyd; Liz Sonenberg; Rodney W. Topor (J. Log. Program., 1987)

Directions for Meta-Programming. - John W. Lloyd (FGCS, 1988)

Analysis of Meta-Programs. - Patricia M. Hill; John W. Lloyd (META, 1988)

Logic as a Foundation for Deductive Database Systems. - John W. Lloyd (IFIP Congress, 1989)

Meta-Programming for Knowledge Base Systems (Extended Abstract). - John W. Lloyd (Wissensbasierte Systeme, 1989)

A Completeness Theorem for SLDNF Resolution. - Lawrence Cavedon; John W. Lloyd (J. Log. Program., 1989)

A Partial Evaluation Procedure for Logic Programs. - Kerima Benkerimi; John W. Lloyd (NACLP, 1990)

Properties of a Pruning Operator. - Patricia M. Hill; John W. Lloyd; John C. Shepherdson (J. Log. Comput., 1990)

Updating Knowledge Bases. - Ahmed Guessoum; John W. Lloyd (New Gener. Comput., 1990)

Partial Evaluation in Logic Programming. - John W. Lloyd; John C. Shepherdson (J. Log. Program., 1991)

Updating Knowledge Bases II. - Ahmed Guessoum; John W. Lloyd (New Gener. Comput., 1991)

The Gödel programming language. - Patricia M. Hill; John W. Lloyd (MIT Press, 1994)

Practical Advtanages of Declarative Programming. - John W. Lloyd (GULP-PRODE (1), 1994)

Combining Functional and Logic Programming Languages. - John W. Lloyd (ILPS, 1994)

Debugging for a Declarative Programming Language. - John W. Lloyd (Machine Intelligence 15, 1995)

Integration of Functional and Logic Programming Languages (Panel Abstract). - John W. Lloyd (ILPS, 1995)

Strongly Typed Inductive Concept Learning. - Peter A. Flach; Christophe G. Giraud-Carrier; John W. Lloyd (ILP, 1998)

Programming in an Integrated Functional and Logic Language. - John W. Lloyd (J. Funct. Log. Program., 1999)

Classification of Individuals with Complex Structure. - Antony Francis Bowers; Christophe G. Giraud-Carrier; John W. Lloyd (ICML, 2000)

Predicate Construction in Higher-order Logic. - John W. Lloyd (Electron. Trans. Artif. Intell., 2000)

Higher-Order Computational Logic. - John W. Lloyd (Computational Logic: Logic Programming and Beyond, 2002)

Kernels for Structured Data. - Thomas Gärtner 001; John W. Lloyd; Peter A. Flach (ILP, 2002)

Learning Comprehensible Theories from Structured Data. - John W. Lloyd (Machine Learning Summer School, 2002)

Logic for learning - learning comprehensible theories from structured data. - John W. Lloyd (Springer, 2003)

Agents that Reason and Learn. - John W. Lloyd (ILP, 2003)

Kernels and Distances for Structured Data. - Thomas Gärtner 001; John W. Lloyd; Peter A. Flach (Mach. Learn., 2004)

Personalisation for user agents. - Joshua J. Cole; Matt J. Gray; John W. Lloyd; Kee Siong Ng (AAMAS, 2005)

An Architecture for Rational Agents. - John W. Lloyd; Tim D. Sears (Probabilistic, Logical and Relational Learning, 2005)

Predicate Selection for Structural Decision Trees. - Kee Siong Ng; John W. Lloyd (ILP, 2005)

Learning Modal Theories. - John W. Lloyd; Kee Siong Ng (ILP, 2006)

Reflections on Agent Beliefs. - John W. Lloyd; Kee Siong Ng (DALT, 2007)

Declarative programming for artificial intelligence applications. - John W. Lloyd (ICFP, 2007)

Probabilistic and Logical Beliefs. - John W. Lloyd; Kee Siong Ng (LADS, 2007)

Probabilistic modelling, inference and learning using logical theories. - Kee Siong Ng; John W. Lloyd; William T. B. Uther (Ann. Math. Artif. Intell., 2008)

Probabilistic reasoning in a classical logic. - Kee Siong Ng; John W. Lloyd (J. Appl. Log., 2009)

Declarative programming for agent applications. - John W. Lloyd; Kee Siong Ng (Auton. Agents Multi Agent Syst., 2011)

Probabilities on Sentences in an Expressive Logic. - Marcus Hutter; John W. Lloyd; Kee Siong Ng; William T. B. Uther (J. Appl. Log., 2013)

Factored Conditional Filtering: Tracking States and Estimating Parameters in High-Dimensional Spaces. - Dawei Chen; Samuel Yang-Zhao; John W. Lloyd; Kee Siong Ng (CoRR, 2022)