John W. Lloyd

Available identifiers

zbMath Open lloyd.john-wylieMaRDI QIDQ702527

List of research outcomes

Publication	Date of Publication	Type
Probabilities on sentences in an expressive logic	2014-04-17	Paper
Probabilistic modelling, inference and learning using logical theories	2009-09-18	Paper
Probabilistic reasoning in a classical logic	2009-08-03	Paper
Learning Modal Theories	2007-11-15	Paper
Inductive Logic Programming	2006-11-01	Paper
Kernels and distances for structured data	2005-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4413484	2003-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4413266	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4707736	2003-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4806966	2003-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q4844168	1995-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q3134502	1993-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q3992908	1992-09-17	Paper
Partial evaluation in logic programming	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3988794	1992-06-28	Paper
Updating knowledge bases	1990-01-01	Paper
Properties of a Pruning Operator	1990-01-01	Paper
A completeness theorem for SLDNF resolution	1989-01-01	Paper
Declarative error diagnosis	1987-01-01	Paper
Integrity constraint checking in stratified databases	1987-01-01	Paper
A basis for deductive database systems II	1986-01-01	Paper
A basis for deductive database systems	1985-01-01	Paper
Making prolog more expressive	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3339245	1984-01-01	Paper
A logical reconstruction of Prolog II	1984-01-01	Paper
Partial-match retrieval using hashing and descriptors	1983-01-01	Paper
Partial-match retrieval for dynamic files	1982-01-01	Paper
Dynamic Hashing Schemes	1982-01-01	Paper
Optimal partial-match retrieval	1980-01-01	Paper
Eberlein compacts and spaces of continuous functions	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4191307	1978-01-01	Paper
Weakly compactly generated locally convex spaces	1977-01-01	Paper
Inductive and projective limits of smooth topological vector spaces	1972-01-01	Paper

Research outcomes over time

This page was built for person: John W. Lloyd