Follow
John Lloyd
John Lloyd
Emeritus Professor of Computer Science, The Australian National University
Verified email at cecs.anu.edu.au
Title
Cited by
Cited by
Year
Foundations of logic programming
JW Lloyd
Springer-Verlag New York Inc., New York, NY, 1987
8929*1987
Partial evaluation in logic programming
JW Lloyd, JC Shepherdson
The Journal of Logic Programming 11 (3-4), 217-242, 1991
6121991
The Gödel programming language
P Hill, JW Lloyd
MIT press, 1994
4941994
Making Prolog more expressive
JW Lloyd, RW Topor
The Journal of Logic Programming 1 (3), 225-240, 1984
4781984
Kernels for structured data
T Gaertner, J Lloyd, P Flach
Inductive Logic Programming, 66-83, 2003
420*2003
Practical Advtanages of Declarative Programming.
JW Lloyd
GULP-PRODE (1), 18-30, 1994
2261994
Integrity constraint checking in stratified databases
JW Lloyd, EA Sonenberg, RW Topor
The Journal of Logic Programming 4 (4), 331-343, 1987
1971987
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
1921985
Logic for learning: learning comprehensible theories from structured data
JW Lloyd
Springer Verlag, 2003
176*2003
Analysis of Meta-Programs.
PM Hill, JW Lloyd
META, 23-51, 1988
1701988
A basis for deductive database systems II
JW Lloyd, RW Topor
The Journal of Logic Programming 3 (1), 55-67, 1986
1431986
Declarative programming in Escher
JW Lloyd
Technical Report CSTR-95-013, Department of Computer Science, University of …, 1995
1321995
Completeness of the negation as failure rule
J Jaffar, JL Lassez, J Lloyd
Proceedings of the Eighth international joint conference on Artificial …, 1983
1301983
Updating knowledge bases
A Guessoum, JW Lloyd
New Generation Computing 8 (1), 71-89, 1990
1281990
Programming in an integrated functional and logic language
JW Lloyd
Journal of Functional and Logic Programming 3 (1-49), 6-8, 1999
1221999
A completeness theorem for SLDNF resolution
L Cavedon, JW Lloyd
The Journal of Logic Programming 7 (3), 177-191, 1989
1121989
Kernels for structured data
T Gärtner, JW Lloyd, PA Flach
International Conference on Inductive Logic Programming, 66-83, 2002
962002
Strongly typed inductive concept learning
PA Flach, C Giraud-Carrier, JW Lloyd
International Conference on Inductive Logic Programming, 185-194, 1998
841998
Updating knowledge bases II
A Guessoum, JW Lloyd
New Generation Computing 10 (1), 73-100, 1991
831991
The system can't perform the operation now. Try again later.
Articles 1–20