DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click HERE
to register or log in.
On the Automated Discovery of Scientific Theories
Final rept. 1 Jul 1989-31 Dec 1991
PENNSYLVANIA UNIV PHILADELPHIA
Pagination or Media Count:
This paper summarizes recent research results on applications of computational learning theory to problems involving rich systems of knowledge representation, in particular, first-order logic and extensions thereof
APPROVED FOR PUBLIC RELEASE