Keyphrases
- natural language
- formal model
- analogical reasoning
- formal specification
- data sets
- learning algorithm
- case study
- computational model
- semantic relations
- multi document summarization
- logical formulas
- syntactic analysis
- automatic summarization
- formal language
- mathematical theory
- text corpus
- computational models
- information retrieval