Higher-order computational logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2407, Issue , 2002, Pages 105-137

  Lloyd, John W ^a  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC; KNOWLEDGE REPRESENTATION;

COMPUTATIONAL LOGIC; HIGHER ORDER LOGIC; HIGHER-ORDER; METRIC SPACES; PROOF THEORY;

LOGIC PROGRAMMING;

EID: 84867660756     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45628-7_6     Document Type: Article

References (17)

1. P.B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Academic Press, 1986.
2. A.F. Bowers, C. Giraud-Carrier, and J.W. Lloyd. Classification of individuals with complex structure. In P. Langley, editor, Machine Learning: Proceedings of the Seventeenth International Conference (ICML2000), pages 81-88. Morgan Kaufmann, 2000.
3. A.F. Bowers, C. Giraud-Carrier, and J.W. Lloyd. A knowledge representation framework for inductive learning. Available at http://csl.anu.edu.au/~jwl,2001.
4. A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56-68, 1940.
5. T.G. Dietterich, R.H. Lathrop, and T. Lozano-Pérez. Solving the multiple instance problem with axis-parallel rectangles. Artificial Intelligence, 89:31-71, 1997.
6. M.J.C. Gordon and T.F. Melham. Introduction to HOL: A Theorem Proving Environment for Higher Order Logic. Cambridge University Press, 1993.
7. M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583-628, 1994.
8. M. Hanus (ed.). Curry: An integrated functional logic language. Available at http://www.informatik.uni-kiel.de/~curry.
9. S. Peyton Jones and J. Hughes (editors). Haskell98: A non-strict purely functional language. Available at http://haskell.org/.
10. R. A. Kowalski. Predicate logic as a programming language. In Information Processing 74, pages 569-574, Stockholm, 1974. North Holland.
11. J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.
12. J.W. Lloyd. Programming in an integrated functional and logic language. Journal of Functional and Logic Programming, 1999(3), March 1999.
13. J.W. Lloyd. Knowledge representation, computation, and learning in higher-order logic. Available at http://csl.anu.edu.au/~jwl, 2001.
14. T.M. Mitchell. Machine Learning. McGraw-Hill, 1997.
15. G. Nadathur and D.A. Miller. Higher-order logic programming. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, editors, The Handbook of Logic in Artificial Intelligence and Logic Programming, volume 5, pages 499-590. Oxford University Press, 1998.
16. D.A. Wolfram. The Clausal Theory of Types. Cambridge University Press, 1993.
17. Home page of Machine Learning Group, The University of York. http://www.cs.york.ac.uk/mlg/.