Lloyd, J.W.

Partial evaluation in logic programming

Lloyd, J. W., & Shepherdson, J. C. (1991) · The Journal of Logic Programming

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 381

Integrity constraint checking in stratified databases

Lloyd, J. W., Sonenberg, E. A., & Topor, R. W. (1987) · The Journal of Logic Programming

Logic, Reasoning, and KnowledgeAdvanced Database Systems and Queries

Cited by 116

A basis for deductive database systems

Lloyd, J. W., & Topor, R. W. (1985) · The Journal of Logic Programming

Advanced Database Systems and QueriesLogic, Reasoning, and Knowledge

Cited by 91

Logic for Learning

Lloyd, J. W. (2003) · Cognitive Technologies

Logic, Reasoning, and KnowledgeMachine Learning and Algorithms

Cited by 81