Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Term indexing

In computer science, a term index is a data structure to facilitate fast lookup of terms and clauses in a logic program, deductive database, or… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
In Information Retrieval (IR), the efficient indexing of terabyte-scale and larger corpora is still a difficult problem… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
Efficient handling of quantifiers is crucial for solving software verification problems. E-matching algorithms are used in… Expand
  • figure 3
  • figure 4
Is this relevant?
2004
2004
This paper introduces an indexing method based on static analysis of grammar rules and type signatures for typed feature… Expand
  • figure 2
  • figure 3
  • figure 4
  • table 1
  • table 2
Is this relevant?
2003
2003
The Davis-Putnam-Logemann-Loveland procedure (DPLL) was introduced in the early 1960s as a proof procedure for first-order logic… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1995
Highly Cited
1995
No wonder you activities are, reading will be always needed. It is not only to fulfil the duties that you need to finish in… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Sophisticated maintenance and retrieval of first-order predicate calculus terms is a major key to efficient automated reasoning… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1988
Highly Cited
1988
The experimental evidence accumulated over the past 20 years indicates that textindexing systems based on the assignment of… Expand
  • table 2
  • table 1
  • table 3
  • table 4
  • table 5
Is this relevant?
1988
1988
  • M. Nelson
  • Inf. Process. Manag.
  • 1988
  • Corpus ID: 29316972
Abstract There have been several studies on the distributions of index terms, title terms, authors, and other elements employed… Expand
Is this relevant?
Highly Cited
1984
Highly Cited
1984
The paper describes research designed to improve automatic pre‐coordinate term indexing by applying powerful general‐purpose… Expand
Is this relevant?