Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions.
Andrea BrunelloAngelo MontanariMark ReynoldsPublished in: TIME (2019)
Keyphrases
- natural language text
- linear time temporal logic
- automatic extraction
- information extraction
- model checking
- semantic network
- document classification
- relation extraction
- temporal logic
- natural language
- text mining
- linear temporal logic
- world knowledge
- domain specific
- named entities
- search engine
- modal operators
- natural deduction
- feature extraction