Parsing with restricted quantification: an initial demonstration1

This publication has 10 references indexed in Scilit:

• Knowledge retrieval as limited inference
  Published by Springer Nature ,2005
• A mechanical solution of Schubert's Steamroller by many-sorted resolution
  Artificial Intelligence, 1985
• An investigation into inference with restricted quantification and a taxonomic representation
  ACM SIGART Bulletin, 1985
• The HORNE Reasoning System. Revision
  Published by Defense Technical Information Center (DTIC) ,1984
• A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domains
  Artificial Intelligence, 1984
• An overview of the HORNE logic programming system
  ACM SIGART Bulletin, 1983
• Parsing as deduction
  Published by Association for Computational Linguistics (ACL) ,1983
• Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networks
  Artificial Intelligence, 1980
• An Approach to Deductive Question-Answering
  Published by Defense Technical Information Center (DTIC) ,1977
• Complexity and related enhancements for automated theorem-proving programs
  Computers & Mathematics with Applications, 1976