From Context-Free to Definite-Clause Grammars: A Type-Theoretic Approach.

Juergen Haas Bharat Jayaraman

Published in: J. Log. Program. (1997)

Keyphrases

context free
context free grammars
definite clause
grammatical inference
context free languages
context sensitive
context dependent
phrase structure
graph grammars
predicate invention
finite state
grammar rules
inductive inference
parse tree
expert systems
domain knowledge
prior knowledge