Natural Language Annotations for Reasoning about Program Semantics.
Marco ZoccaPublished in: EMNLP (Findings) (2023)
Keyphrases
- natural language
- semantic representation
- semantic interpretation
- intended meaning
- meta information
- formal semantics
- conceptual graphs
- natural language interface
- knowledge representation
- semantic information
- language processing
- annotation tool
- complete axiomatization
- stable model semantics
- semantic analysis
- semantically equivalent
- machine learning
- formal language
- natural language descriptions
- control flow
- semantic annotation
- information extraction
- qualitative reasoning
- practical reasoning
- metadata
- databases
- static analysis
- formal theory
- logic programming
- natural language processing
- keywords
- high level