On a chain of transformations for generating alloy from NL constraints.

Imran Sarwar Bajwa Behzad Bordbar Kyriakos Anastasakis Mark G. Lee

Published in: ICDIM (2012)

Keyphrases

natural language
constrained optimization
databases
neural network
case study
bayesian networks
natural language understanding
computer vision
knowledge representation
constraint satisfaction
global constraints
linear constraints
natural language interface