Path indexing for term retrieval

Graf, Peter

Local TagsRelease HistoryDetailsSummary

Path indexing for term retrieval

Graf, P.(1992). Path indexing for term retrieval (MPI-I-92-237). Saarbrücken: Max-Planck-Institut für Informatik.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-B320-8 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002D-E3D7-6

Genre: Report

Files

show Files

hide Files

:

MPI-I-92-237.pdf (Any fulltext), 141KB

View Save

File Permalink:
https://hdl.handle.net/11858/00-001M-0000-0027-83D4-9

Name:
MPI-I-92-237.pdf

Description:
-

OA-Status:

Visibility:
Public

MIME-Type / Checksum:
application/pdf / [MD5]

Technical Metadata:

View

Copyright Date:
-

Copyright Info:
-

License:
-

Locators

show

Creators

show

hide

Creators:
Graf, Peter¹, Author

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

hide

Free keywords: -

Abstract: 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.

Details

show

hide

Language(s): eng - English

Dates: Date issued: 1992

Publication Status: Issued

Pages: 12 p.

Publishing info: Saarbrücken : Max-Planck-Institut für Informatik

Table of Contents: -

Rev. Type: -

Identifiers: Report Nr.: MPI-I-92-237
BibTex Citekey: Graf92

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Research Report

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -