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
9358*1987
Partial evaluation in logic programming
JW Lloyd, JC Shepherdson
The Journal of Logic Programming 11 (3-4), 217-242, 1991
6171991
Making Prolog more expressive
JW Lloyd, RW Topor
The Journal of Logic Programming 1 (3), 225-240, 1984
5121984
The Gödel programming language
P Hill, JW Lloyd
MIT press, 1994
5091994
Kernels for structured data
T Gaertner, J Lloyd, P Flach
Inductive Logic Programming, 66-83, 2003
356*2003
Practical Advtanages of Declarative Programming.
JW Lloyd
GULP-PRODE (1), 18-30, 1994
2551994
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
2071987
Integrity constraint checking in stratified databases
JW Lloyd, EA Sonenberg, RW Topor
The Journal of Logic Programming 4 (4), 331-343, 1987
1981987
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
1721988
A basis for deductive database systems II
JW Lloyd, RW Topor
The Journal of Logic Programming 3 (1), 55-67, 1986
1621986
Updating knowledge bases
A Guessoum, JW Lloyd
New Generation Computing 8, 71-89, 1990
1381990
Declarative programming in Escher
JW Lloyd
Technical Report CSTR-95-013, Department of Computer Science, University of …, 1995
1371995
Completeness of the negation as failure rule
J Jaffar, JL Lassez, J Lloyd
Proceedings of the Eighth international joint conference on Artificial …, 1983
1361983
Programming in an integrated functional and logic language
JW Lloyd
Journal of Functional and Logic Programming 3 (1-49), 68-69, 1999
1311999
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
821998
The system can't perform the operation now. Try again later.
Articles 1–20