Keyphrases
- natural language interface
- formal language
- natural language
- user interface
- machine learning
- direct manipulation
- user friendly
- visual interface
- graphical interface
- formal specification
- genetic algorithm
- information retrieval
- natural language understanding
- human computer interface
- linguistic knowledge
- formal verification
- petri net
- question answering
- databases