NL2 Alloy: A Tool to Generate Alloy from NL Constraints.
Imran Sarwar BajwaBehzad BordbarMark G. LeeKyriakos AnastasakisPublished in: J. Digit. Inf. Manag. (2012)
Keyphrases
- natural language
- mechanical properties
- formal language
- natural language understanding
- software tools
- linguistic knowledge
- written in natural language
- man machine communication
- question answering
- natural language interface
- natural language questions
- constraint satisfaction
- natural language processing
- semantic interpretation
- automatically generate
- stainless steel
- neural network
- geometric constraints
- information systems
- global constraints
- semantic analysis
- knowledge representation
- language understanding
- expert systems
- optimal solution
- bayesian networks
- learning algorithm