On the semantic equivalence of language syntax formalisms.
Samuele BuroIsabella MastroeniPublished in: Theor. Comput. Sci. (2020)
Keyphrases
- natural language
- syntactic semantic
- semantic constraints
- definition language
- high level
- precisely defined
- operational semantics
- linguistic analysis
- conceptual graphs
- knowledge representation
- language learning
- programming language
- context dependent
- natural language understanding
- semantic analysis
- semantic representation
- domain specific
- semantically equivalent
- type checking
- language constructs
- semantic web
- logical representation
- natural language processing
- semantic information
- semantic representations
- predicate calculus
- dependency parsing
- language processing
- semantic network
- syntactic analysis
- database language
- semantic knowledge
- constraint language
- formal languages
- rule language
- semantic annotation