John W. Lloyd - RankMe

55 papers A* 2A 2B 6Journal 24Unranked 15

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Factored Conditional Filtering: Tracking States and Estimating Parameters in High-Dimensional Spaces. CoRR Dawei Chen, Samuel Yang-Zhao, John W. Lloyd, Kee Siong Ng
2013	J	`jnl`	Probabilities on Sentences in an Expressive Logic. J. Appl. Log. Marcus Hutter, John W. Lloyd, Kee Siong Ng, William T. B. Uther
2012	J	`jnl`	Probabilities on Sentences in an Expressive Logic CoRR Marcus Hutter, John W. Lloyd, Kee Siong Ng, William T. B. Uther
2011	J	`jnl`	Declarative programming for agent applications. Auton. Agents Multi Agent Syst. John W. Lloyd, Kee Siong Ng
2009	J	`jnl`	Probabilistic reasoning in a classical logic. J. Appl. Log. Kee Siong Ng, John W. Lloyd
2008	J	`jnl`	Probabilistic modelling, inference and learning using logical theories. Ann. Math. Artif. Intell. Kee Siong Ng, John W. Lloyd, William T. B. Uther
2007	A	`conf`	Declarative programming for artificial intelligence applications. ICFP John W. Lloyd
2007	—	`conf`	Probabilistic and Logical Beliefs. LADS John W. Lloyd, Kee Siong Ng
2007	—	`conf`	Reflections on Agent Beliefs. DALT John W. Lloyd, Kee Siong Ng
2006	B	`conf`	Learning Modal Theories. ILP John W. Lloyd, Kee Siong Ng
2005	—	`conf`	An Architecture for Rational Agents. Probabilistic, Logical and Relational Learning John W. Lloyd, Tim D. Sears
2005	—	`conf`	An Architecture for Rational Agents. DALT John W. Lloyd, Tim D. Sears
2005	A	`conf`	Personalisation for user agents. AAMAS Joshua J. Cole, Matt J. Gray, John W. Lloyd, Kee Siong Ng
2005	B	`conf`	Predicate Selection for Structural Decision Trees. ILP Kee Siong Ng, John W. Lloyd
2004	J	`jnl`	Kernels and Distances for Structured Data. Mach. Learn. Thomas Gärtner, John W. Lloyd, Peter A. Flach
2003	B	`conf`	Agents that Reason and Learn. ILP John W. Lloyd
2003	—	`book`	Logic for learning - learning comprehensible theories from structured data. John W. Lloyd
2002	—	`conf`	Higher-Order Computational Logic. Computational Logic: Logic Programming and Beyond John W. Lloyd
2002	B	`conf`	Kernels for Structured Data. ILP Thomas Gärtner, John W. Lloyd, Peter A. Flach
2002	—	`conf`	Learning Comprehensible Theories from Structured Data. Machine Learning Summer School John W. Lloyd
2000	A*	`conf`	Classification of Individuals with Complex Structure. ICML Antony Francis Bowers, Christophe G. Giraud-Carrier, John W. Lloyd
2000	—	`ed.`	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings CL John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey
2000	J	`jnl`	Predicate Construction in Higher-order Logic. Electron. Trans. Artif. Intell. John W. Lloyd
1999	J	`jnl`	Programming in an Integrated Functional and Logic Language. J. Funct. Log. Program. John W. Lloyd
1998	B	`conf`	Strongly Typed Inductive Concept Learning. ILP Peter A. Flach, Christophe G. Giraud-Carrier, John W. Lloyd
1995	—	`conf`	Debugging for a Declarative Programming Language. Machine Intelligence 15 John W. Lloyd
1995	—	`conf`	Integration of Functional and Logic Programming Languages (Panel Abstract). ILPS John W. Lloyd
1995	—	`ed.`	Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, USA, December 4-7, 1995 ILPS John W. Lloyd
1994	—	`conf`	Combining Functional and Logic Programming Languages. ILPS John W. Lloyd
1994	—	`conf`	Practical Advtanages of Declarative Programming. GULP-PRODE (1) John W. Lloyd
1994	—	`book`	The Gödel programming language. Patricia M. Hill, John W. Lloyd
1991	J	`jnl`	Partial Evaluation in Logic Programming. J. Log. Program. John W. Lloyd, John C. Shepherdson
1991	J	`jnl`	Updating Knowledge Bases II. New Gener. Comput. Ahmed Guessoum, John W. Lloyd
1990	—	`conf`	A Partial Evaluation Procedure for Logic Programs. NACLP Kerima Benkerimi, John W. Lloyd
1990	J	`jnl`	Properties of a Pruning Operator. J. Log. Comput. Patricia M. Hill, John W. Lloyd, John C. Shepherdson
1990	J	`jnl`	Updating Knowledge Bases. New Gener. Comput. Ahmed Guessoum, John W. Lloyd
1989	J	`jnl`	A Completeness Theorem for SLDNF Resolution. J. Log. Program. Lawrence Cavedon, John W. Lloyd
1989	—	`conf`	Logic as a Foundation for Deductive Database Systems. IFIP Congress John W. Lloyd
1989	—	`conf`	Meta-Programming for Knowledge Base Systems (Extended Abstract). Wissensbasierte Systeme John W. Lloyd
1988	—	`conf`	Analysis of Meta-Programs. META Patricia M. Hill, John W. Lloyd
1988	—	`conf`	Directions for Meta-Programming. FGCS John W. Lloyd
1987	—	`book`	Foundations of Logic Programming, 2nd Edition John W. Lloyd
1987	J	`jnl`	Integrity Constraint Checking in Stratified Databases. J. Log. Program. John W. Lloyd, Liz Sonenberg, Rodney W. Topor
1986	J	`jnl`	A Basis for Deductive Database Systems II. J. Log. Program. John W. Lloyd, Rodney W. Topor
1985	J	`jnl`	A Basis for Deductive Database Systems. J. Log. Program. John W. Lloyd, Rodney W. Topor
1984	B	`conf`	A Logical Reconstruction of Prolog II. ICLP Maarten H. van Emden, John W. Lloyd
1984	J	`jnl`	A Logical Reconstruction of Prolog II. J. Log. Program. Maarten H. van Emden, John W. Lloyd
1984	—	`book`	Foundations of Logic Programming, 1st Edition John W. Lloyd
1984	J	`jnl`	Making Prolog more Expressive. J. Log. Program. John W. Lloyd, Rodney W. Topor
1983	J	`jnl`	An Introduction to Deductive Database Systems. Aust. Comput. J. John W. Lloyd
1983	A*	`conf`	Completeness of the Negation as Failure Rule. IJCAI Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd
1983	J	`jnl`	Partial-Match Retrieval Using Hashing and Descriptors. ACM Trans. Database Syst. Kotagiri Ramamohanarao, John W. Lloyd
1982	J	`jnl`	Dynamic Hashing Schemes. Comput. J. Kotagiri Ramamohanarao, John W. Lloyd
1982	J	`jnl`	Partial Match Retrieval for Dynamic Files. BIT John W. Lloyd, Kotagiri Ramamohanarao
1980	J	`jnl`	Optimal Partial-Match Retrieval. BIT John W. Lloyd