OSI protocols
Semantics
TimeML
Expression
Modal logic
Temporal expressions
Named-entity recognition
Regular expression
Language
Computing
Computational linguistics
Logic