Deduction over mixed-level logic representations for text passage retrieval
Hess, M · Zurich Open Repository and Archive (University of Zurich) · 1996
A system is described that uses a mixed-level representation of (part of) the meaning of natural language documents (based on standard Horn Clause Logic) and a variable-depth search strategy that distinguishes between the different levels of abstraction in the knowledge representation to locate specific passages in the documents. Mixed-level representations as well as variable-depth search strategies are applicable in fields outside that of NLP.