On Inference Rules of Logic-Based Information Retrieval Systems.
Patrick Shicheng ChenPublished in: Inf. Process. Manag. (1994)
Keyphrases
- inference rules
- information retrieval systems
- first order logic
- information retrieval
- modal logic
- theorem proving
- document collections
- retrieval systems
- theorem prover
- retrieval effectiveness
- knowledge representation
- query expansion
- user queries
- relevant documents
- retrieval model
- relevance feedback
- search queries
- knowledge base
- retrieval engine
- conditional probabilities
- database management systems
- probabilistic model
- feature extraction
- document indexing
- set of inference rules