Keyphrases
- text generation
- natural language generation
- natural language
- theorem prover
- detailed discussion
- data sets
- natural language processing
- current status
- knowledge acquisition
- distributed systems
- domain specific
- probabilistic model
- domain knowledge
- information technology
- pattern recognition
- case study
- information retrieval
- machine learning