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
8574*1987
Partial evaluation in logic programming
JW Lloyd, JC Shepherdson
The Journal of Logic Programming 11 (3-4), 217-242, 1991
5851991
The Gödel programming language
P Hill, J Lloyd, JW Lloyd
MIT press, 1994
5001994
Making Prolog more expressive
JW Lloyd, RW Topor
The Journal of Logic Programming 1 (3), 225-240, 1984
4601984
Kernels for structured data
T Gaertner, J Lloyd, P Flach
Inductive Logic Programming, 66-83, 2003
382*2003
Declarative error diagnosis
JW Lloyd
New Generation Computing 5 (2), 133-154, 1987
1971987
Practical Advtanages of Declarative Programming.
JW Lloyd
GULP-PRODE (1), 18-30, 1994
1951994
A basis for deductive database systems
JW Lloyd, RW Topor
The Journal of Logic Programming 2 (2), 93-109, 1985
1901985
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
171*2003
Analysis of Meta-Programs.
PM Hill, JW Lloyd
META, 23-51, 1988
1611988
A basis for deductive database systems II
JW Lloyd, RW Topor
The Journal of Logic Programming 3 (1), 55-67, 1986
1421986
Declarative programming in Escher
JW Lloyd
University of Bristol, 1995
1311995
Completeness of the negation as failure rule
J Jaffar, JL Lassez, J Lloyd
Proceedings of the Eighth international joint conference on Artificial …, 1983
1271983
Updating knowledge bases
A Guessoum, JW Lloyd
New Generation Computing 8 (1), 71-89, 1990
1261990
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
1071989
Kernels for structured data
T Gärtner, JW Lloyd, PA Flach
International Conference on Inductive Logic Programming, 66-83, 2002
932002
Updating knowledge bases II
A Guessoum, JW Lloyd
New Generation Computing 10 (1), 73-100, 1991
821991
Strongly typed inductive concept learning
PA Flach, C Giraud-Carrier, JW Lloyd
International Conference on Inductive Logic Programming, 185-194, 1998
801998
The system can't perform the operation now. Try again later.
Articles 1–20