Chatbot-based assertion generation from natural language specifications.
Oliver KeszöczeIan G. HarrisPublished in: FDL (2019)
Keyphrases
- natural language
- written in natural language
- text generation
- formal language
- natural language interface
- machine learning
- natural language generation
- high level
- question answering
- databases
- controlled natural language
- delay insensitive
- semantic interpretation
- information extraction
- artificial intelligence
- semantic analysis
- generation process
- semantic representation
- temporal logic
- logic programs
- natural language processing
- learning process
- data mining
- real time