John W. Lloyd

According to our database, John W. Lloyd authored at least 50 papers between 1980 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

2013

Probabilities on Sentences in an Expressive Logic.

Marcus Hutter, John W. Lloyd, Kee Siong Ng, William T. B. Uther

J. Appl. Log., 2013

2011

Declarative programming for agent applications.

John W. Lloyd, Kee Siong Ng

Auton. Agents Multi Agent Syst., 2011

2009

Probabilistic reasoning in a classical logic.

Kee Siong Ng, John W. Lloyd

J. Appl. Log., 2009

2008

Probabilistic modelling, inference and learning using logical theories.

Kee Siong Ng, John W. Lloyd, William T. B. Uther

Ann. Math. Artif. Intell., 2008

2007

Probabilistic and Logical Beliefs.

John W. Lloyd, Kee Siong Ng

Proceedings of the Languages, 2007

Declarative programming for artificial intelligence applications.

John W. Lloyd

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

Reflections on Agent Beliefs.

John W. Lloyd, Kee Siong Ng

Proceedings of the Declarative Agent Languages and Technologies V, 2007

2006

Learning Modal Theories.

John W. Lloyd, Kee Siong Ng

Proceedings of the Inductive Logic Programming, 16th International Conference, 2006

2005

Predicate Selection for Structural Decision Trees.

Kee Siong Ng, John W. Lloyd

Proceedings of the Inductive Logic Programming, 15th International Conference, 2005

An Architecture for Rational Agents.

John W. Lloyd, Tim D. Sears

Proceedings of the Probabilistic, Logical and Relational Learning - Towards a Synthesis, 30. January, 2005

Personalisation for user agents.

Joshua J. Cole, Matt J. Gray, John W. Lloyd, Kee Siong Ng

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2004

Kernels and Distances for Structured Data.

Thomas Gärtner, John W. Lloyd, Peter A. Flach

Mach. Learn., 2004

2003

Agents that Reason and Learn.

John W. Lloyd

Proceedings of the Inductive Logic Programming: 13th International Conference, 2003

Logic for learning - learning comprehensible theories from structured data.

John W. Lloyd

Cognitive Technologies, Springer, ISBN: 978-3-540-42027-9, 2003

2002

Learning Comprehensible Theories from Structured Data.

John W. Lloyd

Proceedings of the Advanced Lectures on Machine Learning, 2002

Kernels for Structured Data.

Thomas Gärtner, John W. Lloyd, Peter A. Flach

Proceedings of the Inductive Logic Programming, 12th International Conference, 2002

Higher-Order Computational Logic.

John W. Lloyd

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2000

Predicate Construction in Higher-order Logic.

John W. Lloyd

Electron. Trans. Artif. Intell., 2000

Classification of Individuals with Complex Structure.

Antony Francis Bowers, Christophe G. Giraud-Carrier, John W. Lloyd

Proceedings of the Seventeenth International Conference on Machine Learning (ICML 2000), Stanford University, Stanford, CA, USA, June 29, 2000

1999

Programming in an Integrated Functional and Logic Language.

John W. Lloyd

J. Funct. Log. Program., 1999

1998

Strongly Typed Inductive Concept Learning.

Peter A. Flach, Christophe G. Giraud-Carrier, John W. Lloyd

Proceedings of the Inductive Logic Programming, 8th International Workshop, 1998

1995

Integration of Functional and Logic Programming Languages (Panel Abstract).

John W. Lloyd

Proceedings of the Logic Programming, 1995

Debugging for a Declarative Programming Language.

John W. Lloyd

Proceedings of the Machine Intelligence 15, 1995

1994

Combining Functional and Logic Programming Languages.

John W. Lloyd

Proceedings of the Logic Programming, 1994

Practical Advtanages of Declarative Programming.

John W. Lloyd

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

The Gödel programming language.

Patricia M. Hill, John W. Lloyd

MIT Press, ISBN: 978-0-262-08229-7, 1994

1991

Updating Knowledge Bases II.

Ahmed Guessoum, John W. Lloyd

New Gener. Comput., 1991

Partial Evaluation in Logic Programming.

John W. Lloyd, John C. Shepherdson

J. Log. Program., 1991

1990

Updating Knowledge Bases.

Ahmed Guessoum, John W. Lloyd

New Gener. Comput., 1990

Properties of a Pruning Operator.

Patricia M. Hill, John W. Lloyd, John C. Shepherdson

J. Log. Comput., 1990

A Partial Evaluation Procedure for Logic Programs.

Kerima Benkerimi, John W. Lloyd

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

1989

A Completeness Theorem for SLDNF Resolution.

Lawrence Cavedon, John W. Lloyd

J. Log. Program., 1989

Meta-Programming for Knowledge Base Systems (Extended Abstract).

John W. Lloyd

Proceedings of the Wissensbasierte Systeme, 1989

Logic as a Foundation for Deductive Database Systems.

John W. Lloyd

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Analysis of Meta-Programs.

Patricia M. Hill, John W. Lloyd

Proceedings of the Meta-Programming in Logic Programming, 1988

Directions for Meta-Programming.

John W. Lloyd

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

Integrity Constraint Checking in Stratified Databases.

John W. Lloyd, Liz Sonenberg, Rodney W. Topor

J. Log. Program., 1987

Foundations of Logic Programming, 2nd Edition

John W. Lloyd

Springer, ISBN: 978-3-642-83189-8, 1987

1986

A Basis for Deductive Database Systems II.

John W. Lloyd, Rodney W. Topor

J. Log. Program., 1986

1985

A Basis for Deductive Database Systems.

John W. Lloyd, Rodney W. Topor

J. Log. Program., 1985

1984

Making Prolog more Expressive.

John W. Lloyd, Rodney W. Topor

J. Log. Program., 1984

A Logical Reconstruction of Prolog II.

Maarten H. van Emden, John W. Lloyd

J. Log. Program., 1984

Foundations of Logic Programming, 1st Edition

John W. Lloyd

Springer, ISBN: 3-540-13299-6, 1984

1983

Partial-Match Retrieval Using Hashing and Descriptors.

Kotagiri Ramamohanarao, John W. Lloyd

ACM Trans. Database Syst., 1983

An Introduction to Deductive Database Systems.

John W. Lloyd

Aust. Comput. J., 1983

Completeness of the Negation as Failure Rule.

Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982

Dynamic Hashing Schemes.

Kotagiri Ramamohanarao, John W. Lloyd

Comput. J., 1982

Partial Match Retrieval for Dynamic Files.

John W. Lloyd, Kotagiri Ramamohanarao

BIT, 1982

1980

Optimal Partial-Match Retrieval.

John W. Lloyd

BIT, 1980