Keyphrases
- linguistic analysis
- word pairs
- relation algebra
- n gram
- logic programming
- semantic relations
- dependency relations
- computational properties
- word meaning
- word segmentation
- automated reasoning
- modal logic
- word meanings
- classical logic
- word recognition
- multiword
- lexico syntactic
- truth values
- keywords
- text segments
- deontic logic
- proof theory
- web pages
- english words
- unknown words
- modal operators
- grammar rules
- formal theory
- logic programs
- horn clauses
- belief revision