Follow
John Lloyd
John Lloyd
Professor Emeritus 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
9249*1987
Partial evaluation in logic programming
JW Lloyd, JC Shepherdson
The Journal of Logic Programming 11 (3-4), 217-242, 1991
6131991
The Gödel programming language
P Hill, JW Lloyd
MIT press, 1994
5121994
Making Prolog more expressive
JW Lloyd, RW Topor
The Journal of Logic Programming 1 (3), 225-240, 1984
4951984
Kernels for structured data
T Gaertner, J Lloyd, P Flach
Inductive Logic Programming, 66-83, 2003
351*2003
Practical Advtanages of Declarative Programming.
JW Lloyd
GULP-PRODE (1), 18-30, 1994
2511994
A basis for deductive database systems
JW Lloyd, RW Topor
The Journal of Logic Programming 2 (2), 93-109, 1985
2141985
Declarative error diagnosis
JW Lloyd
New Generation Computing 5, 133-154, 1987
2031987
Integrity constraint checking in stratified databases
JW Lloyd, EA Sonenberg, RW Topor
The Journal of Logic Programming 4 (4), 331-343, 1987
1951987
Logic for learning: learning comprehensible theories from structured data
JW Lloyd
Springer Verlag, 2003
180*2003
Analysis of Meta-Programs.
PM Hill, JW Lloyd
Meta, 23-51, 1988
1731988
A basis for deductive database systems II
JW Lloyd, RW Topor
The Journal of Logic Programming 3 (1), 55-67, 1986
1601986
Updating knowledge bases
A Guessoum, JW Lloyd
New Generation Computing 8, 71-89, 1990
1361990
Completeness of the negation as failure rule
J Jaffar, JL Lassez, J Lloyd
Proceedings of the Eighth international joint conference on Artificial …, 1983
1361983
Declarative programming in Escher
JW Lloyd
Technical Report CSTR-95-013, Department of Computer Science, University of …, 1995
1331995
Programming in an integrated functional and logic language
JW Lloyd
Journal of Functional and Logic Programming 3 (1-49), 68-69, 1999
1281999
A completeness theorem for SLDNF resolution
L Cavedon, JW Lloyd
The Journal of Logic Programming 7 (3), 177-191, 1989
1191989
Kernels for structured data
T Gärtner, JW Lloyd, PA Flach
Inductive Logic Programming: 12th International Conference, ILP 2002 Sydney …, 2003
952003
Updating knowledge bases II
A Guessoum, JW Lloyd
New Generation Computing 10, 73-100, 1991
871991
Strongly typed inductive concept learning
PA Flach, C Giraud-Carrier, JW Lloyd
Inductive Logic Programming: 8th International Conference, ILP-98 Madison …, 1998
831998
The system can't perform the operation now. Try again later.
Articles 1–20