John W. Lloyd

	2011
51		John W. Lloyd, Kee Siong Ng: Declarative programming for agent applications. Autonomous Agents and Multi-Agent Systems 23(2): 224-272 (2011)
	2009
50		Kee Siong Ng, John W. Lloyd: Probabilistic reasoning in a classical logic. J. Applied Logic 7(2): 218-238 (2009)
	2008
49		Kee Siong Ng, John W. Lloyd, William T. B. Uther: Probabilistic modelling, inference and learning using logical theories. Ann. Math. Artif. Intell. 54(1-3): 159-205 (2008)
	2007
48		John W. Lloyd, Kee Siong Ng: Reflections on Agent Beliefs. DALT 2007: 122-139
47		John W. Lloyd: Declarative programming for artificial intelligence applications. ICFP 2007: 123-124
46		John W. Lloyd, Kee Siong Ng: Probabilistic and Logical Beliefs. LADS 2007: 19-36
	2006
45		John W. Lloyd, Kee Siong Ng: Learning Modal Theories. ILP 2006: 320-334
	2005
44		Joshua J. Cole, Matt J. Gray, John W. Lloyd, Kee Siong Ng: Personalisation for user agents. AAMAS 2005: 603-610
43		John W. Lloyd, Tim D. Sears: An Architecture for Rational Agents. DALT 2005: 51-71
42		Kee Siong Ng, John W. Lloyd: Predicate Selection for Structural Decision Trees. ILP 2005: 264-278
41		John W. Lloyd, Tim D. Sears: An Architecture for Rational Agents. Probabilistic, Logical and Relational Learning 2005
	2004
40		Thomas Gärtner, John W. Lloyd, Peter A. Flach: Kernels and Distances for Structured Data. Machine Learning 57(3): 205-232 (2004)
	2003
39		John W. Lloyd: Logic for learning - learning comprehensible theories from structured data. Springer 2003: I-X, 1-256
38		John W. Lloyd: Agents that Reason and Learn. ILP 2003: 2-3
	2002
37		John W. Lloyd: Higher-Order Computational Logic. Computational Logic: Logic Programming and Beyond 2002: 105-137
36		Thomas Gärtner, John W. Lloyd, Peter A. Flach: Kernels for Structured Data. ILP 2002: 66-83
35		John W. Lloyd: Learning Comprehensible Theories from Structured Data. Machine Learning Summer School 2002: 203-225
	2000
34		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
33		Antony F. Bowers, Christophe G. Giraud-Carrier, John W. Lloyd: Classification of Individuals with Complex Structure. ICML 2000: 81-88
32		John W. Lloyd: Predicate Construction in Higher-order Logic. Electron. Trans. Artif. Intell. 4(B): 21-51 (2000)
	1999
31		John W. Lloyd: Programming in an Integrated Functional and Logic Language. Journal of Functional and Logic Programming 1999(3): (1999)
	1998
30		Peter A. Flach, Christophe G. Giraud-Carrier, John W. Lloyd: Strongly Typed Inductive Concept Learning. ILP 1998: 185-194
	1995
29		John W. Lloyd: Integration of Functional and Logic Programming Languages (Panel Abstract). ILPS 1995: 619-620
28		John W. Lloyd: Debugging for a Declarative Programming Language. Machine Intelligence 15 1995: 341-359
	1994
27		Patricia M. Hill, John W. Lloyd: The Gödel programming language. MIT Press 1994: I-XX, 1-348
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		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	[33]
3	Lawrence Cavedon	[17]
4	Joshua J. Cole	[44]
5	Verónica Dahl	[34]
6	Maarten H. van Emden	[8] [9]
7	Peter A. Flach	[30] [36] [40]
8	Ulrich Furbach	[34]
9	Thomas Gärtner	[36] [40]
10	Christophe G. Giraud-Carrier	[30] [33]
11	Matt J. Gray	[44]
12	Ahmed Guessoum	[20] [23]
13	Patricia M. Hill	[15] [21] [27]
14	Joxan Jaffar	[6]
15	Manfred Kerber	[34]
16	Jean-Louis Lassez	[6]
17	Kung-Kiu Lau	[34]
18	Kee Siong Ng	[42] [44] [45] [46] [48] [49] [50] [51]
19	Catuscia Palamidessi	[34]
20	Luís Moniz Pereira (Luíz Moniz Pereira)	[34]
21	Kotagiri Ramamohanarao (Rao Kotagiri)	[2] [3] [5]
22	Yehoshua Sagiv	[34]
23	Tim D. Sears	[41] [43]
24	John C. Shepherdson	[21] [24]
25	Liz Sonenberg	[13]
26	Peter J. Stuckey	[34]
27	Rodney W. Topor	[7] [11] [12] [13]
28	William T. B. Uther	[49]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page