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
https://portal.mardi4nfdi.de/entity/Q3988794	1992-06-28	Paper
Partial evaluation in logic programming	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
https://portal.mardi4nfdi.de/entity/Q3339245	1984-01-01	Paper
Making prolog more expressive	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: John W. Lloyd