Syntactic and Semantic Dependence of Array-Arithmetic Sentences, with an Application to Program Verification.
Leo MarcusPublished in: Fundam. Informaticae (1996)
Keyphrases
- natural language
- syntactic structures
- semantic representations
- semantic parsing
- syntactic analysis
- semantic constraints
- semantic roles
- natural language sentences
- syntactic semantic
- semantic representation
- semantic parser
- semantic analysis
- linguistic patterns
- syntactic information
- semantic role labeling
- parse tree
- syntactic parsing
- natural language understanding
- linguistic analysis
- semantic information
- dependency parsing
- syntactic features
- dependency tree
- semantic matching
- shallow semantic
- question answering
- information extraction
- dependency structure
- conceptual graphs
- natural language processing
- semantic knowledge
- context dependent
- semantic similarity
- domain ontology
- compositional semantics
- tree kernels
- multi document summarization
- machine translation
- sentence similarity