A Model-Theoretic Description of Tree Adjoining Grammars.
Frank MorawietzUwe MönnichPublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- tree adjoining
- model theoretic
- context free grammars
- deductive databases
- description logics
- operational semantics
- decision procedures
- proof theoretic
- fixpoint
- default reasoning
- logic programs
- natural language sentences
- high level
- database
- probabilistic reasoning
- automated reasoning
- modal logic
- inductive logic programming
- data sources