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
9008*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
5011994
Making Prolog more expressive
JW Lloyd, RW Topor
The Journal of Logic Programming 1 (3), 225-240, 1984
4891984
Kernels for structured data
T Gaertner, J Lloyd, P Flach
Inductive Logic Programming, 66-83, 2003
344*2003
Practical Advtanages of Declarative Programming.
JW Lloyd
GULP-PRODE (1), 18-30, 1994
2331994
Declarative error diagnosis
JW Lloyd
New Generation Computing 5, 133-154, 1987
1991987
Integrity constraint checking in stratified databases
JW Lloyd, EA Sonenberg, RW Topor
The Journal of Logic Programming 4 (4), 331-343, 1987
1981987
A basis for deductive database systems
JW Lloyd, RW Topor
The Journal of Logic Programming 2 (2), 93-109, 1985
1981985
Logic for learning: learning comprehensible theories from structured data
JW Lloyd
Springer Verlag, 2003
174*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
1481986
Completeness of the negation as failure rule
J Jaffar, JL Lassez, J Lloyd
Proceedings of the Eighth international joint conference on Artificial …, 1983
1351983
Declarative programming in Escher
JW Lloyd
Technical Report CSTR-95-013, Department of Computer Science, University of …, 1995
1341995
Updating knowledge bases
A Guessoum, JW Lloyd
New Generation Computing 8, 71-89, 1990
1301990
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
1161989
Kernels for structured data
T Gärtner, JW Lloyd, PA Flach
Inductive Logic Programming: 12th International Conference, ILP 2002 Sydney …, 2003
932003
Updating knowledge bases II
A Guessoum, JW Lloyd
New Generation Computing 10, 73-100, 1991
841991
Strongly typed inductive concept learning
PA Flach, C Giraud-Carrier, JW Lloyd
Inductive Logic Programming: 8th International Conference, ILP-98 Madison …, 1998
821998
The system can't perform the operation now. Try again later.
Articles 1–20