John Lloyd
John Lloyd
Emeritus Professor of Computer Science, The Australian National University
Verified email at cecs.anu.edu.au
TitleCited byYear
Foundations of logic programming
JW Lloyd
Springer-Verlag New York Inc., New York, NY, 1987
8346*1987
Partial evaluation in logic programming
JW Lloyd, JC Shepherdson
The Journal of Logic Programming 11 (3-4), 217-242, 1991
5831991
The Gödel programming language
P Hill, J Lloyd, JW Lloyd
MIT press, 1994
4881994
Making Prolog more expressive
JW Lloyd, RW Topor
The Journal of Logic Programming 1 (3), 225-240, 1984
4521984
Kernels for structured data
T Gaertner, J Lloyd, P Flach
Inductive Logic Programming, 66-83, 2003
349*2003
Declarative error diagnosis
JW Lloyd
New Generation Computing 5 (2), 133-154, 1987
1971987
A basis for deductive database systems
JW Lloyd, RW Topor
The Journal of Logic Programming 2 (2), 93-109, 1985
1871985
Integrity constraint checking in stratified databases
JW Lloyd, EA Sonenberg, RW Topor
The Journal of Logic Programming 4 (4), 331-343, 1987
1821987
Practical Advtanages of Declarative Programming.
JW Lloyd
GULP-PRODE (1), 18-30, 1994
1711994
Logic for learning: learning comprehensible theories from structured data
JW Lloyd
Springer Verlag, 2003
165*2003
Analysis of Meta-Programs.
PM Hill, JW Lloyd
Meta, 23-51, 1988
1621988
A basis for deductive database systems II
JW Lloyd, RW Topor
The Journal of Logic Programming 3 (1), 55-67, 1986
1551986
Declarative programming in Escher
JW Lloyd
University of Bristol, 1995
1261995
Completeness of the negation as failure rule
J Jaffar, JL Lassez, J Lloyd
In Proceedings of the 8th International Joint Conference on Artificial …, 1983
1251983
Updating knowledge bases
A Guessoum, JW Lloyd
New Generation Computing 8 (1), 71-89, 1990
1231990
Programming in an integrated functional and logic language
JW Lloyd
Journal of Functional and Logic Programming 3 (1-49), 68-69, 1999
1191999
A completeness theorem for SLDNF resolution
L Cavedon, JW Lloyd
The Journal of Logic Programming 7 (3), 177-191, 1989
1001989
Kernels for structured data
T Gärtner, JW Lloyd, PA Flach
International Conference on Inductive Logic Programming, 66-83, 2002
892002
Updating knowledge bases II
A Guessoum, JW Lloyd
New Generation Computing 10 (1), 73, 1991
791991
Strongly typed inductive concept learning
PA Flach, C Giraud-Carrier, JW Lloyd
International Conference on Inductive Logic Programming, 185-194, 1998
761998
The system can't perform the operation now. Try again later.
Articles 1–20