Knowledge Representation, Computation, and Learning in Higher-order Logic (2001)

by J.W. Lloyd
Venue:In preparation
Citations:10 - 7 self

Active Bibliography

2 Higher-order Computational Logic – Lloyd Computer Sciences, J. W. Lloyd - 2002
1 Declarative Programming for Agent Applications – J. W. Lloyd, K. S. Ng
65 Programming in an Integrated Functional and Logic Language – J. W. Lloyd, Y. Guo, M. Hagiya - 1999
4 A Unifying View of Knowledge Representation for Inductive Learning – A.F. Bowers, C. Giraud-Carrier, J.W. Lloyd - 2000
2 Effective Meta-programming in Declarative Languages – Antony Francis Bowers - 1998
19 Higher Order Logic – Daniel Leivant - 1994
23 Nominal logic programming – James Cheney, Christian Urban - 2006
Alkemy: A Learning System based on an . . . – Kee Siong Ng - 2004
Lazy Type Checking in Functional Logic Programming – Jesús M. Almendros-Jiménez
A Logical Setting for the Unification of Attribute-Value and Relational Learning – J.W. Lloyd - 2000
1 Predicate Construction in Higher-order Logic – Lloyd Computer Sciences, J. W. Lloyd, J. W. Lloyd
4 Sorted HiLog: Sorts in Higher-Order Logic Data Languages – Weidong Chen, Michael Kifer - 1994
6 Typed static analysis: Application to groundness analysis of Prolog and lambda-Prolog – Olivier Ridoux, Patrice Boizumault - 1999
2 A Complete Axiomatization of Higher-Order Intuitionistic Logic – Marcelo E. Coniglio, Cristina Sernadas - 2001
9 Probabilistic Modelling, Inference and Learning using Logical Theories – K. S. Ng, J. W. Lloyd, W. T. B. Uther
213 HiLog: A foundation for higher-order logic programming – Weidong Chen, Michael Kifer, David S. Warren - 1993
20 Algebra of logic programming – Silvija Seres - 1999
6 A New Framework for Declarative Programming – Stacy E. Finkelstein, Peter Freyd, James Lipton - 2001
13 GOFFIN: Higher-Order Functions Meet Concurrent Constraints – Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock - 1997