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
8698*1987
Partial evaluation in logic programming
JW Lloyd, JC Shepherdson
The Journal of Logic Programming 11 (3-4), 217-242, 1991
5911991
The Gödel programming language
P Hill, JW Lloyd
MIT press, 1994
4741994
Making Prolog more expressive
JW Lloyd, RW Topor
The Journal of Logic Programming 1 (3), 225-240, 1984
4681984
Kernels for structured data
T Gaertner, J Lloyd, P Flach
Inductive Logic Programming, 66-83, 2003
406*2003
Declarative error diagnosis
JW Lloyd
New Generation Computing 5 (2), 133-154, 1987
2031987
Practical Advtanages of Declarative Programming.
JW Lloyd
GULP-PRODE (1), 18-30, 1994
2021994
A basis for deductive database systems
JW Lloyd, RW Topor
The Journal of Logic Programming 2 (2), 93-109, 1985
1961985
Integrity constraint checking in stratified databases
JW Lloyd, EA Sonenberg, RW Topor
The Journal of Logic Programming 4 (4), 331-343, 1987
1871987
Logic for learning: learning comprehensible theories from structured data
JW Lloyd
Springer Verlag, 2003
172*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
1401986
Declarative programming in Escher
JW Lloyd
University of Bristol, 1995
1311995
Updating knowledge bases
A Guessoum, JW Lloyd
New Generation Computing 8 (1), 71-89, 1990
1311990
Completeness of the negation as failure rule
J Jaffar, JL Lassez, J Lloyd
Proceedings of the Eighth international joint conference on Artificial …, 1983
1291983
Programming in an integrated functional and logic language
JW Lloyd
Journal of Functional and Logic Programming 3 (1-49), 6-8, 1999
1231999
A completeness theorem for SLDNF resolution
L Cavedon, JW Lloyd
The Journal of Logic Programming 7 (3), 177-191, 1989
1111989
Kernels for structured data
T Gärtner, JW Lloyd, PA Flach
International Conference on Inductive Logic Programming, 66-83, 2002
922002
Updating knowledge bases II
A Guessoum, JW Lloyd
New Generation Computing 10 (1), 73-100, 1991
871991
Strongly typed inductive concept learning
PA Flach, C Giraud-Carrier, JW Lloyd
International Conference on Inductive Logic Programming, 185-194, 1998
811998
The system can't perform the operation now. Try again later.
Articles 1–20