Direct Automated Inversion of Logic Grammars.

Guido Minnen Dale Gerdemann Erhard W. Hinrichs

Published in: New Gener. Comput. (1996)

Keyphrases

fully automated
computer aided
semi automated
natural language processing
modal logic
predicate logic
formal language
logic programming
information retrieval
automated reasoning
logical framework
classical logic
context free grammars
asynchronous circuits
grammatical inference
automated analysis
natural language