Philosophical logic
Logical consequence
Computational linguistics
Data mining
Natural language processing
Automatic summarization
Abstract
Semantics
Annotation
Logic
Philosophy
Science