Keyphrases
- highly expressive
- programming language
- language learning
- natural language
- english language
- modal logic
- high level
- information retrieval
- specification language
- case study
- dynamic logic
- target language
- language processing
- databases
- representation language
- description logics
- data model
- modal operators
- pairwise
- java programming
- data mining