default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJohn W. Lloyd
Person information
- affiliation: Australian National University, Acton, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 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 [contents]- 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 - 1987
- [b2]John W. Lloyd:
Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7 - 1984
- [b1]John W. Lloyd:
Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6
Journal Articles
- 2013
- [j22]Marcus Hutter
, John W. Lloyd, Kee Siong Ng, William T. B. Uther:
Probabilities on Sentences in an Expressive Logic. J. Appl. Log. 11(4): 386-420 (2013) - 2011
- [j21]John W. Lloyd, Kee Siong Ng:
Declarative programming for agent applications. Auton. Agents Multi Agent Syst. 23(2): 224-272 (2011) - 2009
- [j20]Kee Siong Ng, John W. Lloyd:
Probabilistic reasoning in a classical logic. J. Appl. Log. 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) - 2004
- [j18]Thomas Gärtner, John W. Lloyd, Peter A. Flach:
Kernels and Distances for Structured Data. Mach. Learn. 57(3): 205-232 (2004) - 2000
- [j17]John W. Lloyd:
Predicate Construction in Higher-order Logic. Electron. Trans. Artif. Intell. 4(B): 21-51 (2000) - 1999
- [j16]John W. Lloyd:
Programming in an Integrated Functional and Logic Language. J. Funct. Log. Program. 1999(3) (1999) - 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 Gener. 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]Ahmed Guessoum, John W. Lloyd:
Updating Knowledge Bases. New Gener. Comput. 8(1): 71-89 (1990) - 1989
- [j11]Lawrence Cavedon, John W. Lloyd:
A Completeness Theorem for SLDNF Resolution. J. Log. Program. 7(3): 177-191 (1989) - 1987
- [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
- [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) - 1983
- [j5]John W. Lloyd:
An Introduction to Deductive Database Systems. Aust. Comput. J. 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) - 1982
- [j3]John W. Lloyd, Kotagiri Ramamohanarao:
Partial Match Retrieval for Dynamic Files. BIT 22(2): 150-168 (1982) - [j2]Kotagiri Ramamohanarao, John W. Lloyd:
Dynamic Hashing Schemes. Comput. J. 25(4): 478-485 (1982) - 1980
- [j1]John W. Lloyd:
Optimal Partial-Match Retrieval. BIT 20(4): 406-413 (1980)
Conference and Workshop Papers
- 2007
- [c24]John W. Lloyd, Kee Siong Ng:
Reflections on Agent Beliefs. DALT 2007: 122-139 - [c23]John W. Lloyd:
Declarative programming for artificial intelligence applications. ICFP 2007: 123-124 - [c22]John W. Lloyd, Kee Siong Ng:
Probabilistic and Logical Beliefs. LADS 2007: 19-36 - 2006
- [c21]John W. Lloyd, Kee Siong Ng:
Learning Modal Theories. ILP 2006: 320-334 - 2005
- [c20]Joshua J. Cole, Matt J. Gray, John W. Lloyd, Kee Siong Ng:
Personalisation for user agents. AAMAS 2005: 603-610 - [c19]John W. Lloyd, Tim D. Sears:
An Architecture for Rational Agents. DALT 2005: 51-71 - [c18]Kee Siong Ng, John W. Lloyd:
Predicate Selection for Structural Decision Trees. ILP 2005: 264-278 - 2003
- [c17]John W. Lloyd:
Agents that Reason and Learn. ILP 2003: 2-3 - 2002
- [c16]John W. Lloyd:
Higher-Order Computational Logic. Computational Logic: Logic Programming and Beyond 2002: 105-137 - [c15]Thomas Gärtner, John W. Lloyd, Peter A. Flach:
Kernels for Structured Data. ILP 2002: 66-83 - [c14]John W. Lloyd:
Learning Comprehensible Theories from Structured Data. Machine Learning Summer School 2002: 203-225 - 2000
- [c13]Antony Francis Bowers, Christophe G. Giraud-Carrier, John W. Lloyd:
Classification of Individuals with Complex Structure. ICML 2000: 81-88 - 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
- [c9]John W. Lloyd:
Practical Advtanages of Declarative Programming. GULP-PRODE (1) 1994: 18-30 - [c8]John W. Lloyd:
Combining Functional and Logic Programming Languages. ILPS 1994: 43-57 - 1990
- [c7]Kerima Benkerimi, John W. Lloyd:
A Partial Evaluation Procedure for Logic Programs. NACLP 1990: 343-358 - 1989
- [c6]John W. Lloyd:
Logic as a Foundation for Deductive Database Systems. IFIP Congress 1989: 323-324 - [c5]John W. Lloyd:
Meta-Programming for Knowledge Base Systems (Extended Abstract). Wissensbasierte Systeme 1989: 12-16 - 1988
- [c4]John W. Lloyd:
Directions for Meta-Programming. FGCS 1988: 609-617 - [c3]Patricia M. Hill, John W. Lloyd:
Analysis of Meta-Programs. META 1988: 23-51 - 1984
- [c2]Maarten H. van Emden, John W. Lloyd:
A Logical Reconstruction of Prolog II. ICLP 1984: 35-40 - 1983
- [c1]Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd:
Completeness of the Negation as Failure Rule. IJCAI 1983: 500-506
Editorship
- 2000
- [e2]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. Lecture Notes in Computer Science 1861, Springer 2000, ISBN 3-540-67797-6 [contents] - 1995
- [e1]John W. Lloyd:
Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, USA, December 4-7, 1995. MIT Press 1995, ISBN 0-262-62099-5 [contents]
Informal and Other Publications
- 2022
- [i3]Dawei Chen, Samuel Yang-Zhao, John W. Lloyd, Kee Siong Ng:
Factored Conditional Filtering: Tracking States and Estimating Parameters in High-Dimensional Spaces. CoRR abs/2206.02178 (2022) - 2012
- [i2]Marcus Hutter, John W. Lloyd, Kee Siong Ng, William T. B. Uther:
Probabilities on Sentences in an Expressive Logic. CoRR abs/1209.2620 (2012) - 2005
- [i1]John W. Lloyd, Tim D. Sears:
An Architecture for Rational Agents. Probabilistic, Logical and Relational Learning 2005
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
