MPI-INF Logo
MPI-INF/SWS Research Reports 1991-2017

2. Number - only D2

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.

  • MPI-I-92-237.dvi
  • Attachement: MPI-I-92-237.dvi (96 KBytes)

URL to this document: http://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/1992-237

Hide details for BibTeXBibTeX
@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},
}