Keyphrases
- information retrieval
- modal logic
- search engine
- document collections
- information retrieval systems
- set theory
- information extraction
- multi valued
- question answering
- artificial intelligence
- language model
- logic programming
- query expansion
- text mining
- retrieval systems
- learning to rank
- information access
- information filtering
- asynchronous circuits
- epistemic logic
- classical logic
- logical framework
- proof theory
- retrieval model
- automated reasoning
- language processing
- retrieval effectiveness
- text retrieval
- database
- test collection
- relevance feedback
- neural network