Propositional Logic Representations for Documents and Queries: A Large-Scale Evaluation.
David E. LosadaAlvaro BarreiroPublished in: ECIR (2003)
Keyphrases
- propositional logic
- relevance judgements
- relevance judgments
- retrieval strategies
- relevance assessments
- first order logic
- belief revision
- user queries
- retrieval systems
- database
- information retrieval systems
- information retrieval
- test collection
- quantified boolean formulae
- relevant documents
- web search engines
- query processing
- query terms
- query evaluation
- document collections
- lattice theory
- xml documents
- xml retrieval
- satisfiability testing
- machine learning
- search engine
- propositional satisfiability
- search algorithm
- database queries
- query language
- knowledge representation
- relevance feedback
- expressive power
- language model
- query expansion