The following pages link to John W. Lloyd (Q702527):
Displaying 34 items.
- (Q578893) (redirect page) (← links)
- Declarative error diagnosis (Q578894) (← links)
- Kernels and distances for structured data (Q702528) (← links)
- Probabilistic modelling, inference and learning using logical theories (Q841641) (← links)
- Updating knowledge bases (Q918229) (← links)
- Partial-match retrieval for dynamic files (Q1162834) (← links)
- Probabilistic reasoning in a classical logic (Q2390656) (← links)
- Probabilities on sentences in an expressive logic (Q2446673) (← links)
- A completeness theorem for SLDNF resolution (Q3031954) (← links)
- (Q3134502) (← links)
- Partial-match retrieval using hashing and descriptors (Q3313316) (← links)
- (Q3339245) (← links)
- A basis for deductive database systems (Q3706525) (← links)
- Making prolog more expressive (Q3707363) (← links)
- A basis for deductive database systems II (Q3719865) (← links)
- A logical reconstruction of Prolog II (Q3725539) (← links)
- Integrity constraint checking in stratified databases (Q3786031) (← links)
- Optimal partial-match retrieval (Q3888510) (← links)
- Dynamic Hashing Schemes (Q3953216) (← links)
- (Q3988794) (← links)
- Partial evaluation in logic programming (Q3988796) (← links)
- (Q3992908) (← links)
- Weakly compactly generated locally convex spaces (Q4129298) (← links)
- Eberlein compacts and spaces of continuous functions (Q4178072) (← links)
- (Q4191307) (← links)
- (Q4413266) (← links)
- (Q4413484) (← links)
- (Q4707736) (← links)
- (Q4806966) (← links)
- (Q4844168) (← links)
- Inductive Logic Programming (Q5394650) (← links)
- Learning Modal Theories (Q5426056) (← links)
- Inductive and projective limits of smooth topological vector spaces (Q5637416) (← links)
- Properties of a Pruning Operator (Q5750389) (← links)