Keyphrases
- intended meaning
- nonmonotonic logics
- natural language
- formal semantics
- semantic representations
- theoretical analysis
- multiple views
- text summarization
- operational semantics
- semantic aspects
- machine learning
- semantic information
- database
- logic programming
- programming language
- modal operators
- dynamic logic
- logical formulas