Unification Encodings of Grammatical Notations.

Stephen G. Pulman

Published in: Comput. Linguistics (1996)

Keyphrases

higher order
modeling language
theorem proving
levels of abstraction
planning problems
orders of magnitude
equational theories
natural language
machine learning
context free grammars
spoken language
sat encodings
data model
theorem prover
neural network
word order
knuth bendix
data sets