LR Formalisms as Abstract Interpretations of Grammar Semantics.
Seunghwan OKwang-Moo ChoePublished in: IEICE Trans. Inf. Syst. (2006)
Keyphrases
- logic programming
- reasoning tasks
- formal semantics
- formal languages
- attribute grammars
- formal language
- logistic regression
- natural language
- probabilistic knowledge
- computational properties
- low level
- high level
- semantic information
- low resolution
- action theories
- knowledge representation
- propositional dynamic logic
- graphical representation
- data exchange
- semantic representation
- classical logic
- higher level
- graph grammars
- natural language parsing