Transformation Of Natural Language Into Logical Formulas.

Leonard Bolc Tomek Strzalkowski

Published in: COLING (1982)

Keyphrases

logical formulas
natural language
partial order
predicate logic
knowledge base
first order logic
horn theories
linear transformation
natural language generation
higher level
artificial intelligence
expert systems
domain knowledge
low level
temporal logic
semantic interpretation