Isar - A Generic Interpretative Approach to Readable Formal Proof Documents.
Markus WenzelPublished in: TPHOLs (1999)
Keyphrases
- formal proof
- document collections
- information retrieval
- theorem prover
- web documents
- metadata
- document retrieval
- relevant documents
- text documents
- legal documents
- document clustering
- information retrieval systems
- domain specific
- xml documents
- user queries
- database
- free text
- document classification
- keywords
- vector space model
- multi document summarization
- artificial intelligence
- moving target
- structured documents
- document set
- electronic documents
- machine learning