Följ
John Lloyd
John Lloyd
Professor Emeritus of Computer Science, The Australian National University
Verifierad e-postadress på cecs.anu.edu.au
Titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20