Path Indexing for Term Retrieval

Abstract

Different methods for term retrieval in deduction systems have been introduced in literature. This report reviews the three indexing techniques discrimination indexing, path indexing, and abstraction tree indexing. A formal approach to path indexing is presented and algorithms as well as data structures of an existing implementation are discussed… (More)

Topics

12 Figures and Tables

Cite this paper

@inproceedings{Graf2013PathIF, title={Path Indexing for Term Retrieval}, author={Peter J. Graf}, year={2013} }