Keyphrases
- theorem prover
- natural deduction
- document retrieval
- test bed
- theorem proving
- document collections
- information retrieval systems
- document images
- document classification
- retrieval systems
- database
- vector space model
- inference rules
- digital documents
- first order logic
- web documents
- information retrieval
- neural network
- cut elimination
- data sets
- document content
- early vision
- document analysis
- structured documents
- document representation
- document clustering
- text documents
- multimedia documents
- keywords
- complete axiomatization