Knowledge retrieval as limited inference

This publication has 13 references indexed in Scilit:

• What's in a semantic network?
  Published by Association for Computational Linguistics (ACL) ,1982
• Planning with constraints (MOLGEN: Part 1)
  Artificial Intelligence, 1981
• Selective backtracking for logic programs
  Published by Springer Nature ,1980
• THE SNePS SEMANTIC NETWORK PROCESSING SYSTEM
  Published by Elsevier ,1979
• Towards the automation of set theory and its logic
  Artificial Intelligence, 1978
• Negation as Failure
  Published by Springer Nature ,1978
• An overview of KRL, a Knowledge Representation Language
  Cognitive Science, 1977
• On data-limited and resource-limited processes
  Cognitive Psychology, 1975
• Extracting information from resolution proof trees
  Artificial Intelligence, 1971
• Theorem-Proving for Computers: Some Results on Resolution and Renaming
  The Computer Journal, 1966