First thoughts on modal logic for document processing.
Allen RenearPublished in: Extreme Markup Languages® (2003)
Keyphrases
- modal logic
- document processing
- digital libraries
- temporal logic
- information retrieval
- document images
- epistemic logic
- document analysis
- conditional logic
- nonmonotonic logics
- document clustering
- default logic
- text processing
- textual documents
- information extraction
- situation calculus
- multimedia documents
- metadata
- content based retrieval
- model checking
- text mining
- html documents
- document collections
- image analysis
- multi agent
- dynamic logic