Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!uunet!munnari.oz.au!uniwa!wacsvax!nick
From: nick@wacsvax.OZ (Nick Lewins)
Newsgroups: comp.ai
Subject: Machine Learning in Theorem Proving?
Keywords: Machine Learning, Theorem Proving, Nuprl, EBL
Message-ID: <1288@wacsvax.OZ>
Date: 8 Nov 89 06:17:27 GMT
Organization: Comp Sci, Uni. Western Australia.
Lines: 15


Can anyone give me some pointers to literature on the application of
learning methods to the theorem proving domain?   I am specifically 
interested in the application of explanation-based learning to the 
"Nuprl" proof development system.

Thanks,

Nick.
+--------------------------------+--------------------------------------------+
Nick Lewins                      |     ARPA: nick%wacsvax.uwa.oz@uunet.uu.net
Dept. of Computer Science        |     UUCP: ..!uunet!munnari!wacsvax!nick
University of Western Australia  |     ACSnet: nick@wacsvax.uwa.oz       
CRAWLEY, Australia 6009          |     PHONE:  +61 9 380 2305 
+--------------------------------+--------------------------------------------+