Foundations of logic programming JW Lloyd Springer-Verlag New York Inc., New York, NY, 1987 | 9358* | 1987 |
Partial evaluation in logic programming JW Lloyd, JC Shepherdson The Journal of Logic Programming 11 (3-4), 217-242, 1991 | 617 | 1991 |
Making Prolog more expressive JW Lloyd, RW Topor The Journal of Logic Programming 1 (3), 225-240, 1984 | 512 | 1984 |
The Gödel programming language P Hill, JW Lloyd MIT press, 1994 | 509 | 1994 |
Kernels for structured data T Gaertner, J Lloyd, P Flach Inductive Logic Programming, 66-83, 2003 | 356* | 2003 |
Practical Advtanages of Declarative Programming. JW Lloyd GULP-PRODE (1), 18-30, 1994 | 255 | 1994 |
A basis for deductive database systems JW Lloyd, RW Topor The Journal of Logic Programming 2 (2), 93-109, 1985 | 214 | 1985 |
Declarative error diagnosis JW Lloyd New Generation Computing 5, 133-154, 1987 | 207 | 1987 |
Integrity constraint checking in stratified databases JW Lloyd, EA Sonenberg, RW Topor The Journal of Logic Programming 4 (4), 331-343, 1987 | 198 | 1987 |
Logic for learning: learning comprehensible theories from structured data JW Lloyd Springer Verlag, 2003 | 180* | 2003 |
Analysis of Meta-Programs. PM Hill, JW Lloyd Meta, 23-51, 1988 | 172 | 1988 |
A basis for deductive database systems II JW Lloyd, RW Topor The Journal of Logic Programming 3 (1), 55-67, 1986 | 162 | 1986 |
Updating knowledge bases A Guessoum, JW Lloyd New Generation Computing 8, 71-89, 1990 | 138 | 1990 |
Declarative programming in Escher JW Lloyd Technical Report CSTR-95-013, Department of Computer Science, University of …, 1995 | 137 | 1995 |
Completeness of the negation as failure rule J Jaffar, JL Lassez, J Lloyd Proceedings of the Eighth international joint conference on Artificial …, 1983 | 136 | 1983 |
Programming in an integrated functional and logic language JW Lloyd Journal of Functional and Logic Programming 3 (1-49), 68-69, 1999 | 131 | 1999 |
A completeness theorem for SLDNF resolution L Cavedon, JW Lloyd The Journal of Logic Programming 7 (3), 177-191, 1989 | 119 | 1989 |
Kernels for structured data T Gärtner, JW Lloyd, PA Flach Inductive Logic Programming: 12th International Conference, ILP 2002 Sydney …, 2003 | 95 | 2003 |
Updating knowledge bases II A Guessoum, JW Lloyd New Generation Computing 10, 73-100, 1991 | 87 | 1991 |
Strongly typed inductive concept learning PA Flach, C Giraud-Carrier, JW Lloyd Inductive Logic Programming: 8th International Conference, ILP-98 Madison …, 1998 | 82 | 1998 |