Expressing generalizations in unification-based grammar formalisms.
Marc MoensJonathan CalderEwan KleinMike ReapeHenk ZeevatPublished in: EACL (1989)
Keyphrases
- xml documents
- knowledge representation
- context free grammars
- natural language
- tree adjoining
- default reasoning from conditional knowledge bases
- logic programming
- higher order
- grammatical inference
- semantics of logic programs
- production rules
- knowledge representation formalisms
- equational theories
- nonmonotonic reasoning
- tree grammars
- theorem proving
- neural network
- artificial intelligence
- description logics
- genetic algorithm
- reasoning tasks
- linguistic knowledge
- reasoning problems
- broad coverage
- phrase structure