John W. Lloyd

2007
46	EE	John W. Lloyd, Kee Siong Ng: Reflections on Agent Beliefs. DALT 2007: 122-139
45	EE	John W. Lloyd: Declarative programming for artificial intelligence applications. ICFP 2007: 123-124
44	EE	John W. Lloyd, Kee Siong Ng: Probabilistic and Logical Beliefs. LADS 2007: 19-36
2006
43	EE	John W. Lloyd, Kee Siong Ng: Learning Modal Theories. ILP 2006: 320-334
2005
42	EE	Joshua J. Cole, Matt J. Gray, John W. Lloyd, Kee Siong Ng: Personalisation for user agents. AAMAS 2005: 603-610
41	EE	John W. Lloyd, Tim D. Sears: An Architecture for Rational Agents. DALT 2005: 51-71
40	EE	Kee Siong Ng, John W. Lloyd: Predicate Selection for Structural Decision Trees. ILP 2005: 264-278
39	EE	John W. Lloyd, Tim D. Sears: An Architecture for Rational Agents. Probabilistic, Logical and Relational Learning 2005
2004
38	EE	Thomas Gärtner, John W. Lloyd, Peter A. Flach: Kernels and Distances for Structured Data. Machine Learning 57(3): 205-232 (2004)
2003
37	EE	John W. Lloyd: Agents that Reason and Learn. ILP 2003: 2-3
2002
36	EE	John W. Lloyd: Higher-Order Computational Logic. Computational Logic: Logic Programming and Beyond 2002: 105-137
35	EE	Thomas Gärtner, John W. Lloyd, Peter A. Flach: Kernels for Structured Data. ILP 2002: 66-83
34	EE	John W. Lloyd: Learning Comprehensible Theories from Structured Data. Machine Learning Summer School 2002: 203-225
2000
33		John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings Springer 2000
32		Antony F. Bowers, Christophe G. Giraud-Carrier, John W. Lloyd: Classification of Individuals with Complex Structure. ICML 2000: 81-88
31	EE	John W. Lloyd: Predicate Construction in Higher-order Logic. Electron. Trans. Artif. Intell. 4(B): 21-51 (2000)
1999
30		John W. Lloyd: Programming in an Integrated Functional and Logic Language. Journal of Functional and Logic Programming 1999(3): (1999)
1998
29		Peter A. Flach, Christophe G. Giraud-Carrier, John W. Lloyd: Strongly Typed Inductive Concept Learning. ILP 1998: 185-194
1995
28		John W. Lloyd: Integration of Functional and Logic Programming Languages (Panel Abstract). ILPS 1995: 619-620
27		John W. Lloyd: Debugging for a Declarative Programming Language. Machine Intelligence 15 1995: 341-359
1994
26		John W. Lloyd: Practical Advtanages of Declarative Programming. GULP-PRODE (1) 1994: 18-30
25		John W. Lloyd: Combining Functional and Logic Programming Languages. SLP 1994: 43-57
1991
24		John W. Lloyd, John C. Shepherdson: Partial Evaluation in Logic Programming. J. Log. Program. 11(3&4): 217-242 (1991)
23		Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases II. New Generation Comput. 10(1): 73-100 (1991)
1990
22		Kerima Benkerimi, John W. Lloyd: A Partial Evaluation Procedure for Logic Programs. NACLP 1990: 343-358
21		Patricia M. Hill, John W. Lloyd, John C. Shepherdson: Properties of a Pruning Operator. J. Log. Comput. 1(1): 99-143 (1990)
20		Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases. New Generation Comput. 8(1): 71-89 (1990)
1989
19		John W. Lloyd: Logic as a Foundation for Deductive Database Systems. IFIP Congress 1989: 323-324
18		John W. Lloyd: Meta-Programming for Knowledge Base Systems (Extended Abstract). Wissensbasierte Systeme 1989: 12-16
17		Lawrence Cavedon, John W. Lloyd: A Completeness Theorem for SLDNF Resolution. J. Log. Program. 7(3): 177-191 (1989)
1988
16		John W. Lloyd: Directions for Meta-Programming. FGCS 1988: 609-617
15		Patricia M. Hill, John W. Lloyd: Analysis of Meta-Programs. META 1988: 23-51
1987
14		John W. Lloyd: Foundations of Logic Programming, 2nd Edition Springer 1987
13		John W. Lloyd, Liz Sonenberg, Rodney W. Topor: Integrity Constraint Checking in Stratified Databases. J. Log. Program. 4(4): 331-343 (1987)
1986
12		John W. Lloyd, Rodney W. Topor: A Basis for Deductive Database Systems II. J. Log. Program. 3(1): 55-67 (1986)
1985
11		John W. Lloyd, Rodney W. Topor: A Basis for Deductive Database Systems. J. Log. Program. 2(2): 93-109 (1985)
1984
10		John W. Lloyd: Foundations of Logic Programming, 1st Edition Springer 1984
9		Maarten H. van Emden, John W. Lloyd: A Logical Reconstruction of Prolog II. ICLP 1984: 35-40
8		Maarten H. van Emden, John W. Lloyd: A Logical Reconstruction of Prolog II. J. Log. Program. 1(2): 143-149 (1984)
7		John W. Lloyd, Rodney W. Topor: Making Prolog more Expressive. J. Log. Program. 1(3): 225-240 (1984)
1983
6		Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd: Completeness of the Negation as Failure Rule. IJCAI 1983: 500-506
5	EE	Kotagiri Ramamohanarao, John W. Lloyd: Partial-Match Retrieval Using Hashing and Descriptors. ACM Trans. Database Syst. 8(4): 552-576 (1983)
4		John W. Lloyd: An Introduction to Deductive Database Systems. Australian Computer Journal 15(2): 52-57 (1983)
1982
3		John W. Lloyd, Kotagiri Ramamohanarao: Partial Match Retrieval for Dynamic Files. BIT 22(2): 150-168 (1982)
2		Kotagiri Ramamohanarao, John W. Lloyd: Dynamic Hashing Schemes. Comput. J. 25(4): 478-485 (1982)
1980
1		John W. Lloyd: Optimal Partial-Match Retrieval. BIT 20(4): 406-413 (1980)

Coauthor Index

1	Kerima Benkerimi	[22]
2	Antony F. Bowers	[32]
3	Lawrence Cavedon	[17]
4	Joshua J. Cole	[42]
5	Verónica Dahl	[33]
6	Maarten H. van Emden	[8] [9]
7	Peter A. Flach	[29] [35] [38]
8	Ulrich Furbach	[33]
9	Thomas Gärtner	[35] [38]
10	Christophe G. Giraud-Carrier	[29] [32]
11	Matt J. Gray	[42]
12	Ahmed Guessoum	[20] [23]
13	Patricia M. Hill	[15] [21]
14	Joxan Jaffar	[6]
15	Manfred Kerber	[33]
16	Jean-Louis Lassez	[6]
17	Kung-Kiu Lau	[33]
18	Kee Siong Ng	[40] [42] [43] [44] [46]
19	Catuscia Palamidessi	[33]
20	Luís Moniz Pereira (Luíz Moniz Pereira)	[33]
21	Kotagiri Ramamohanarao	[2] [3] [5]
22	Yehoshua Sagiv	[33]
23	Tim D. Sears	[39] [41]
24	John C. Shepherdson	[21] [24]
25	Liz Sonenberg	[13]
26	Peter J. Stuckey	[33]
27	Rodney W. Topor	[7] [11] [12] [13]

Colors in the list of coauthors