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 eviews 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 implementation outperforms the implementation of path indexing in the OTTER theorem prover.
Categories / Keywords:
Term Retrieval, Discrimination Tree Indexing, Path-Indexing, Abstraction Tree Indexing, Query Tree
-
MPI-I-92-237.pdf
- Attachement: MPI-I-92-237.dvi (96 KBytes); MPI-I-92-237.pdf (141 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},
ISSN = {0946-011X},
}