Interactive synthesis of temporal specifications from examples and natural language.
Ivan GavranEva DarulovaRupak MajumdarPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- natural language
- written in natural language
- natural language processing
- user interaction
- natural language understanding
- knowledge representation
- information extraction
- temporal constraints
- virtual reality
- spatial and temporal
- temporal information
- temporal evolution
- temporal data
- spatio temporal
- data mining
- database
- user friendly
- training examples
- temporal patterns
- programming language
- finite state machines
- language processing
- natural language text
- high level
- natural language interface
- formal language
- controlled natural language