Formal Semantics Extraction from Natural Language Specifications for ARM.
Anh V. VuMizuhito OgawaPublished in: FM (2019)
Keyphrases
- formal semantics
- formal language
- natural language
- operational semantics
- written in natural language
- information extraction
- logical reasoning
- logical language
- er model
- modelling language
- controlled natural language
- natural language interface
- first order logic
- epistemic logic
- modeling language
- machine learning
- ontology languages
- database
- speech acts
- knowledge representation