Some Remarks on the Decidability of the Generation Problem in LFG- and PATR-Style Unification Grammars.

Jürgen Wedekind

Published in: EACL (1995)

Keyphrases

description logics
higher order
context free grammars
generation process
grammatical inference
data mining
machine learning
theorem prover
theorem proving
database
data sets
information systems
natural language
natural language processing
query answering