John W. Lloyd

Publication Activity (10 Years)

Years Active: 1980-2022
Publications (10 Years): 1

Top Topics

Extractive Summarization

Multi Document Summarization

Top Venues

Publications

Dawei Chen, Samuel Yang-Zhao, John W. Lloyd, Kee Siong Ng
Factored Conditional Filtering: Tracking States and Estimating Parameters in High-Dimensional Spaces. CoRR (2022)
Marcus Hutter, John W. Lloyd, Kee Siong Ng, William T. B. Uther
Probabilities on Sentences in an Expressive Logic. J. Appl. Log. 11 (4) (2013)
Marcus Hutter, John W. Lloyd, Kee Siong Ng, William T. B. Uther
Probabilities on Sentences in an Expressive Logic CoRR (2012)
John W. Lloyd, Kee Siong Ng
Declarative programming for agent applications. Auton. Agents Multi Agent Syst. 23 (2) (2011)
Kee Siong Ng, John W. Lloyd
Probabilistic reasoning in a classical logic. J. Appl. Log. 7 (2) (2009)
Kee Siong Ng, John W. Lloyd, William T. B. Uther
Probabilistic modelling, inference and learning using logical theories. Ann. Math. Artif. Intell. 54 (1-3) (2008)
John W. Lloyd, Kee Siong Ng
Probabilistic and Logical Beliefs. LADS (2007)
John W. Lloyd
Declarative programming for artificial intelligence applications. ICFP (2007)
John W. Lloyd, Kee Siong Ng
Reflections on Agent Beliefs. DALT (2007)
John W. Lloyd, Kee Siong Ng
Learning Modal Theories. ILP (2006)
John W. Lloyd, Tim D. Sears
An Architecture for Rational Agents. DALT (2005)
John W. Lloyd, Tim D. Sears
An Architecture for Rational Agents. Probabilistic, Logical and Relational Learning (2005)
Kee Siong Ng, John W. Lloyd
Predicate Selection for Structural Decision Trees. ILP (2005)
Joshua J. Cole, Matt J. Gray, John W. Lloyd, Kee Siong Ng
Personalisation for user agents. AAMAS (2005)
Thomas Gärtner, John W. Lloyd, Peter A. Flach
Kernels and Distances for Structured Data. Mach. Learn. 57 (3) (2004)
John W. Lloyd
Agents that Reason and Learn. ILP (2003)
John W. Lloyd
Higher-Order Computational Logic. Computational Logic: Logic Programming and Beyond (2002)
John W. Lloyd
Learning Comprehensible Theories from Structured Data. Machine Learning Summer School (2002)
Thomas Gärtner, John W. Lloyd, Peter A. Flach
Kernels for Structured Data. ILP (2002)
Antony Francis Bowers, Christophe G. Giraud-Carrier, John W. Lloyd
Classification of Individuals with Complex Structure. ICML (2000)
John W. Lloyd
Predicate Construction in Higher-order Logic. Electron. Trans. Artif. Intell. 4 (B) (2000)
John W. Lloyd
Programming in an Integrated Functional and Logic Language. J. Funct. Log. Program. 1999 (3) (1999)
Peter A. Flach, Christophe G. Giraud-Carrier, John W. Lloyd
Strongly Typed Inductive Concept Learning. ILP (1998)
John W. Lloyd
Debugging for a Declarative Programming Language. Machine Intelligence 15 (1995)
John W. Lloyd
Integration of Functional and Logic Programming Languages (Panel Abstract). ILPS (1995)
John W. Lloyd
Practical Advtanages of Declarative Programming. GULP-PRODE (1) (1994)
John W. Lloyd
Combining Functional and Logic Programming Languages. ILPS (1994)
Ahmed Guessoum, John W. Lloyd
Updating Knowledge Bases II. New Gener. Comput. 10 (1) (1991)
John W. Lloyd, John C. Shepherdson
Partial Evaluation in Logic Programming. J. Log. Program. 11 (3&4) (1991)
Patricia M. Hill, John W. Lloyd, John C. Shepherdson
Properties of a Pruning Operator. J. Log. Comput. 1 (1) (1990)
Ahmed Guessoum, John W. Lloyd
Updating Knowledge Bases. New Gener. Comput. 8 (1) (1990)
Kerima Benkerimi, John W. Lloyd
A Partial Evaluation Procedure for Logic Programs. NACLP (1990)
John W. Lloyd
Meta-Programming for Knowledge Base Systems (Extended Abstract). Wissensbasierte Systeme (1989)
John W. Lloyd
Logic as a Foundation for Deductive Database Systems. IFIP Congress (1989)
Lawrence Cavedon, John W. Lloyd
A Completeness Theorem for SLDNF Resolution. J. Log. Program. 7 (3) (1989)
Patricia M. Hill, John W. Lloyd
Analysis of Meta-Programs. META (1988)
John W. Lloyd
Directions for Meta-Programming. FGCS (1988)
John W. Lloyd, Liz Sonenberg, Rodney W. Topor
Integrity Constraint Checking in Stratified Databases. J. Log. Program. 4 (4) (1987)
John W. Lloyd, Rodney W. Topor
A Basis for Deductive Database Systems II. J. Log. Program. 3 (1) (1986)
John W. Lloyd, Rodney W. Topor
A Basis for Deductive Database Systems. J. Log. Program. 2 (2) (1985)
John W. Lloyd, Rodney W. Topor
Making Prolog more Expressive. J. Log. Program. 1 (3) (1984)
Maarten H. van Emden, John W. Lloyd
A Logical Reconstruction of Prolog II. J. Log. Program. 1 (2) (1984)
Maarten H. van Emden, John W. Lloyd
A Logical Reconstruction of Prolog II. ICLP (1984)
Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd
Completeness of the Negation as Failure Rule. IJCAI (1983)
Kotagiri Ramamohanarao, John W. Lloyd
Partial-Match Retrieval Using Hashing and Descriptors. ACM Trans. Database Syst. 8 (4) (1983)
John W. Lloyd
An Introduction to Deductive Database Systems. Aust. Comput. J. 15 (2) (1983)
John W. Lloyd, Kotagiri Ramamohanarao
Partial Match Retrieval for Dynamic Files. BIT 22 (2) (1982)
Kotagiri Ramamohanarao, John W. Lloyd
Dynamic Hashing Schemes. Comput. J. 25 (4) (1982)
John W. Lloyd
Optimal Partial-Match Retrieval. BIT 20 (4) (1980)