Automated Deduction Techniques for the Management of Personalized Documents.
Peter BaumgartnerUlrich FurbachPublished in: Ann. Math. Artif. Intell. (2003)
Keyphrases
- automated deduction
- theorem proving
- information retrieval
- inference rules
- information retrieval systems
- logic programming
- document collections
- theorem prover
- information management
- web documents
- document management
- management system
- metadata
- keywords
- document retrieval
- user queries
- knowledge management
- database
- information systems
- document classification
- deductive databases
- query terms
- relevant documents
- user profiles
- logic programs
- document clustering
- data management
- text documents
- retrieval systems
- xml documents
- vector space model
- high level
- decision making
- multilingual information retrieval