Formal Grammars as Models of Logic Derivations.

Published in: IJCAI (1977)

Keyphrases

formal model
prior knowledge
logic programming
formal models
formal language
decision trees
natural language
model selection
inference rules