LEARNING BY BEING TOLD: ACQUIRING KNOWLEDGE FOR INFORMATION MANAGEMENT

This publication has 5 references indexed in Scilit:

• Prolegomena to a theory of mechanized formal reasoning
  Artificial Intelligence, 1980
• Developing a natural language interface to complex data
  ACM Transactions on Database Systems, 1978
• Lifer
  ACM SIGART Bulletin, 1977
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965
• The logic theory machine--A complex information processing system
  IEEE Transactions on Information Theory, 1956