MPI-I-92-237
Path Indexing for Term Retrieval
Graf, Peter
April 1992, 12 pages.
.
Status: available - back from printing
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. Eventually, experiments will show that our im-
plementation outperforms the implementation of path
indexing in the OTTER theorem prover.
-
- Attachement: MPI-I-92-237.dvi (96 KBytes)
URL to this document: https://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/1992-237
BibTeX
@TECHREPORT{Graf92,
AUTHOR = {Graf, Peter},
TITLE = {Path Indexing for Term Retrieval},
TYPE = {Research Report},
INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
ADDRESS = {Im Stadtwald, D-66123 Saarbr{\"u}cken, Germany},
NUMBER = {MPI-I-92-237},
MONTH = {April},
YEAR = {1992},
}