Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
John W. Lloyd
2010 – today
- 2012
[i1]Marcus Hutter, John W. Lloyd, Kee Siong Ng, William T. B. Uther: Probabilities on Sentences in an Expressive Logic. CoRR abs/1209.2620 (2012)- 2011
- [j21]John W. Lloyd, Kee Siong Ng: Declarative programming for agent applications. Autonomous Agents and Multi-Agent Systems 23(2): 224-272 (2011)
2000 – 2009
- 2009
- [j20]Kee Siong Ng, John W. Lloyd: Probabilistic reasoning in a classical logic. J. Applied Logic 7(2): 218-238 (2009)
- 2008
- [j19]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
- [c25]
- [c24]
- [c23]
- 2006
- [c22]
- 2005
- [c21]Joshua J. Cole, Matt J. Gray, John W. Lloyd, Kee Siong Ng: Personalisation for user agents. AAMAS 2005: 603-610
- [c20]John W. Lloyd, Tim D. Sears: An Architecture for Rational Agents. Probabilistic, Logical and Relational Learning 2005
- [c19]
- [c18]
- 2004
- [j18]Thomas Gärtner, John W. Lloyd, Peter A. Flach: Kernels and Distances for Structured Data. Machine Learning 57(3): 205-232 (2004)
- 2003
- [b4]John W. Lloyd: Logic for learning - learning comprehensible theories from structured data. Cognitive Technologies, Springer 2003, ISBN 978-3-540-42027-9, pp. I-X, 1-256
- [c17]
- 2002
- [c16]John W. Lloyd: Higher-Order Computational Logic. Computational Logic: Logic Programming and Beyond 2002: 105-137
- [c15]
- [c14]John W. Lloyd: Learning Comprehensible Theories from Structured Data. Machine Learning Summer School 2002: 203-225
- 2000
- [j17]John W. Lloyd: Predicate Construction in Higher-order Logic. Electron. Trans. Artif. Intell. 4(B): 21-51 (2000)
- [c13]Antony F. Bowers, Christophe G. Giraud-Carrier, John W. Lloyd: Classification of Individuals with Complex Structure. ICML 2000: 81-88
- [e1]John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (Eds.): Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Lecture Notes in Computer Science 1861, Springer 2000, ISBN 3-540-67797-6
1990 – 1999
- 1999
- [j16]John W. Lloyd: Programming in an Integrated Functional and Logic Language. Journal of Functional and Logic Programming 1999(3) (1999)
- 1998
- [c12]Peter A. Flach, Christophe G. Giraud-Carrier, John W. Lloyd: Strongly Typed Inductive Concept Learning. ILP 1998: 185-194
- 1995
- [c11]John W. Lloyd: Debugging for a Declarative Programming Language. Machine Intelligence 15 1995: 341-359
- [c10]John W. Lloyd: Integration of Functional and Logic Programming Languages (Panel Abstract). ILPS 1995: 619-620
- 1994
- [b3]Patricia M. Hill, John W. Lloyd: The Gödel programming language. MIT Press 1994, ISBN 978-0-262-08229-7, pp. I-XX, 1-348
- [c9]
- [c8]
- 1991
- [j15]John W. Lloyd, John C. Shepherdson: Partial Evaluation in Logic Programming. J. Log. Program. 11(3&4): 217-242 (1991)
- [j14]Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases II. New Generation Comput. 10(1): 73-100 (1991)
- 1990
- [j13]Patricia M. Hill, John W. Lloyd, John C. Shepherdson: Properties of a Pruning Operator. J. Log. Comput. 1(1): 99-143 (1990)
- [j12]
- [c7]Kerima Benkerimi, John W. Lloyd: A Partial Evaluation Procedure for Logic Programs. NACLP 1990: 343-358
1980 – 1989
- 1989
- [j11]Lawrence Cavedon, John W. Lloyd: A Completeness Theorem for SLDNF Resolution. J. Log. Program. 7(3): 177-191 (1989)
- [c6]
- [c5]John W. Lloyd: Meta-Programming for Knowledge Base Systems (Extended Abstract). Wissensbasierte Systeme 1989: 12-16
- 1988
- [c4]
- [c3]
- 1987
- [b2]John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
- [j10]John W. Lloyd, Liz Sonenberg, Rodney W. Topor: Integrity Constraint Checking in Stratified Databases. J. Log. Program. 4(4): 331-343 (1987)
- 1986
- [j9]John W. Lloyd, Rodney W. Topor: A Basis for Deductive Database Systems II. J. Log. Program. 3(1): 55-67 (1986)
- 1985
- [j8]John W. Lloyd, Rodney W. Topor: A Basis for Deductive Database Systems. J. Log. Program. 2(2): 93-109 (1985)
- 1984
- [b1]John W. Lloyd: Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6
- [j7]Maarten H. van Emden, John W. Lloyd: A Logical Reconstruction of Prolog II. J. Log. Program. 1(2): 143-149 (1984)
- [j6]John W. Lloyd, Rodney W. Topor: Making Prolog more Expressive. J. Log. Program. 1(3): 225-240 (1984)
- [c2]
- 1983
- [j5]John W. Lloyd: An Introduction to Deductive Database Systems. Australian Computer Journal 15(2): 52-57 (1983)
- [j4]Kotagiri Ramamohanarao, John W. Lloyd: Partial-Match Retrieval Using Hashing and Descriptors. ACM Trans. Database Syst. 8(4): 552-576 (1983)
- [c1]Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd: Completeness of the Negation as Failure Rule. IJCAI 1983: 500-506
- 1982
- [j3]John W. Lloyd, Kotagiri Ramamohanarao: Partial Match Retrieval for Dynamic Files. BIT 22(2): 150-168 (1982)
- [j2]
- 1980
- [j1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:17 CEST by the dblp team