The Semantics of Grammar Formalisms Seen as Computer Languages.
Fernando C. N. PereiraStuart M. ShieberPublished in: COLING (1984)
Keyphrases
- formal languages
- logic programming
- formal language
- context free grammars
- grammatical inference
- highly expressive
- formal language theory
- expressive power
- grammar induction
- context free
- attribute grammars
- reasoning tasks
- formal semantics
- nonmonotonic reasoning
- language independent
- knowledge representation
- semantic information
- natural language
- computational properties
- computer systems
- database query languages
- target language
- conceptual graphs
- logic programs
- database languages
- semantic web languages
- knowledge representation formalisms
- finite state automata
- action theories
- pattern languages
- default reasoning
- first order logic